Login / Signup
Mike Nicolai
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 3
Top Topics
Evaluation Criteria
Air Cargo
Early Stage
Simulation Model
Top Venues
SpringSim (TMS-DEVS)
MoDELS
IV
FM
</>
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)