Modelle und Theorie Verteilter Systeme

Publikationen

2019

Prehn, Tobias and Rotter, Myron (2019). Immediate Observation in Mediated Population ProtocolsProceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, Amsterdam, The Netherlands, 26th August 2019. Open Publishing Association, 102-113.

Link zur Originalpublikation

Peters, Kirstin and Wagner, Christoph and Nestmann, Uwe (2019). Taming Concurrency for Verification Using Multiparty Session TypesTheoretical Aspects of Computing – ICTAC 2019. Lecture Notes in Computer Science. Springer, Cham, 196-215.

Link zur Originalpublikation

Benjamin Bisping and Uwe Nestmann (2019). Computing Coupled SimilarityTools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS2019, 244–261.

Link zur Originalpublikation

2018

Wilhelm-Weidner, Arno and Bergner, Nadine (2018). Vergleich von Lernstilen und deren Umsetzungsmöglichkeiten im LMS MoodleDas Elektronische Schulbuch 2017: Fachdidaktische Anforderungen und Ideen treffen auf Lösungsvorschläge der Informatik. LIT Verlag, 25–37.

Wilhelm-Weidner, Arno and Bergner, Nadine (2018). On Supplementing Theoretical Computer Science Courses Using E-LearningProceedings of the 18th Koli Calling International Conference on Computing Education Research. ACM, 14:1–14:10.

Link zur Publikation

Wolf, Alexander and Wilhelm-Weidner, Arno and Nestmann, Uwe (2018). A Case Study of Flipped Classroom for Automata Theory in Secondary EducationProceedings of the 13th Workshop in Primary and Secondary Computing Education. ACM, 23:1–23:6.

Link zur Publikation

2017

Wilhelm-Weidner, Arno and Nestmann, Uwe (2017). Interaktives Erstellen mobiler Lerneinheiten mit MobiMatDas Elektronische Schulbuch 2016. LIT Verlag.

Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2017). Session Types for Link Failures.

2016

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). Mechanical Verification of a Constructive Proof for FLPInternational Conference on Interactive Theorem Proving. Springer, 107–122.

Link zur Originalpublikation

Peters, Kirstin and Jens-Wolfhard Schicke-Uffmann and Goltz, Ursula and Nestmann, Uwe (2016). Synchrony versus causality in distributed systems. , 1459–1498.

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2016). Supervisory control synthesis for deterministic context free specification languagesDiscrete Event Dynamic Systems. Springer US, 5–32.

Gorla, Daniele and Nestmann, Uwe (2016). Full abstraction for expressiveness: History, myths and factsMathematical Structures in Computer Science, 639–654.

Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). A Constructive Proof for FLPArchive of Formal Proofs

Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2016). Session Types for Link Failures (Technical Report)arXiv preprint arXiv:1607.07286

Link zur Publikation

Peters, Kirstin and Nestmann, Uwe (2016). Breaking SymmetriesMathematical Structures in Computer Science, 1054–1106.

Gebler, Daniel and Peters, Kirstin (2016). Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics.

Rickmann, Christina and Wagner, Christoph and Nestmann, Uwe and Schmid, Stefan (2016). Topological Self-Stabilization with Name-Passing Process Calculi27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, 19:1–19:15.

Link zur Publikation

2015

Karcher, David S. and Nestmann, Uwe (2015). Higher-Order Dynamics in Event StructuresICTAC. Springer, 258-271.

Link zur Originalpublikation

Wilhelm-Weidner, Arno (2015). MobiMat – ein Framework zur Mobilisierung von LehrmaterialProceedings of DeLFI Workshops 2015 co-located with 13th e-Learning Conference of the German Computer Society (DeLFI 2015). CEUR-WS.org, 239–243.

Link zur Originalpublikation

Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCSEXPRESS/SOS, 61-75.

Link zur Publikation

Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS (Extended Version)CoRR

Link zur Publikation

Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures (Technical Report)CoRR

Link zur Publikation

Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event StructuresFORTE. Springer, 83-97.

Link zur Originalpublikation

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2015). Supervisory control synthesis for deterministic context free specification languagesDiscrete Event Dynamic Systems. Springer US, 1-28.

Link zur Originalpublikation

2014

