TGI

Education

Research

Misc

Bibliography

Lawrence Cabac

Coeditor

2011

Tobias Betz, Lawrence Cabac , and Matthias Güttler.
Improving the development tool chain in the context of Petri net-based software development.
In Duvigneau et al. (eds.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 167-178.

Tobias Betz, Lawrence Cabac , and Matthias Wester-Ebbinghaus.
Gateway architecture for Web-based agent services.
In Franziska Klügl and Sascha Ossowski, editors, Multiagent System Technologies, volume 6973 of Lecture Notes in Computer Science, pages 165-172. Springer Berlin / Heidelberg, 2011. [link]

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Matthias Wester-Ebbinghaus.
Towards unit testing for Java reference nets.
In Bergenthum and Desel (eds.), Algorithmen und Werkzeuge für Petrinetze. 18. Workshop AWPN 2011, Hagen, September 2011. Tagungsband, pages 1-6.

Marcin Hewelt, Thomas Wagner, and Lawrence Cabac .
Integrating verification into the PAOSE approach.
In Duvigneau et al. (eds.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 124-135.

2010

Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, Jose Quenum, Axel Theilmann, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
Herold - agent-oriented, policy-based network security management.
In Future Security, 5th Security Research Conference, Berlin; 2010, 2010.

Lawrence Cabac .
Modeling Petri Net-Based Multi-Agent Applications.
Dissertation, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, April 2010.
http://www.sub.uni-hamburg.de/opus/volltexte/2010/4666/. [link]

Lawrence Cabac .
Modeling Petri Net-Based Multi-Agent Applications, volume 5 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2010.

Daniel Moldt, Michael Köhler-Bußmeier, Axel Theilmann, Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Dimitri Popov, José Quenum, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
Modelling distributed network security in a Petri net and agent-based approach.
In Jürgen Dix and Cees Witteveen, editors, Multiagent System Technologies. 8th German Conference, MATES 2010, Leipzig, Germany, September 27-28, 2010. Proceedings, volume 6251 of Lecture Notes in Artificial Intelligence, pages 209-220, Berlin, Heidelberg, New York, September 2010. Springer-Verlag.

2009

Lawrence Cabac and Kolja Markwardt.
Modeling the system organization of multi-agent systems in early design stages with coarse design diagrams.
In Moldt et al. (eds.), Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009, pages 34-43.

Lawrence Cabac , Kolja Markwardt, and Jan Schlüter.
ImageNetDiff: Finding differences in models.
In Moldt et al. (eds.), Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009, pages 156-161.

Lawrence Cabac .
Net components: Concepts, tool, praxis.
In Moldt (eds.), Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings, pages 17-33.

Lawrence Cabac and Daniel Moldt.
Support for modeling roles and dependencies in multi-agent systems.
In Köhler-Bußmeier et al. (eds.), Organizational Modelling, International Workshop, OrgMod'09. Proceedings, pages 15-33.
Preeproceedings available online at http://www.informatik.uni-hamburg.de/TGI/events/orgmod09/#proceedings.

Lawrence Cabac , Till Dörges , Michael Duvigneau, and Daniel Moldt.
Requirements and tools for the debugging of multi-agent systems.
In Lars Braubach, Wiebke van der Hoek, Paolo Petta, and Alexander Pokahr, editors, Multiagent System Technologies. 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, volume 5774 of Lecture Notes in Artificial Intelligence, pages 238-247, Berlin, Heidelberg, New York, September 2009. Springer-Verlag.

Lawrence Cabac , Daniel Moldt, Matthias Wester-Ebbinghaus, and Eva Müller.
Visual representation of mobile agents - modeling mobility within the prototype MAPA.
In Duvigneau and Moldt (eds.), Proceedings of the Fifth International Workshop on Modeling of Objects, Components and Agents, MOCA'09, Hamburg, pages 7-28.

Olaf Kummer, Frank Wienberg, Michael Duvigneau, and Lawrence Cabac .
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, August 2009.
Release 2.2. [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, and Lawrence Cabac .
Renew - User Guide (Release 2.2).
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, August 2009.
Available at: http://www.renew.de/. [link]

Kolja Markwardt, Lawrence Cabac , and Christine Reese.
A process-oriented tool-platform for distributed development.
In Moldt et al. (eds.), Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009, pages 44-52.

2008

Lawrence Cabac and Nicolas Denz.
Net components for the integration of process mining into agent-oriented software engineering.
Transactions on Petri Nets and Other Models of Concurrency I (ToPNoC), 5100:86-103, November 2008.

Lawrence Cabac , Till Dörges , and Heiko Rölke.
A monitoring toolset for Petri net-based agent-oriented software engineering.
In Rüdiger Valk and Kees M. van Hee, editors, 29th International Conference on Application and Theory of Petri Nets, Xi'an, China, volume 5062 of Lecture Notes in Computer Science, pages 399-408. Springer-Verlag, June 2008. [pdf]

Lawrence Cabac , Till Dörges , Michael Duvigneau, Daniel Moldt, Christine Reese, and Matthias Wester-Ebbinghaus.
Agent models for concurrent software systems.
In Ralph Bergmann and Gabriela Lindemann, editors, Proceedings of the Sixth German Conference on Multiagent System Technologies, MATES'08, volume 5244 of Lecture Notes in Artificial Intelligence, pages 37-48, Berlin, Heidelberg, New York, 2008. Springer-Verlag. [pdf]

Lawrence Cabac and Jan Schlüter.
ImageNetDiff: A visual aid to support the discovery of differences in Petri nets.
In 15. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN'08, volume 380 of CEUR Workshop Proceedings, pages 93-98. Universität Rostock, September 2008. [link]

Lawrence Cabac , Daniel Moldt, and Jan Schlüter.
Adding runtime net manipulation features to MulanViewer.
In 15. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN'08, volume 380 of CEUR Workshop Proceedings, pages 87-92. Universität Rostock, September 2008. [link]

Lawrence Cabac , Ragna Dirkner, and Daniel Moldt.
Modeling with service dependency diagrams.
In Moldt et al. (eds.), Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pages 109-118.

Christine Reese, Matthias Wester-Ebbinghaus, Till Dörges , Lawrence Cabac , and Daniel Moldt.
Introducing a process infrastructure for agent systems.
In Mehdi Dastani, Amal El Fallah, João Leite, and Paolo Torroni, editors, LADS'007 Languages, Methodologies and Development Tools for Multi-Agent Systems, volume 5118 of Lecture Notes in Artificial Intelligence, pages 225-242, 2008.
Revised Selected and Invited Papers.

Benjamin Schleinzer , Lawrence Cabac , Daniel Moldt, and Michael Duvigneau.
From agents and plugins to plugin-agents, concepts for flexible architectures.
In New Technologies, Mobility and Security, 2008. International Conference, NTMS '08, Tangier, Morocco. Electronical proceedings, pages 1-5. IEEE Xplore, 5.-7.November 2008.

2007

Lawrence Cabac , Till Dörges , Michael Duvigneau, Christine Reese, and Matthias Wester-Ebbinghaus.
Application development with Mulan.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 145-159.

Lawrence Cabac and Till Dörges .
Tools for testing, debugging and monitoring multi-agent applications.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 209-213.

Lawrence Cabac and Nicolas Knaak.
Process mining in Petri net-based agent-oriented software development.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 7-21.

Lawrence Cabac , Michael Duvigneau, Christine Reese, Till Dörges , and Matthias Wester-Ebbinghaus.
Models and tools for Mulan applications.
In H.-D. Burkhard, G. Lindemann, R. Verbrugge, and L. Varga, editors, Multi-Agent Systems and Applications V. Fifth International Central and East European Conference, CEEMAS'07, Leipzig. Proceedings, volume 4696 of Lecture Notes in Computer Science, pages 328-330, Berlin, Heidelberg, New York, 2007. Springer-Verlag. [pdf]

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Benjamin Schleinzer .
Plugin-agents as conceptual basis for flexible software structures.
In Multi-Agent Systems and Applications V. Fifth International Central and East European Conference, CEEMAS'07, Leipzig. Proceedings, volume 4696 of Lecture Notes in Computer Science, pages 340-342, Berlin, Heidelberg, New York, 2007. Springer-Verlag. [pdf]

Lawrence Cabac .
Multi-agent system: A guiding metaphor for the organization of software development projects.
In Paolo Petta, editor, Proceedings of the Fifth German Conference on Multiagent System Technologies, volume 4687 of Lecture Notes in Computer Science, pages 1-12, Leipzig, Germany, 2007. Springer-Verlag. [pdf]

Christine Reese, Matthias Wester-Ebbinghaus, Till Dörges , Lawrence Cabac , and Daniel Moldt.
A process infrastructure for agent systems.
In Mehdi Dastani, Amal El Fallah, Joao Leite, and Paolo Torroni, editors, MALLOW'007 Proceedings. Workshop LADS'007 Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS), pages 97-111, 2007.

Felix Simmendinger, Lawrence Cabac , Michael Duvigneau, and Nicolas Knaak.
Controlling OSGi bundles with Petri nets.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 220-225.

2006

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Applying multi-agent concepts to dynamic plug-in architectures.
In Joerg Mueller and Franco Zambonelli, editors, Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, Netherlands, July 21, 2005. Revised Selected Papers, volume 3950 of Lecture Notes in Computer Science, pages 190-204, Berlin, Heidelberg, New York, June 2006. Springer-Verlag. [pdf] [link]

Lawrence Cabac , Michael Duvigneau, and Heiko Rölke.
Net components revisited.
In Moldt (eds.), Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA'06, pages 87-102. [pdf]

Lawrence Cabac , Ragna Dirkner, and Heiko Rölke.
Modelling service dependencies for the analysis and design of multi-agent applications.
In Moldt (eds.), Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA'06, pages 291-298.

Lawrence Cabac , Nicolas Knaak, Daniel Moldt, and Heiko Rölke.
Analysis of multi-agent interactions with process mining techniques.
In Multiagent System Technologies. 4th German Conference, MATES 2006 Erfurt, Germany. Proceedings, volume 4196 of Lecture Notes in Computer Science, pages 12-23, Berlin, Heidelberg, New York, 2006. Springer-Verlag.

Lawrence Cabac , Nicolas Knaak, and Daniel Moldt.
Net components for the modeling of process mining chains.
In Moldt (eds.), Proceedings of the 13th Workshop Application and Tools for Petri Nets. AWPN'06.

Lawrence Cabac , Nicolas Knaak, and Daniel Moldt.
Applying process mining to interaction analysis of Petri net-based multi-agent models.
Technical Report 271, University of Hamburg, Department of Informatics, May 2006.

2005

Lawrence Cabac , Michael Duvigneau, Michael Köhler, Kolja Lehmann, Daniel Moldt, Sven Offermann, Jan Ortmann, Christine Reese, Heiko Rölke, and Volker Tell.
PAOSE Settler demo.
In First Workshop on High-Level Petri Nets and Distributed Systems (PNDS) 2005, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2005. Universität Hamburg, Fachbereich Informatik. [link]

Lawrence Cabac and Daniel Moldt.
Formal semantics for AUML agent interaction protocol diagrams.
In Agent-Oriented Software Engineering V: 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers, volume 3382 of Lecture Notes in Computer Science, pages 47-61. Springer-Verlag, January 2005.

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Modeling dynamic architectures using nets-within-nets.
In Gianfranco Ciardo and Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005. 26th International Conference, ICATPN 2005, Miami, USA, June 2005. Proceedings, volume 3536 of Lecture Notes in Computer Science, pages 148-167, 2005. [pdf] [link]

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Multi-agent concepts as basis for dynamic plug-in software architectures.
In Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pages 1157-1158, 2005.

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Agent technologies for plug-in system architecture design.
In Proceedings of the Workshop on Agent-oriented Software Engineering (AOSE), Utrecht, Netherlands, 2005. [pdf]

Kolja Lehmann, Lawrence Cabac , Daniel Moldt, and Heiko Rölke.
Towards a distributed tool platform based on mobile agents.
In Proceedings of the Third German Conference on Multi-Agent System Technologies (MATES), volume 3550 of Lecture Notes in Artificial Intelligence, pages 179-190. Springer-Verlag, September 2005. [link]

2004

Lawrence Cabac and Michael Köhler.
Relating higher order reference nets and well-formed nets.
In Proceedings of the International Workshop on Coloured Petri Nets (CPN 2004). Computer Science Department, Aarhus University, 2004.

Lawrence Cabac and Daniel Moldt.
Formal semantics for AUML agent interaction protocol diagrams.
In James Odell, Paolo Giorgini, and Jörg P. Müller, editors, The Fifth International Workshop on Agent-Oriented Software Systems (AOSE-2004). Proceedings, pages 97-111, New York, USA, July 2004. Columbia University.

2003

Lawrence Cabac , Daniel Moldt, and Heiko Rölke.
A proposal for structuring Petri net-based agent interaction protocols.
In Wil van der Aalst and Eike Best, editors, 24th International Conference on Application and Theory of Petri Nets, Eindhoven, Netherlands, June 2003, volume 2679 of Lecture Notes in Computer Science, pages 102-120. Springer-Verlag, June 2003.

Lawrence Cabac .
Generating code structures for Petri net-based Agent Interaction Protocols using Net Components.
In Workshop: Algorithms and Tools for Petri Nets, September 2003. [pdf] [ps]

Lawrence Cabac .
Modeling agent interaction protocols with AUML diagrams and Petri nets.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, December 2003. [pdf]

2002

Lawrence Cabac .
Entwicklung von geometrisch unterscheidbaren Komponenten zur Vereinheitlichung von Mulan-Protokollen.
Studienarbeit, Universität Hamburg, Fachbereich Informatik, 2002.

Coeditor of

2012

Lawrence Cabac , Michael Duvigneau, and Daniel Moldt, editors.
Petri Nets and Software Engineering. International Workshop PNSE'12, Hamburg, Germany, June 2012. Proceedings, volume 851 of CEUR Workshop Proceedings. CEUR-WS.org, June 2012. [link]