Sebastian Nanz
Title
Cited by
Cited by
Year
A framework for security analysis of mobile wireless networks
S Nanz, C Hankin
Theoretical Computer Science 367 (1-2), 203-227, 2006
1862006
A comparative study of programming languages in rosetta code
S Nanz, CA Furia
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
992015
A logic for state-modifying authorization policies
MY Becker, S Nanz
European Symposium on Research in Computer Security, 203-218, 2007
772007
The role of abduction in declarative authorization policies
MY Becker, S Nanz
International Symposium on Practical Aspects of Declarative Languages, 84-99, 2008
452008
Mobility models and behavioural equivalence for wireless networks
JC Godskesen, S Nanz
International Conference on Coordination Languages and Models, 106-122, 2009
442009
Benchmarking usability and performance of multicore languages
S Nanz, S West, KS Da Silveira, B Meyer
2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013
382013
Design of an empirical study for comparing the usability of concurrent programming languages
S Nanz, F Torshizi, M Pedroni, B Meyer
Information and Software Technology 55 (7), 1304-1315, 2013
342013
Static analysis of routing protocols for ad-hoc networks
S Nanz, C Hankin
March, 2004
262004
Prototyping proof carrying code
M Wildmoser, T Nipkow, G Klein, S Nanz
Exploring New Frontiers of Theoretical Informatics, 333-347, 2004
242004
Formal security analysis for ad-hoc networks
S Nanz, C Hankin
Electronic Notes in Theoretical Computer Science 142, 195-213, 2006
212006
Efficient and reasonable object-oriented concurrency
S West, S Nanz, B Meyer
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
202015
Prototyping a concurrency model
B Morandi, M Schill, S Nanz, B Meyer
2013 13th International Conference on Application of Concurrency to System …, 2013
202013
A modular scheme for deadlock prevention in an object-oriented programming model
S West, S Nanz, B Meyer
International Conference on Formal Engineering Methods, 597-612, 2010
202010
Modal abstractions of concurrent behaviour
S Nanz, F Nielson, HR Nielson
International Static Analysis Symposium, 159-173, 2008
202008
The future of software engineering
S Nanz
Springer, 2011
172011
Topology-dependent abstractions of broadcast networks
S Nanz, F Nielson, HR Nielson
International Conference on Concurrency Theory, 226-240, 2007
152007
Examining the expert gap in parallel programming
S Nanz, S West, KS Da Silveira
European Conference on Parallel Processing, 434-445, 2013
132013
Static analysis of topology-dependent broadcast networks
S Nanz, F Nielson, HR Nielson
Information and computation 208 (2), 117-139, 2010
122010
Specification and security analysis of mobile ad-hoc networks
S Nanz
University of London, 2006
102006
Safe and efficient data sharing for message-passing concurrency
B Morandi, S Nanz, B Meyer
International Conference on Coordination Languages and Models, 99-114, 2014
92014
The system can't perform the operation now. Try again later.
Articles 1–20