TU BRAUNSCHWEIG

Jens-Wolfhard Schicke-Uffmann

Diplom Informatiker (Dipl. Inform.)
Ph.D. student

TU Braunschweig
Institute for Programming und Reactive Systems
Mühlenpfordtstr. 23 (Room 210)
38106 Braunschweig

P.O. Box 3329
38023 Braunschweig

Phone: +49 531/391-2293
+49 531/391-7466 (Secretary)
Fax: +49 531/391-8111
E-Mail: drahflow@gmx.de

 

 

 

 

Personal Homepage

Personal Homepage

In it's infinite wisdom, the CMS deletes unlinked objects... On Distributability of Petri nets (pdf, 592 KByte) On Distributability of Petri nets (extended Abstract) (pdf, 200 KByte)

Publications

2014
[MSUG14] On the Step Branching Time Closure of Free-Choice Petri Nets (Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz), Chapter in Formal Techniques for Distributed Objects, Components, and Systems (Erika Abraham, Catuscia Palamidessi, eds.), Springer Berlin Heidelberg, volume 8461, 2014. [pdf] [doi]
2012
[SBESG12] Modelling driving behaviour using hybrid automata (Anke Schwarze, Matthias Borgstede, Frank Eggert, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz), In European Conference on Human Centred Design for Intelligent Transport Systems (Pedro Valero Mora, Jean-Francois Pace, Lucile Mendoza, eds.), 2012.
[GGS12a] On Distributability of Petri Nets (Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann), Technical report, TU Braunschweig, Institut für Programmierung und Reaktive Systeme, 2012. [pdf]
[GGS12] On Distributability of Petri Nets - (Extended Abstract) (Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann), In Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings (Lars Birkedal, ed.), Springer, volume 7213, 2012. [pdf] [doi]
2011
[SPG11] Synchrony vs. Causality in Asynchronous Petri Nets (Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz), In Proceedings 18th International Workshop on Expressiveness in Concurrency (Bas Luttik, Frank Valencia, eds.), 2011. [pdf] [doi]
[GGS11b] On Causal Semantics of Petri Nets (Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke), Technical report, TU Braunschweig, 2011. [pdf]
[GGS11a] On Causal Semantics of Petri Nets (extended abstract) (Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke), In International Conference on Concurrency Theory (CONCUR 2011) (Joost-Pieter Katoen, Barbara König, eds.), 2011. [pdf]
[PSN11] Synchrony vs Causality in the Asynchronous Pi-Calculus (Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann), In Proceedings 18th International Workshop on Expressiveness in Concurrency (Bas Luttik, Frank Valencia, eds.), 2011. [pdf] [doi]
[BSEG11] Hybrid Automata as a Modelling Approach in the Behavioural Sciences (Matthias Borgstede, Jens-Wolfhard Schicke, Frank Eggert, Ursula Goltz), In , 2011. [pdf]
[GGS11] Abstract processes of place/transition systems (Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke), In Information Processing Letters, volume 111, 2011. [pdf] [doi]
[BSEG11a] Verhaltensbasierte Fahrermodellierung mittels Hybrider Automaten (Matthias Borgstede, Jens-Wolfhard Schicke, Frank Eggert, Ursula Goltz), 2011.
2009
[GGS09] Symmetric and Asymmetric Asynchronous Interaction (R. van Glabbeek, U. Goltz, J.-W. Schicke), In First Interaction and Concurrency Experiences Workshop (ICE 2008), Satellite Workshop ICALP 2008, elsevier, volume Vol. 229, 2009. [pdf]
2008
[GGS08d] On Synchronous and Asynchronous Interaction in Distributed Systems (R. van Glabbeek, U. Goltz, J.-W. Schicke), Technical report, TU Braunschweig, 2008. (Extended abstract in Proceedings 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), Torun, Poland, August 2008 (E. Ochmanski J. Tyszkiewicz, eds.), LNCS 5162, Springer, 2008, pp. 16-35) [pdf]
[GGS08c] On Synchronous and Asynchronous Interaction in Distributed Systems (R. van Glabbeek, U. Goltz, J.-W. Schicke), In 33rd Intern. Symp. on Mathematical Foundations of Computer Science (MFCSÂ’08) (E. Ochmanski, J. Tyszkiewicz, eds.), Springer Berlin Heidelberg, volume LNCS 5162, 2008. [pdf]
[GGS08b] Symmetric and Asymmetric Asynchronous Interaction (R. van Glabbeek, U. Goltz, J.-W. Schicke), Technical report, TU Braunschweig, 2008. (Extended abstract in Proceedings 1st Interaction and Concurrency Experience (ICE08) on Synchronous and Asynchronous Interactions in Concurrent Distributed Systems, in Electronic Notes in Theoretical Computer Science, Elsevier) [pdf]

  aktualisiert am 02.02.2018
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang