Joachim Stroop

According to our database1, Joachim Stroop authored at least 7 papers between 1990 and 2008.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Models for model's sake: why explicit system models are also an end to themselves.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Benefits of System Simulation for Automotive Applications.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2005
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications.
Proceedings of the FM 2005: Formal Methods, 2005

2001
Consistent Design of Embedded Real-Time Systems with UML-RT.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

1998
Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems.
Proceedings of the Distributed and Parallel Embedded Systems, 1998

1997
Simulation of hybrid mechatronic systems: a case study.
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

1990
Ein paralleles Waveform-Relaxationsverfahren für die Simulation von VLSI-Schaltungen.
Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1990


  Loading...