| 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 | 132 | 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 | 105 | 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 | 88 | 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 |
| Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface J Domingue, A Galis, A Gavras, T Zahariadis, D Lambert, F Cleary, ... | 50 | 2011 |
| 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 | 47 | 2012 |
| Formal security analysis with interacting state machines D von Oheimb, V Lotz Computer Security—ESORICS 2002: 7th European Symposium on Research in …, 2002 | 47 | 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 | 37 | 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 Wirtschaftsinformatik 5 (50), 383-391, 2008 | 34 | 2008 |
| Threat scenarios as a means to formally develop secure systems V Lotz Journal of Computer Security 5 (1), 31-67, 1997 | 28 | 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 | 24 | 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 | 22 | 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 | 19 | 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 | 15 | 2005 |
| Resource optimization in multi-display environments with distributed grasp A Maña, V Lotz, T Heider, M Giersich, T Kirste Developing Ambient Intelligence: Proceedings of the First International …, 2006 | 12 | 2006 |
