Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface VP Gerdt, W Koepf, EW Mayr, EV Vorozhtsov Lecture Notes in Computer Science 8136, V-VIII-V-VIII, 2013 | 278* | 2013 |
A model-checking approach to analysing organisational controls in a loan origination process A Schaad, V Lotz, K Sohr Proceedings of the eleventh ACM symposium on Access control models and …, 2006 | 133 | 2006 |
Accountability for cloud and other future internet services S Pearson, V Tountopoulos, D Catteddu, M Südholt, R Molva, C Reich, ... 4th IEEE international conference on cloud computing technology and science …, 2012 | 107 | 2012 |
The future internet: future internet assembly 2011: achievements and technological promises J Domingue, A Galis, A Gavras, T Zahariadis, D Lambert, F Cleary, ... Springer Nature, 2011 | 92 | 2011 |
Key issues of a formally based process model for security engineering R Breu, K Burger, M Hafner, J Jürjens, G Popp, G Wimmel, V Lotz International Conference on Software and Systems Engineering and their …, 2003 | 59 | 2003 |
The future internet: Future internet assembly 2012: From promises to reality F Álvarez, F Cleary, P Daras, J Domingue, A Galis, A Garcia, A Gavras, ... Springer Nature, 2012 | 53 | 2012 |
Formal security analysis with interacting state machines D von Oheimb, V Lotz Computer Security—ESORICS 2002: 7th European Symposium on Research in …, 2002 | 48 | 2002 |
You’re my mate–acceptance factors for human-robot collaboration in industry V Lotz, S Himmel, M Ziefle Proceedings of the International Conference on Competitive Manufacturing …, 2019 | 44 | 2019 |
Towards systematic achievement of compliance in service-oriented architectures: The MASTER approach V Lotz, E Pigout, PM Fischer, D Kossmann, F Massacci, A Pretschner Springer, 2008 | 34 | 2008 |
Threat scenarios as a means to formally develop secure systems V Lotz Journal of Computer Security 5 (1), 31-67, 1997 | 27 | 1997 |
Strengthening the security of machine readable documents by combining RFID and optical memory devices A Maña, V Lotz, M Lehtonen, F Michahelles, T Staake, E Fleisch Developing Ambient Intelligence: Proceedings of the First International …, 2006 | 25 | 2006 |
Formal verification of business workflows and role based access control systems A Dury, S Boroday, A Petrenko, V Lotz The International Conference on Emerging Security Information, Systems, and …, 2007 | 23 | 2007 |
Learning and adaptive fuzzy control system for smart home A Maña, V Lotz, AM Vainio, M Valtonen, J Vanhala Developing Ambient Intelligence: Proceedings of the First International …, 2006 | 23 | 2006 |
Security engineering for ambient intelligence: A manifesto A Maña, C Rudolph, G Spanoudakis, V Lotz, F Massacci, M Melideo, ... Integrating security and software engineering: Advances and future visions …, 2007 | 20 | 2007 |
A serviceware framework for designing ambient services A Maña, V Lotz, B Hirsch, T Konnerth, A Heler, S Albayrak Developing Ambient Intelligence: Proceedings of the First International …, 2006 | 20 | 2006 |
Consolidating the access control of composite applications and workflows M Wimmer, A Kemper, M Rits, V Lotz IFIP Annual Conference on Data and Applications Security and Privacy, 44-59, 2006 | 17 | 2006 |
Towards security certification schemas for the internet of services V Lotz, SP Kaluvuri, F Di Cerbo, A Sabetta 2012 5th International Conference on New Technologies, Mobility and Security …, 2012 | 16 | 2012 |
ASSERT4SOA: Toward security certification of service-oriented applications M Anisetti, CA Ardagna, F Guida, S Gürgens, V Lotz, A Maña, C Pandolfo, ... On the Move to Meaningful Internet Systems: OTM 2010 Workshops: Confederated …, 2010 | 16 | 2010 |
Analyzing SLE 88 memory management security using Interacting State Machines D Von Oheimb, V Lotz, G Walter International Journal of Information Security 4, 155-171, 2005 | 14 | 2005 |
Context-aware adaptive trust A Maña, V Lotz, S Holtmanns, Z Yan Developing Ambient Intelligence: Proceedings of the First International …, 2006 | 12 | 2006 |