Mike Nicolai

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 3

Top Topics

Evaluation Criteria

Simulation Model

Top Venues

SpringSim (TMS-DEVS)

Publications

Anne van der Heide, Chris M. J. Tampère, Mike Nicolai
Deep Learning Highway Traffic Scenario Construction with Trajectory Generators. IV (2023)
César Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. FM (2021)
César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai
CONDEnSe: Contract Based Design Synthesis. MoDELS (2019)
Josef Müller, Klaas Gadeyne, Mike Nicolai, Herman Van der Auweraer
Automatic generation of simulation models for early stage evaluation of physical system topologies (WIP). SpringSim (TMS-DEVS) (2015)
Brian J. N. Wylie, Markus Geimer, Mike Nicolai, Markus Probst
Performance Analysis and Tuning of the XNS CFD Solver on Blue Gene/L. PVM/MPI (2007)
Marek Behr, Mike Nicolai, Markus Probst
Efficient Parallel Simulations in Support of Medical Device Design. PARCO (2007)