Publications

2012

• Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS'12)
  Carlo A. Furia, Sebastian Nanz (Eds.)
  Springer, 2012. [BibTeX] To appear.
   
• Can Asynchronous Exceptions Expire?
  Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer
  Proceedings of the 5th International Workshop on Exception Handling (WEH'12). 2012. [, BibTeX] To appear.
   
• A Formal Reference for SCOOP
  Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer
  Empirical Software Engineering and Verification, volume 7007 of Lecture Notes in Computer Science, pages 89-157. Springer, 2012. [, BibTeX, © Springer]
   

2011

• The Future of Software Engineering
  Sebastian Nanz (Ed.)
  Springer, 2011. [Amazon, BibTeX, © Springer, read online, FOSE Symposium]
   
• Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages
  Sebastian Nanz, Faraz Torshizi, Michela Pedroni, and Bertrand Meyer
  Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement (ESEM'11), pages 325-334. IEEE Computer Society, 2011. [, BibTeX, © IEEE-CS] best paper award.
   
• A Comprehensive Operational Semantics of the SCOOP Programming Model
  Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer
  arXiv:1101.1038, 2011. [, BibTeX, © arXiv.org]
   
• The Future of Software Engineering: Panel Discussions
  Edgar G. Daylight, Sebastian Nanz (Eds.)
  Springer, 2011. [Amazon, BibTeX, © Lonely Scholar, FOSE Symposium]
   
• Record-Replay Debugging for Concurrent SCOOP Programs
  Benjamin Morandi, Sebastian Nanz, and Bertrand Meyer
  arXiv:1111.1170, 2011. [, BibTeX, © arXiv.org]
   
• Modal Abstractions of Concurrent Behaviour
  Flemming Nielson, Sebastian Nanz, and Hanne Riis Nielson
  ACM Transactions on Computational Logic, 2011. [, BibTeX, © ACM]
   
• Empirical Assessment of Languages for Teaching Concurrency: Methodology and Application
  Sebastian Nanz, Faraz Torshizi, Michela Pedroni, and Bertrand Meyer
  Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T'11), pages 477-481. IEEE Computer Society, 2011. [, BibTeX, © IEEE-CS]
   

2010

• A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages
  Sebastian Nanz, Faraz Torshizi, Michela Pedroni, and Bertrand Meyer
  arXiv:1011.6047, 2010. [, BibTeX, © arXiv.org]
   
• A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
  Scott West, Sebastian Nanz, and Bertrand Meyer
  Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM'10), volume 6447 of Lecture Notes in Computer Science, pages 597-612. Springer, 2010. [, BibTeX, © Springer]
   
• Deriving Concurrent Control Software from Behavioral Specifications
  Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, and Bertrand Meyer
  Proceedings of IROS'10, pages 1994-1999. IEEE, 2010. [, BibTeX, © IEEE]
   
• Static Analysis of Topology-dependent Broadcast Networks
  Sebastian Nanz, Flemming Nielson, and Hanne Riis Nielson
  Information and Computation, 208(2):117-139, 2010. [, BibTeX, © Elsevier]
   
• A Logic for State-Modifying Authorization Policies
  Moritz Y. Becker and Sebastian Nanz
  ACM Transactions on Information and System Security, 13(3):1-28, 2010. [, BibTeX, © ACM]
   

2009

• Mobility Models and Behavioural Equivalence for Wireless Networks
  Jens Chr. Godskesen and Sebastian Nanz
  In Proceedings of the 11th International Conference on Coordination Models and Languages (COORDINATION'09), volume 5521 of Lecture Notes in Computer Science, pages 106-122. Springer, 2009. [, BibTeX, © Springer]
   

2008

• Modal Abstractions of Concurrent Behaviour
  Sebastian Nanz, Flemming Nielson, and Hanne Riis Nielson
  In Proceedings of the 15th International Static Analysis Symposium (SAS'08), volume 5079 of Lecture Notes in Computer Science, pages 159--173. Springer, 2008. [, BibTeX, © Springer]
   
• Goal-oriented Composition of Services
  Sebastian Nanz and Terkel K. Tolstrup
  In Proceedings of the 7th International Symposium on Software Composition (SC'08), volume 4954 of Lecture Notes in Computer Science, pages 109--124. Springer, 2008. [, BibTeX, © Springer]
   
• The Role of Abduction in Declarative Authorization Policies
  Moritz Y. Becker and Sebastian Nanz
  In Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), volume 4902 of Lecture Notes in Computer Science, pages 84--99. Springer, 2008. [, BibTeX, © Springer]
   

2007

• A Logic for State-Modifying Authorization Policies
  Moritz Y. Becker and Sebastian Nanz
  In Proceedings of the 12th European Symposium on Research in Computer Security (ESORICS'07), volume 4734 of Lecture Notes in Computer Science, pages 203--218. Springer, 2007. [, BibTeX, © Springer]
   
• Topology-dependent Abstractions of Broadcast Networks
  Sebastian Nanz, Flemming Nielson, and Hanne Riis Nielson
  In Proceedings of the 18th International Conference on Concurrency Theory (CONCUR'07), volume 4703 of Lecture Notes in Computer Science, pages 226--240. Springer, 2007. [, BibTeX, © Springer]
   
• Topology-dependent Abstractions of Broadcast Networks
  Sebastian Nanz, Flemming Nielson, and Hanne Riis Nielson
  Technical Report IMM-TR-2007-11, Technical University of Denmark, 2007 [site, BibTeX]
   
• The Role of Abduction in Declarative Authorization Policies
  Moritz Y. Becker and Sebastian Nanz
  Technical Report MSR-2007-105, Microsoft Research, 2007 [site, BibTeX]
   
• A Logic for State-Modifying Authorization Policies
  Moritz Y. Becker and Sebastian Nanz
  Technical Report MSR-2007-32, Microsoft Research, 2007 [site, BibTeX]
   

2006

• A Framework for Security Analysis of Mobile Wireless Networks
  Sebastian Nanz and Chris Hankin
  Theoretical Computer Science, 367(1-2):203--227, 2006. [, BibTeX, © Elsevier]
   
• Specification and Security Analysis of Mobile Ad-Hoc Networks
  Sebastian Nanz
  PhD Thesis, Imperial College London, 2006. [, BibTeX]
   
• Formal Security Analysis for Ad-Hoc Networks
  Sebastian Nanz and Chris Hankin
  In Proceedings of the 2004 Workshop on Views on Designing Complex Architectures (VODCA'04), volume 142 of Electronic Notes in Theoretical Computer Science, pages 195--213, 2006 [, BibTeX, © Elsevier]
   

2005

• A Framework for Security Analysis of Mobile Wireless Networks
  Sebastian Nanz and Chris Hankin
  Technical Report 2005/4, Imperial College London, 2005 [site, BibTeX]
   

2004

• Static Analysis of Routing Protocols for Ad-Hoc Networks
  Sebastian Nanz and Chris Hankin
  In Proceedings of the 2004 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'04), pages 141--152, 2004 [, BibTeX]
   
• Prototyping Proof-Carrying Code
  Martin Wildmoser, Tobias Nipkow, Gerwin Klein, and Sebastian Nanz
  In Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science (TCS'04), pages 333--348. Kluwer, 2004 [, BibTeX]
   
• Galois Connections and their Application in Program Semantics
  Sebastian Nanz
  Master's Thesis in Mathematics, TU München, 2004 [BibTeX]
   

2002

• Integration of CASE Tools and Theorem Provers: A Framework for System Modeling and Verification with AutoFocus and Isabelle
  Sebastian Nanz
  Master's Thesis in Computer Science, TU München, 2002 [, site, BibTeX]