Oscar Slotosch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1998–2012
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SAFECOMP | Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. | Martin Wildmoser, Jan Philipps, Oscar Slotosch |
| 2012 | SEFM | Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification. | Oscar Slotosch |
| 2003 | MEMOCODE | MoDe: A Method for System-Level Architecture Evaluation. | Jan Romberg, Oscar Slotosch, Gabor Hahn |
| 2001 | EMSOFT | From Requirements to Validated Embedded Systems. | Manfred Broy, Oscar Slotosch |
| 2000 | TACAS | Consistent Integration of Formal Methods. | Peter Braun, Heiko Ltzbeyer, Bernhard Schtz, Oscar Slotosch |
| 1999 | APSEC | The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. | Jan Philipps, Oscar Slotosch |
| 1998 | FM | Enriching the Software Development Process by Formal Methods. | Manfred Broy, Oscar Slotosch |
| 1998 | FM | QUEST: Overview over the Project. | Oscar Slotosch |