Sebastian Nanz - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Sebastian Nanz' as author, editor, or advisor:

Efficient and reasonable object-oriented concurrencyScott West, Sebastian Nanz, Bertrand Meyer. ppopp 2015: 273-274 [doi]
The Future of Software EngineeringSebastian Nanz, editor, Springer, 2011. [doi]
Safe and Efficient Data Sharing for Message-Passing ConcurrencyBenjamin Morandi, Sebastian Nanz, Bertrand Meyer. coordination 2014: 99-114 [doi]
A Comparative Study of Programming Languages in Rosetta CodeSebastian Nanz, Carlo A. Furia. ICSE 2015: 778-788 [doi]
A Formal Reference for SCOOPBenjamin Morandi, Sebastian Nanz, Bertrand Meyer. laser 2012: 89-157 [doi]
How to Cancel a TaskAlexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer. musepat 2013: 61-72 [doi]
Can asynchronous exceptions expire?Benjamin Morandi, Sebastian Nanz, Bertrand Meyer. ICSE 2012: 4-6 [doi]
Static analysis of topology-dependent broadcast networksSebastian Nanz, Flemming Nielson, Hanne Riis Nielson. iandc, 208(2):117-139, 2010. [doi]
Handling Parallelism in a Concurrency ModelMischael Schill, Sebastian Nanz, Bertrand Meyer. musepat 2013: 37-48 [doi]
Deriving concurrent control software from behavioral specificationsGanesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer. iros 2010: 1994-1999 [doi]
Prototyping a Concurrency ModelBenjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer. acsd 2013: 170-179 [doi]
Concurrent Object-Oriented Development with Behavioral Design PatternsBenjamin Morandi, Scott West, Sebastian Nanz, Hassan Gomaa. ecsa 2013: 25-32 [doi]
A logic for state-modifying authorization policiesMoritz Y. Becker, Sebastian Nanz. tissec, 13(3), 2010. [doi]
Design of an empirical study for comparing the usability of concurrent programming languagesSebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer. INFSOF, 55(7):1304-1315, 2013. [doi]
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming ModelScott West, Sebastian Nanz, Bertrand Meyer. icfem 2010: 597-612 [doi]
Demonic Testing of Concurrent ProgramsScott West, Sebastian Nanz, Bertrand Meyer. icfem 2012: 478-493 [doi]
Performance analysis of SCOOP programsBenjamin Morandi, Sebastian Nanz, Bertrand Meyer. jss, 85(11):2519-2530, 2012. [doi]
Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. ProceedingsCarlo A. Furia, Sebastian Nanz, editors, Volume 7304 of Lecture Notes in Computer Science, Springer, 2012. [doi]
TOOLS Europe 2012 Special SectionCarlo A. Furia, Sebastian Nanz. jot, 12(3), 2013. [doi]
Examining the Expert Gap in Parallel ProgrammingSebastian Nanz, Scott West, Kaue Soares da Silveira. europar 2013: 434-445 [doi]
Benchmarking Usability and Performance of Multicore LanguagesSebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer. esem 2013: 183-192 [doi]
Specification and security analysis of mobile ad-hoc networksSebastian Nanz. PhD thesis, Imperial College London, UK, 2006. [doi]
Who is Accountable for Asynchronous Exceptions?Benjamin Morandi, Sebastian Nanz, Bertrand Meyer. apsec 2012: 462-471 [doi]
Design of an Empirical Study for Comparing the Usability of Concurrent Programming LanguagesSebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer. esem 2011: 325-334 [doi]
Modal abstractions of concurrent behaviorFlemming Nielson, Sebastian Nanz, Hanne Riis Nielson. tocl, 12(3):18, 2011. [doi]
Empirical assessment of languages for teaching concurrency: Methodology and applicationSebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer. csee 2011: 477-481 [doi]
Efficient and reasonable object-oriented concurrencyScott West, Sebastian Nanz, Bertrand Meyer. FSE 2015: 734-744 [doi]

runs on WebDSL