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, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5907],
[Ph.D. Thesis]

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

Falzon, Kevin and Bodden, Eric and Purandare, Rahul (2013):
Distributed Finite-State Runtime Monitoring with Aggregated Events.
LNCS, In: Runtime Verification 2013 (RV'13), Springer, [Article]

Arzt, Steven and Falzon, Kevin and Follner, Andreas and Rasthofer, Siegfried and Bodden, Eric and Stolz, Volker (2013):
How useful are existing monitoring languages for securing Android apps?
In: GI Lecture Notes in Informatics, Gesellschaft für Informatik, In: 6. Arbeitstagung Programmiersprachen (ATPS 2013), [Online-Edition: http://www.bodden.de/pubs/aff13howuseful.pdf],
[Conference or Workshop Item]

Bodden, Eric and Falzon, Kevin and Pun, Ka I. and Stolz, Volker (2012):
Delta-oriented Monitor Specification.
Springer, In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012), [Online-Edition: http://www.bodden.de/pubs/bfp+12delta.pdf],
[Conference or Workshop Item]

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

This list was generated on Tue Jan 21 00:26:40 2020 CET.