TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

Falzon, Kevin (2017):
On the Use of Migration to Stop Illicit Channels.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

Falzon, Kevin ; Bodden, Eric
Lopez, Javier ; Mitchell, Chris J. (eds.) (2015):
Dynamically Provisioning Isolation in Hierarchical Architectures.
In: Lecture Notes in Computer Science, 9290, In: Information Security, pp. 83-101,
Information Security Conference, Trondheim, [Conference or Workshop Item]

Falzon, Kevin ; Bodden, Eric ; Purandare, Rahul (2013):
Distributed Finite-State Runtime Monitoring with Aggregated Events.
pp. 94-111, Springer, 4th International Conference on Runtime Verification (RV'13), Rennes, France, 24.-27.09., ISBN 978-3-642-40786-4,
DOI: 10.1007/978-3-642-40787-1_6,
[Conference or Workshop Item]

Arzt, Steven ; Falzon, Kevin ; Follner, Andreas ; Rasthofer, Siegfried ; Bodden, Eric ; Stolz, Volker (2013):
How useful are existing monitoring languages for securing Android apps?
In: GI Lecture Notes in Informatics, Gesellschaft für Informatik, 6. Arbeitstagung Programmiersprachen (ATPS 2013), [Conference or Workshop Item]

Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; Stolz, Volker (2012):
Delta-oriented Monitor Specification.
Springer, 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), [Conference or Workshop Item]

Falzon, Kevin ; Pace, Gordon J.
Machado, Ricardo J. ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz (eds.) (2012):
Combining Testing and Runtime Verification.
8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, Essen, Germany, September 04, 2012, [Conference or Workshop Item]

This list was generated on Sat May 28 02:10:59 2022 CEST.