Follow
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
2082006
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
1872015
A logic for state-modifying authorization policies
MY Becker, S Nanz
Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007
772007
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
502013
Mobility models and behavioural equivalence for wireless networks
JC Godskesen, S Nanz
International Conference on Coordination Languages and Models, 106-122, 2009
492009
The role of abduction in declarative authorization policies
MY Becker, S Nanz
Practical Aspects of Declarative Languages: 10th International Symposium …, 2008
472008
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
412013
Prototyping proof carrying code
M Wildmoser, T Nipkow, G Klein, S Nanz
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004
272004
Formal security analysis for ad-hoc networks
S Nanz, C Hankin
Electronic Notes in Theoretical Computer Science 142, 195-213, 2006
262006
Static analysis of routing protocols for ad-hoc networks
S Nanz, C Hankin
March, 2004
262004
Examining the expert gap in parallel programming
S Nanz, S West, KS Da Silveira
Euro-Par 2013 Parallel Processing: 19th International Conference, Aachen …, 2013
252013
The future of software engineering
S Nanz
Springer, 2011
242011
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
222015
Modal abstractions of concurrent behaviour
S Nanz, F Nielson, H Riis Nielson
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 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
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
Formal Methods and Software Engineering: 12th International Conference on …, 2010
202010
Topology-dependent abstractions of broadcast networks
S Nanz, F Nielson, HR Nielson
International Conference on Concurrency Theory, 226-240, 2007
192007
Specification and security analysis of mobile ad-hoc networks
S Nanz
University of London, 2006
122006
Safe and efficient data sharing for message-passing concurrency
B Morandi, S Nanz, B Meyer
Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014
112014
The system can't perform the operation now. Try again later.
Articles 1–20