Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 6 results:
Author [ Title(Asc)] Type Year
Filters: Author is A. Lehmann  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
A. Lehmann, Lohmann, N., and Wolf, K., Stubborn Sets for Simple Linear Time Properties, in Proceedings of 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2012), 2012.
S. Pfeiffer, Unger, S., Timmermann, D., and Lehmann, A., Secure Information Flow Awareness for Smart Wireless eHealth Systems, in Proceedings of 9th International Multi-Conference on Systems, Signals and Devices (SSD 2012), 2012.
M
A. Lehmann and Lohmann, N., Modeling wizard for confidential Business Processes, in 1st Joint International Workshop on Security in Business Processes (SBP), 2012.
A. Lehmann and Lohmann, N., Model support for confidential service-oriented business processes, in Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012), Bamberg, Germany, 2012.
I
A. Lehmann and Fahland, D., Information Flow Security for Business Process Models - just one click away, in Proceedings of the 10th International Conference on Business Process Management - Demo Track (BPM 2012), 2012.
A
R. Accorsi and Lehmann, A., Automatic Information Flow Analysis of Business Process Models, in 10th International Conference on Business Process Management (BPM 2012), 2012.