Sebastian Nanz
Sebastian Nanz
Verified email at google.com - Homepage
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
1922006
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
1292015
A logic for state-modifying authorization policies
MY Becker, S Nanz
European Symposium on Research in Computer Security, 203-218, 2007
762007
The role of abduction in declarative authorization policies
MY Becker, S Nanz
International Symposium on Practical Aspects of Declarative Languages, 84-99, 2008
472008
Mobility models and behavioural equivalence for wireless networks
JC Godskesen, S Nanz
International Conference on Coordination Languages and Models, 106-122, 2009
462009
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
432013
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
352013
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
262004
Formal security analysis for ad-hoc networks
S Nanz, C Hankin
Electronic Notes in Theoretical Computer Science 142, 195-213, 2006
242006
Modal abstractions of concurrent behaviour
S Nanz, F Nielson, HR Nielson
International Static Analysis Symposium, 159-173, 2008
222008
Efficient and reasonable object-oriented concurrency
S West, S Nanz, B Meyer
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
212015
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
Prototyping a concurrency model
B Morandi, M Schill, S Nanz, B Meyer
2013 13th International Conference on Application of Concurrency to System …, 2013
192013
Examining the expert gap in parallel programming
S Nanz, S West, KS Da Silveira
European Conference on Parallel Processing, 434-445, 2013
172013
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
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
112006
A comparative study of programming languages in rosetta code. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol. 1
S Nanz, CA Furia
IEEE, 778ś788, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20