Michael Köhler-Bußmeier

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 16

Top Topics

Transitive Closure

Adaptive Systems

Quantitative Measures

Top Venues

Fundam. Informaticae

PNSE@Petri Nets

Publications

Lorenzo Capra, Michael Köhler-Bußmeier
Modular rewritable Petri nets: An efficient model for dynamic distributed systems. Theor. Comput. Sci. 990 (2024)
Michael Köhler-Bußmeier, Jan Sudeikat
Studying the Micro-Macro-Dynamics in MAPE-Like Adaption Processes. IDC (2023)
Michael Köhler-Bußmeier, Jan Sudeikat
Defining adaption measures for organisational multi-agent systems. Int. J. Parallel Emergent Distributed Syst. 38 (6) (2023)
Michael Köhler-Bußmeier, Heiko Rölke
Analysing Adaption Processes of Hornets. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Lorenzo Capra, Michael Köhler-Bußmeier
Modelling Adaptive Systems with Maude Nets-within-Nets. WorldCIST (3) (2023)
Jan Sudeikat, Michael Köhler-Bußmeier
Controlled Run-Time Adaptivity in Industrial Agent Systems - Challenges and Research Prospects. GI-Jahrestagung (2023)
Lorenzo Capra, Michael Köhler-Bußmeier
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. SAC (2023)
Lorenzo Capra, Michael Köhler-Bußmeier
A Maude Formalization of Object Nets. ECSA (Tracks and Workshops) (2022)
Jan Sudeikat, Michael Köhler-Bußmeier
Towards Integrating Multi-Agent Organizations in OPC UA for Developing Adaptive Cyber-Physical Systems. GI-Jahrestagung (2022)
Michael Köhler-Bußmeier, Jan Sudeikat
Balance vs. Contingency: Adaption Measures for Organizational Multi-agent Systems. IDC (2022)
Jan Sudeikat, Michael Köhler-Bußmeier
On Combining Domain Modeling and Organizational Modeling for Developing Adaptive Cyber-Physical Systems. ICAART (1) (2022)
Niclas zum Felde, Michael Köhler-Bußmeier, Jan Sudeikat
Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit. PNSE@Petri Nets (2021)
Michael Müller, Michael Köhler-Bußmeier
Availability Analysis of the ONOS Architecture. PNSE@Petri Nets (2021)
Michael Köhler-Bußmeier
Restricting Hornets to Support Self-adaptive Systems. Petri Nets (2017)
Michael Köhler-Bußmeier, Frank Heitmann
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. Fundam. Informaticae 143 (1-2) (2016)
Thomas Wagner, Daniel Moldt, Michael Köhler-Bußmeier
From eHornets to Hybrid Agent and Workflow Systems. PNSE @ Petri Nets (2016)
Michael Köhler-Bußmeier, Frank Heitmann
Complexity Studies for Safe and Fan-Bounded Elementary Hornets. CS&P (2015)
Michael Köhler-Bußmeier, Frank Heitmann
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets. CS&P (2014)
Michael Köhler-Bußmeier
On the Complexity of the Reachability Problem for Safe, Elementary Hornets. Fundam. Informaticae 129 (1-2) (2014)
Frank Heitmann, Michael Köhler-Bußmeier
Structural and Dynamic Restrictions of Elementary Object Systems. Fundam. Informaticae 135 (4) (2014)
Michael Köhler-Bußmeier
A Survey of Decidability Results for Elementary Object Systems. Fundam. Informaticae 130 (1) (2014)
Michael Köhler-Bußmeier
Defining Multi-Party Compromises using Unfoldings of Workflow Nets. Fundam. Informaticae 128 (1-2) (2013)
Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier
Model-Driven Middleware Support for Team-Oriented Process Management. Trans. Petri Nets Other Model. Concurr. 8 (2013)
Frank Heitmann, Michael Köhler-Bußmeier
Structural and Dynamic Restrictions of Elementary Object Systems. CS&P (2013)
Michael Köhler-Bußmeier, Frank Heitmann
Complexity Results for Elementary Hornets. Petri Nets (2013)
Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier
Model-Driven Middleware Support for Team-Oriented Process Management. PNSE (2012)
Michael Köhler-Bußmeier
Negotiating Inter-Organisational Processes. CS&P (2012)
Michael Köhler-Bußmeier
On the Complexity of Safe, Elementary Hornets. CS&P (2012)
Frank Heitmann, Michael Köhler-Bußmeier
P- and T-Systems in the Nets-within-Nets-Formalism. Petri Nets (2012)
Michael Köhler-Bußmeier, Frank Heitmann
Conservative Elementary Object Systems. Fundam. Informaticae 120 (3-4) (2012)
Michael Köhler-Bußmeier, Frank Heitmann
Liveness of Safe Object Nets. Fundam. Informaticae 112 (1) (2011)
Matthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier
Modeling Organizational Units as Modular Components of Systems of Systems. Trans. Petri Nets Other Model. Concurr. 4 (2010)
Simon Adameit, Tobias Betz, Lawrence Cabac, Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, José Ghislain Quenum, Axel Theilmann
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach. MATES (2010)
Michael Köhler-Bußmeier, Frank Heitmann
Complexity of LTL Model-Checking for Safe Object Nets. LAM@LICS (2010)
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt
Generating Executable MAS-Prototypes from SONAR Specifications. MALLOW (2010)
Endri Deliu, Michael Köhler-Bußmeier
SONAR/OREDI: A Tool for Creation and Deployment of Organisation Models. MATES (2010)
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt
Generating Executable Multi-agent System Prototypes from SONAR Specifications. COIN@AAMAS&MALLOW (2010)
Michael Köhler-Bußmeier, Frank Heitmann
Safeness for Object Nets. Fundam. Informaticae 101 (1-2) (2010)
Michael Köhler-Bußmeier
A Survey of Elementary Object Systems. LAM@LICS (2010)
Michael Köhler-Bußmeier, Frank Heitmann
On the Expressiveness of Communication Channels for Object Nets. Fundam. Informaticae 93 (1-3) (2009)
Michael Köhler-Bußmeier
Hornets: Nets within Nets Combined with Net Algebra. Petri Nets (2009)
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus
: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems. MATES (2009)
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt
A Formal Model for Organisational Structures behind Process-Aware Information Systems. Trans. Petri Nets Other Model. Concurr. 2 (2009)
Matthias Wester-Ebbinghaus, Daniel Moldt, Michael Köhler-Bußmeier
From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches. ESAW (2008)
Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models. COIN@AAMAS&AAAI (2008)
Michael Köhler-Bußmeier, Manfred Kudlek
Linear Properties of Zero-Safe Nets with Debit Tokens. Fundam. Informaticae 85 (1-4) (2008)