Wagner, Christoph and Nestmann, Uwe (2014). States in Process CalculiEXPRESS/SOS, 48-62.

Link zur Publikation

Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe (2014). Matching in the Pi-CalculusEXPRESS/SOS, 16-29.

Link zur Publikation

Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe (2014). Matching in the Pi-Calculus (Technical Report)CoRR

Link zur Publikation

Schneider, Sven and Nestmann, Uwe (2014). Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown AutomataCoRR

Link zur Publikation

Schneider, Sven and Schmuck, Anne-Kathrin and Nestmann, Uwe and Raisch, Jörg (2014). Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown AutomataWODES, 214-221.

Link zur Originalpublikation

Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2014). Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least RestrictivelyWODES, 286-293.

Link zur Originalpublikation

Gorla, Daniele and Nestmann, Uwe (2014). Full abstraction for expressiveness: history, myths and factsMathematical Structures in Computer Science, 1-16.

Link zur Originalpublikation

Nestmann, Uwe und Wilhelm-Weidner, Arno (2014). Vorlesungen innovativ gestalten, chapter Screencasts Pro:Wie Lehrvideos die Vorlesung ergänzen können. BELTZ Verlag, 149–158.

Link zur Originalpublikation

2013

Nestmann, Uwe (2013). 3.12 Verifying Consensus... Using Process Calculi, State Machines, and Proof CheckersFormal Verification of Distributed Algorithms, 10.

Link zur Publikation

Arbach, Youssef and Peters, Kirstin and Nestmann, Uwe (2013). Adding Priority to Event StructuresEXPRESS/SOS, 17-31.

Link zur Publikation

Peters, Kirstin and Nestmann, Uwe and Goltz, Ursula (2013). On Distributability in Process CalculiESOP. Springer, 310-329.

Link zur Originalpublikation

2012

Küfner, Philipp and Nestmann, Uwe and Rickmann, Christina (2012). Formal Verification of Distributed Algorithms - From Pseudo Code to Checked ProofsIFIP TCS. Springer, 209-224.

Link zur Originalpublikation

Peters, Kirstin and Nestmann, Uwe (2012). Is it a "Good" Encoding of Mixed Choice? (Technical Report)CoRR

Link zur Publikation

Peters, Kirstin and Nestmann, Uwe (2012). Is It a "Good" Encoding of Mixed Choice?FoSSaCS. Springer, 210-224.

Link zur Originalpublikation

Nestmann, Uwe (2012). Theoretische Grundlagen der Informatik 1 (TheGI1)TU Berlin

Link zur Publikation

Peters, Kirstin (2012). Translational Expressiveness. Comparing Process Calculi using EncodingsTU Berlin

2011

Schneider, Sven and Nestmann, Uwe (2011). Rigorous Discretization of Hybrid Systems Using Process CalculiFORMATS. Springer, 301-316.

Link zur Originalpublikation

Peters, Kirstin and Schicke, Jens-Wolfhard and Nestmann, Uwe (2011). Synchrony vs Causality in the Asynchronous Pi-CalculusEXPRESS, 89-103.

Link zur Publikation

Lau, Hannes and Nestmann, Uwe (2011). Java Goes TLA+TASE. IEEE Computer Society, 117-124.

Link zur Originalpublikation

2010

Sarrouh, Nadim and Eilers, Florian and Nestmann, Uwe and Schieferdecker, Ina (2010). Defamation-Free Networks through User-Centered Data ControlSTM. Springer, 179-193.

Link zur Originalpublikation

Peters, Kirstin and Nestmann, Uwe (2010). Breaking SymmetriesCoRR

Link zur Publikation

(2010). Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected PapersFormal Aspects in Security and Trust. Springer.

Link zur Originalpublikation

Sarrouh, Nadim and Blankenstein, Oliver and Nestmann, Uwe (2010). Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für KinderGI Jahrestagung (1). GI, 229-234.

Link zur Originalpublikation

Goltz, Ursula and Nestmann, Uwe and Peters, Kirstin and Schicke, Jens-Wolfhard (2010). Synchronous and Asynchronous Interaction in Distributed Systems.

2009

Morten Kühnrich and Uwe Nestmann (2009). On Process-Algebraic Proof Methods for Fault Tolerant Distributed SystemsFMOODS/FORTE, 198-212.

