Mike Nicolai

According to our database, Mike Nicolai authored at least 7 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Deep Learning Highway Traffic Scenario Construction with Trajectory Generators.

Anne van der Heide, Chris M. J. Tampère, Mike Nicolai

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

2021

Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts.

César Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai

Proceedings of the Formal Methods - 24th International Symposium, 2021

2019

CONDEnSe: Contract Based Design Synthesis.

César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2015

Automatic generation of simulation models for early stage evaluation of physical system topologies (WIP).

Josef Müller, Klaas Gadeyne, Mike Nicolai, Herman Van der Auweraer

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

2012

On the Influence of Constitutive Models on Shape Optimization for Artificial Blood Pumps.

Markus Probst, Michael Lülfesmann, Mike Nicolai, H. Martin Bücker, Marek Behr, Christian H. Bischof

Proceedings of the Constrained Optimization and Optimal Control for Partial Differential Equations, 2012

2007

Performance Analysis and Tuning of the XNS CFD Solver on Blue Gene/L.

Brian J. N. Wylie, Markus Geimer, Mike Nicolai, Markus Probst

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007

Efficient Parallel Simulations in Support of Medical Device Design.

Marek Behr, Mike Nicolai, Markus Probst

Proceedings of the Parallel Computing: Architectures, 2007