Mihal Brumbulli

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 6

Top Topics

Business Processes

Pspace Complete

Top Venues

MoDELS (Companion)

Humboldt University of Berlin (PHD)

Education History

Humboldt University of Berlin

PHD

Publications

Emmanuel Gaudin, Eric Brunel, Mihal Brumbulli
Language Agnostic Model Checking for SDL. MoDELS (Companion) (2023)
Mihal Brumbulli, Emmanuel Gaudin
An attempt to convert BPMN models to SDL. SAM (2020)
Mihal Brumbulli, Emmanuel Gaudin, Frédéric Berre
Verification of BPMN Models. CSDM (2019)
Mihal Brumbulli, Emmanuel Gaudin
Towards Model-Driven Simulation of the Internet of Things. CSDM Asia (2016)
Mihal Brumbulli, Emmanuel Gaudin
Performance Analysis of SDL Systems. CSDM (2016)
Mihal Brumbulli, Emmanuel Gaudin
Optimizing Performance of SDL Systems. SAM (2016)
Joachim Fischer, Jens-Peter Redlich, Jochen Zschau, Claus Milkereit, Matteo Picozzi, Kevin Fleming, Mihal Brumbulli, Björn Lichtblau, Ingmar Eveslage
A wireless mesh sensing network for early warning. J. Netw. Comput. Appl. 35 (2) (2012)
Mihal Brumbulli, Joachim Fischer
Simulation Configuration Modeling of Distributed Communication Systems. SAM (2012)
Mihal Brumbulli, Joachim Fischer
Simulation visualization of distributed communication systems. WSC (2012)
Andreas Blunk, Mihal Brumbulli, Ingmar Eveslage, Joachim Fischer
Modeling Real-time Applications for Wireless Sensor Networks using Standardized Techniques. SIMULTECH (2011)
Mihal Brumbulli, Joachim Fischer
SDL Code Generation for Network Simulators. SAM (2010)