Link zur Originalpublikation

(2009). Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. ProceedingsFMOODS/FORTE. Springer.

Florian Eilers and Uwe Nestmann (2009). Deriving Trust from ExperienceFormal Aspects in Security and Trust, 36-50.

Link zur Originalpublikation

Luca Aceto and Jos C. M. Baeten and Wan Fokkink and Anna Ingólfsdóttir and Uwe Nestmann (2009). PrefaceJ. Log. Algebr. Program.

Link zur Originalpublikation

2008

Schneider, Sven and Borgström, Johannes and Nestmann, Uwe (2008). Towards the application of process calculi in the domain of peer-to-peer algorithmsAutonomous Systems–Self-Organization, Management, and Control. Springer Netherlands, 97–104.

Link zur Originalpublikation

Aceto, Luca and Baeten, Jos CM and Fokkink, Wan and Ingolfsdottir, Anna and Nestmann, Uwe (2008). Applying Concurrency Research in Industry Report on a Strategic WorkshopBulletin of the EATCS, 113–129.

Nestmann, Uwe and Puhlmann, Frank (2008). Business Process Specification and AnalysisProcess Algebra for Parallel and Distributed Processing. CRC Press, 129.

2007

Rachele Fuzzati and Massimo Merro and Uwe Nestmann (2007). Distributed Consensus, revisitedActa Inf., 377-425.

Link zur Originalpublikation

Sébastien Briais and Uwe Nestmann (2007). Open bisimulation, revisitedTheor. Comput. Sci., 236-271.

Link zur Publikation

Sébastien Briais and Uwe Nestmann (2007). A formal semantics for protocol narrationsTheor. Comput. Sci., 484-511.

Link zur Publikation

2006

Uwe Nestmann (2006). Welcome to the Jungle: A Subjective Guide to Mobile Process CalculiCONCUR, 52-63.

Link zur Originalpublikation

(2006). CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, ProceedingsCONCUR. Springer.

Daniel C. Bünzli and Rachele Fuzzati and Sergio Mena and Uwe Nestmann and Olivier Rütti and André Schiper and Pawel T. Wojciechowski (2006). Advances in the Design and Implementation of Group Communication MiddlewareResearch Results of the DICS Program, 172-194.

Link zur Originalpublikation

(2006). Dependable Systems: Software, Computing, Networks, Research Results of the DICS ProgramResearch Results of the DICS Program. Springer.

Sébastien Briais and Uwe Nestmann (2006). Open Bisimulation, RevisitedElectr. Notes Theor. Comput. Sci., 109-123.

Link zur Publikation

Rachele Fuzzati and Uwe Nestmann (2006). Much Ado About Nothing?Electr. Notes Theor. Comput. Sci., 167-171.

Link zur Publikation

2005

Daniel C. Bünzli and Sergio Mena and Uwe Nestmann (2005). Protocol Composition Frameworks A Header-Driven ModelNCA, 243-246.

Link zur Publikation

(2005). Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USANCA. IEEE Computer Society.

Sébastien Briais and Uwe Nestmann (2005). A Formal Semantics for Protocol NarrationsTGC, 163-181.

Link zur Originalpublikation

(2005). Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected PapersTGC. Springer.

Uwe Nestmann and Björn Victor (2005). Guest editors' introduction: Special issue on The pi-calculusJ. Log. Algebr. Program., 1-2.

Link zur Publikation

Johannes Borgström and Uwe Nestmann (2005). On bisimulations for the spi calculusMathematical Structures in Computer Science, 487-552.

Link zur Publikation

Flavio Corradini and Uwe Nestmann (2005). EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003)Theor. Comput. Sci., 375-376.

Link zur Publikation

(2005). Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected PapersGlobal Computing. Springer.

2004

Johannes Borgström and Sébastien Briais and Uwe Nestmann (2004). Symbolic Bisimulation in the Spi CalculusCONCUR, 161-176.

Link zur Originalpublikation

(2004). CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, ProceedingsCONCUR. Springer.

Johannes Borgström and Uwe Nestmann and Luc Onana Alima and Dilian Gurov (2004). Verifying a Structured Peer-to-Peer Overlay Network: The Static CaseGlobal Computing, 250-265.

Link zur Originalpublikation

