Joachim Stroop
According to our database1,
Joachim Stroop
authored at least 7 papers
between 1990 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
2007
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
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
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