D. Gomm, E. Kindler: A weakly coherent virtually shared memory scheme:
Formal specification and analysis.
SFB-Bericht 342/5/91 B, TU München, August 1991.
D. Gomm, E. Kindler: Causality based specification and correctness proof
of a virtually shared memory scheme.
SFB-Bericht 342/6/91 B, TU München, August 1991.
J. Desel, D. Gomm, E. Kindler, B. Paech, R. Walter: Bausteine eines
kompositionalen Beweiskalküls für netzmodellierte Systeme.
SFB-Bericht 342/16/92 A, TU München, July 1992.
E. Kindler, R. Walter:
Rearranging Problems.
Cover Picture Story des Petri Net Newsletters No. 43, June 1993.
D. Gomm, E. Kindler, B. Paech, R. Walter:
Compositional Liveness Properties of EN-Systems.
In M. Ajamone Marsan (Ed.): Application and Theory of Petri Nets 1993,
Proceedings. LNCS 691, Springer-Verlag 1993.
Abstract.
D. Gomm, E. Kindler:
Causality Based Proof of a Distributed Shared Memory System.
In A. Bode, M. Dal Cin (Eds.): Parallel Computer Architectures.
LNCS 732, Springer-Verlag 1993. Abstract (in German).
J. Desel, E. Kindler, R. Walter: The game of tokens: A collections of
proofs. Petri Net Newsletter, 48:7--14, May 1995.
J. Desel, E. Kindler, T. Vesper, R. Walter: A simplified proof for a
self-stabilizing protocol: A Game of Cards.
Information Processing Letters, Vol. 54, pp. 327-328, 1995.
E. Kindler: Invariants, composition, and substitution.
Acta Informatica Vol. 32, pp. 299-312, Juni 1995.
Abstract.
(also SFB-Bericht 342/25/92, Nov. 1992)
E. Kindler, R. Walter: Message Passing Mutex
In J. Desel (Ed.): Structures in Concurrency Theory, Proceedings,
Workshops in Computing, Springer-Verlag 1995.
Abstract.
E. Kindler and R. Walter: Arc-Typed Petri Nets.
In J. Billington, W. Reisig (Eds.):
Application and Theory of Petri Nets 1996, Proceedings, LNCS 1091,
Springer-Verlag 1996.
(also:
E. Kindler and R. Walter:
Arc-Typed Petri Nets.
Informatik-Berichte der Humboldt-Universität zu Berlin No. 50,
Dec. 1995.)
E. Kindler and J. Desel:
Der Traum von einem universellen Petrinetz-Werkzeug: Der
Petrinetz-Kern.
In Proceedings des 3. Workshop Algorithmen und Werkzeuge für
Petrinetze, Karlsruhe, 4.-5. October 1996.
(also: in Proceedings des KickOff-Workshops der Forschergruppe
Petrinetz-Technologie, Juli 1996)
E. Kindler and T. Vesper: Automatisch überprüfbare Beweistechniken für
algebraische Petrinetze.
In Proceedings des 3. Workshop Algorithmen und Werkzeuge für
Petrinetze, Karlsruhe, 4.-5. October 1996.
E. Kindler, W. Reisig, H. Völzer, and R. Walter: Petri Net Based Verification
of Distributed Algorithms: An Example.
Formal Aspects of Computing (1997) 9:409-424.
(Journal version of
Informatik-Bericht Nr. 63,
May 1996)
E. Kindler and T. Vesper:
A Temporal Logic for Events and States in Petri Nets.
In: B. Farwer, D. Moldt, M.-O. Stehr: Petri Nets in System Engineering
(PNSE'97) Modelling, Verification, and Validation.
Universität Hamburg, Fachberichte FBI-HH-B-205/97, Sept. 1997.
E. Kindler:
Der Petrinetz-Kern: Ein einfaches Anwendungsbeispiel.
In: J. Desel, E. Kindler, A. Oberweis (Hrsg.): Algorithmen
und Werkzeuge für Petrinetze, 4. Workshop. Informatik-Berichte 85,
Humboldt-Universität zu Berlin, Oct. 1997.
M. Weber, R. Walter, H. Völzer, T. Vesper, W. Reisig, S. Peuker,
E. Kindler, J. Freiheit, and J. Desel:
DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen..
Informatik-Bericht Nr. 88, Humboldt-Universtität zu Berlin,
Nov. 1997.
Leider enthält diesem Bericht noch einige
Errata.
E. Kindler and H. Völzer:
Flexibility in Algebraic Nets.
Informatik-Bericht Nr. 89, Humboldt-Universtität zu Berlin,
Nov. 1997.
E. Kindler:
The Interplay of
Transaction Models and Memory Models.
In: T. Ozsu, A. Dogac, O. Ulusoy (Eds.):
Proc. of the third biennial world conference on
Integrated Design and Process, IDPT-Vol.~2. pp. 39-46. SDPS, July, 1998.
E. Kindler and T. Vesper:
ESTL: A Temporal Logic for Events and States.
In: J. Desel and M. Silva (Eds.): Proc. of International Conf. on
Application and Theory of Petri Nets (ICATPN '98). pp. 365-384. LNCS 1420,
Springer-Verlag, June, 1998.
(See Informatik-Bericht 87,
Humboldt-Universtität zu Berlin, Nov. 1997)
E. Kindler and H. Völzer:
Flexibility in Algebraic Nets.
In: J. Desel and M. Silva (Eds.): Proc. of International Conf. on
Application and Theory of Petri Nets (ICATPN '98). pp. 345-364. LNCS 1420,
Springer-Verlag, June, 1998.
(See Informatik-Bericht Nr. 89,
Humboldt-Universtität zu Berlin, Nov. 1997)
Ekkart Kindler and Sibylle Peuker:
Integrating Distributed Algorithms into Distributed Systems.
In: H.-D. Burkhard, L. Czaja, P. Starke: Workshop Concurrency,
Specification & Programming, Proceedings, pp.128-143. Sept. 1998
(Also printed as Informatik-Bericht Nr. 107, Humboldt-Universtität zu Berlin,
July 1998.)
Ekkart Kindler and Michael Weber:
The Dimensions of Petri Nets: The Petri Net Cube.
EATCS Bulletin No. 66, pp. 155-166, October 1998.
(Also printed as Informatik-Bericht Nr. 109, Humboldt-Universtität zu
Berlin, Aug. 1998.)
Ekkart Kindler and Frank Oschmann:
The Petri Net Kernel: An INA-Pilot.
In J. Desel, P. Kemper, E. Kindler, A. Oberweis: Workshop Algorithmen
und Werkzeuge für Petrinetze, Oct. 1998
Wil van der Aalst, Ekkart Kindler, and Jörg Desel:
Beyond Asymmetric Choice: A Note on Some Extensions
Petri Net Newsletter, No. 55, pp. 3-13, October 1998.
Ekkart Kindler:
Database Theory - Petri Net Theory - Workflow Theory
Petri Net Newsletter, No. 55, pp. 14-18, October 1998.
(Also printed as Informatik-Bericht Nr. 102, Humboldt-Universtität zu Berlin,
Mai. 1998.)
Thomas Baar and Ekkart Kindler:
ILF and DAWN for Verifying Distributed Algorithms -
An Idea for a Tool.
Fundamenta Informaticae (Special Issue on Petri Nets),
37 (3): 201-211, Feb. 1999
Ekkart Kindler and Sibylle Peuker:
Integrating Distributed Algorithms into Distributed Systems.
Fundamenta Informaticae (Special Issue on Petri Nets),
37 (3): 291-327, Feb. 1999
Ekkart Kindler and Dennis Shasha:
Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs.
Technical Report TR2000-803, New York University, Courant Institute of
Mathematical Sciences, Computer Science Department, June 2000.
(Download PDF or
PostScript)
Ekkart Kindler:
Consistency, Causality, Petri Nets, and Automata.
In: H.-D. Burkhard and L. Czaja and A. Skowron and P. Starke (Eds.):
Workshop Concurrency, Specification & Programming.
pp. 93-104, October 2000.
Matthias Jüngel, Ekkart Kindler, and Michael Weber:
The Petri Net Markup Language.
In: S. Phillipi (Ed.): Workshop Algorithmen und Werkzeuge für Petrinetze.
October 2000.
Also: Petri Net Newsletter, No. 59, pp. 24-29, October 2000.
Ekkart Kindler:
DAWN for component based systems - just a different view.
In: J. Desel, M. Weske (eds.): PROMISE 2002 - Prozessorientierte Methoden
und Werkzeuge für die Entwicklung von Informationssystemen.
Potsdam, Germany, 9.-11. October 2002. Proceedings.
GI-Edition, Lecture Notes in Informatics, P-21, pp. 7-13.
Matthias Gehrke, Holger Giese, Ekkart Kindler, Jörg Niere,
Wilhelm Schäfer,
Jörg P. Wadsack, Robert Wagner, and Lothar Wendehals:
Software Engineering Education:
The Synergy of Combined Research and Teaching.
Technical Report, Reihe Informatik tr-ri-03-237,
University of Paderborn, Paderborn, Germany, January 2003.
Ekkart Kindler, Vladimir Rubin, and Wilhelm Schäfer:
Incremental Workflow Mining based on Document Versioning Information.
In: Software Process Workshop,
Proceedings, pp. 218-232.
Beijing, China, May 2005.
Ekkart Kindler and Frank Nillies:
Petri Nets and the Real World.
In: K. Schmidt, C. Stahl (eds.):
AWPN workshop, proceedings, Berlin, Germany, pp. 19-24.
September 2005.
Ekkart Kindler, Vladimir Rubin, and Wilhelm Schäfer:
Activity Mining for Discovering Software Process Models.
Accepted as short paper for
Software Engineering 2006, SE 2006, Leipzig, Germany, March 2006.
Ekkart Kindler, Vladimir Rubin, and Robert Wagner:
Component Tools: Anwendung und Integration Formaler Methoden
(in German).
Accepted for 4. Paderborner Workshop Entwurf mechatronischer Systeme,
Paderborn, Germany, March 2006.
Ekkart Kindler and Frank Nillies:
Petri Nets and the Real World.
Petri Net Newsletter 70, Cover Picture Story, pp. 3-8, April 2006.
ISO/JTC1/SC7/WG19: Software and Systems Engineering - High-level Petri Nets Part 2: Transfer Format.
FCD 15909-2, v. 1.2.0, ISO/IEC, June 2007.
(Due to ISO/IEC policies, I cannot make that freely available here! But, national experts can ask for a copy.)
J. Greenyer and E. Kindler: Reconciling TGGs with QVT.
In: G. Engels, B. Opdyke, D. C. Schmidt, F. Weil (eds.),
MoDELS 2007,
Model Driven Engineering Languages and Systems, 10th International Conference, Nashville, USA, September 30 -
October 5, 2007, Proceedings. Springer LNCS 4735, pp. 16-30.
Kent Inge Fagerland Simonsen, Lars Kristensen, Ekkart Kindler:
Code Generation for Protocols from CPN models Annotated with Pragmatics (Extended abstract).
In 24th Nordic Workshop on Programming Theory,
Bergen, Norway, November 2012.
Jesper Jepsen and Ekkart Kindler:
The Event Coordination Notation: Behaviour Modelling beyond Mickey Mouse.
In E. Roubtsova, A. McNeile, E. Kindler, C. Gerth (eds.):
Behavior Modeling — Foundations and Applications.
International Workshops, BM-FA 2009-2014, Revised Selected Papers,
Springer, Series: Information Systems and Applications, incl. Internet/Web, and HCI,
LNCS 6368, 2015.
E. Roubtsova, A. McNeile, E. Kindler, C. Gerth (eds.):
Behavior Modeling — Foundations and Applications.
International Workshops, BM-FA 2009-2014, Revised Selected Papers,
Springer, Series: Information Systems and Applications, incl. Internet/Web, and HCI,
LNCS 6368, 2015.
A. Cunha and Ekkart Kindler (eds.): Bx 2015 — Bidirectional Transformations.
Proceedings of the 4th International Workshop on Bidirectional Transformations
co-located with Software Technologies: Applications and Foundations (STAF 2015),
L'Aquila, Italy, July 24, 2015. CEUR Workshop Proceedings, Vol.-1369.