Flavio Corradini and Uwe Nestmann (2004). Foreword: Proceedings of the 10th International Workshop on Expressiveness in ConcurrencyElectr. Notes Theor. Comput. Sci., 1-3.

Link zur Publikation

2003

(2003). Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, ProceedingsFMOODS. Springer.

Uwe Nestmann and Rachele Fuzzati (2003). Unreliable Failure Detectors via Operational SemanticsASIAN, 54-71.

Link zur Originalpublikation

(2003). Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, ProceedingsASIAN. Springer.

Uwe Nestmann and Rachele Fuzzati and Massimo Merro (2003). Modeling Consensus in a Process CalculusCONCUR, 393-407.

Link zur Originalpublikation

(2003). CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, ProceedingsCONCUR. Springer.

Uwe Nestmann and Prakash Panangaden (2003). Guest Editors' ForewordNord. J. Comput., 69.

2002

Johannes Borgström and Uwe Nestmann (2002). On Bisimulations for the Spi CalculusAMAST, 287-303.

Link zur Originalpublikation

(2002). Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, ProceedingsAMAST. Springer.

Sébastien Briais and Uwe Nestmann (2002). Mobile Objects "Must" Move SafelyFMOODS, 129-146.

(2002). Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The NetherlandsFMOODS. Kluwer.

Uwe Nestmann and Prakash Panangaden (2002). PrefaceElectr. Notes Theor. Comput. Sci.

Link zur Publikation

Uwe Nestmann and Hans Hüttel and Josva Kleist and Massimo Merro (2002). Aliasing Models for Mobile ObjectsInf. Comput., 3-33.

Link zur Publikation

Massimo Merro and Josva Kleist and Uwe Nestmann (2002). Mobile Objects as Mobile ProcessesInf. Comput., 195-241.

Link zur Publikation

2001

Merro, M and Kleist, J and Nestmann, U (2001). CS report 03/2001 Local pi-Calculus at Work: Mobile Objects as Mobile ProcessesREPORT-UNIVERSITY OF SUSSEX COMPUTER SCIENCE

Link zur Publikation

2000

Massimo Merro and Josva Kleist and Uwe Nestmann (2000). Local pi-Calculus at Work: Mobile Objects as Mobile ProcessesIFIP TCS, 390-408.

Link zur Originalpublikation

(2000). Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, ProceedingsIFIP TCS. Springer.

Uwe Nestmann (2000). What is a "Good" Encoding of Guarded Choice?Inf. Comput., 287-319.

Uwe Nestmann and Benjamin C. Pierce (2000). Decoding Choice EncodingsInf. Comput., 1-59.

1999

Uwe Nestmann and António Ravara (1999). Semantics of Objects as Processes (SOAP)ECOOP Workshops, 314-325.

Link zur Originalpublikation

(1999). Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, ProceedingsECOOP Workshops. Springer.

Uwe Nestmann and Hans Hüttel and Josva Kleist and Massimo Merro (1999). Aliasing Models for Object MigrationEuro-Par, 1353-1368.

Link zur Originalpublikation

(1999). Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, ProceedingsEuro-Par. Springer.

Uwe Nestmann (1999). Mobile Objects (a project overview)FBT, 155-164.

(1999). Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999FBT. Herbert Utz Verlag.

1998

Uwe Nestmann and Björn Victor (1998). Calculi for Mobile Processes - Bibliography and Web PagesBulletin of the EATCS

Uwe Nestmann (1998). On the Expressive Power of Joint InputElectr. Notes Theor. Comput. Sci.

Link zur Publikation

Uwe Nestmann and Benjamin C. Pierce (1998). PrefaceElectr. Notes Theor. Comput. Sci.

Link zur Publikation

1997

Uwe Nestmann (1997). What is a `good' encoding of guarded choice?Electr. Notes Theor. Comput. Sci.

Link zur Publikation

1996

Uwe Nestmann and Benjamin C. Pierce (1996). Decoding Choice EncodingsCONCUR, 179-194.

Link zur Originalpublikation

(1996). CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, ProceedingsCONCUR. Springer.

1995

Uwe Nestmann and Martin Steffen (1995). Correct Transformational Design of Concurrent Search StructuresObject Orientation with Parallelism and Persistence, 23-42.