default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOscar Slotosch
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[c20]Oscar Slotosch, Mohammad Abu-Alqumsan:
Modeling and Safety-Certification of Model-based Development Processes. Modellierung 2018: 261-273- 2012
- [c19]Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman:
ISO 26262 - Tool chain analysis reduces tool qualification costs. Automotive - Safety & Security 2012: 27-38 - [c18]Martin Wildmoser, Jan Philipps, Oscar Slotosch:
Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. SAFECOMP 2012: 317-327 - [c17]Oscar Slotosch:
Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification. SEFM Satellite Events 2012: 215-228
2000 – 2009
- 2008
- [c16]Andrea Osterloh, Oscar Slotosch:
Automatisiertes Testen mit Message Sequence Charts (MSCs). MBEES 2008: 1-2 - [c15]Oscar Slotosch:
Transforming Message Sequence Charts for Testing. Modellierung 2008: 253-256 - 2004
- [j4]Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel:
Model-based testing for real. Int. J. Softw. Tools Technol. Transf. 5(2-3): 140-157 (2004) - [c14]Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker:
CASE Support and Model-Based Development. Modellierung 2004: 283-284 - 2003
- [c13]Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn:
AutoFOCUS and the MoDe Tool. ACSD 2003: 249-250 - [c12]Jan Romberg, Oscar Slotosch, Gabor Hahn:
MoDe: A Method for System-Level Architecture Evaluation. MEMOCODE 2003: 13-23 - [c11]Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl:
Model-Based Test Case Generation for Smart Cards. FMICS 2003: 170-184 - 2002
- [c10]Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung 2002: 37-52 - [i1]Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. CoRR cs.SE/0201023 (2002) - 2001
- [c9]Manfred Broy, Oscar Slotosch:
From Requirements to Validated Embedded Systems. EMSOFT 2001: 51-65 - [c8]Peter Braun, Oscar Slotosch:
Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator. OMER 2001: 51-66 - 2000
- [j3]Oscar Slotosch:
Modelling and Validation: AUTOFOCUS and Quest. Formal Aspects Comput. 12(4): 225-227 (2000) - [j2]Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch:
Specification based test sequence generation with propositional logic. Softw. Test. Verification Reliab. 10(4): 229-248 (2000) - [c7]Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch:
Consistent Integration of Formal Methods. TACAS 2000: 48-62
1990 – 1999
- 1999
- [j1]Olaf Müller, Tobias Nipkow
, David von Oheimb, Oscar Slotosch:
HOLCF=HOL+LCF. J. Funct. Program. 9(2): 191-223 (1999) - [c6]Jan Philipps, Oscar Slotosch:
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. APSEC 1999: 449- - 1998
- [c5]Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig:
Traffic Lights - An AutoFocus Case Study. ACSD 1998: 282-294 - [c4]Manfred Broy, Oscar Slotosch:
Enriching the Software Development Process by Formal Methods. FM-Trends 1998: 44-61 - [c3]Oscar Slotosch:
QUEST: Overview over the Project. FM-Trends 1998: 346-350 - [c2]Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch:
Tool Supported Specification and Simulation of Distributed Systems. PDSE 1998: 155- - 1997
- [b1]Oscar Slotosch:
Refinements in HOLCF: implementation of interactive systems. Technical University Munich, Kovač 1997, ISBN 3-86064-625-7, pp. 1-280 - [c1]Oscar Slotosch:
Higher Order Quotients and their Implementation in Isabelle HOL. TPHOLs 1997: 291-306 - 1995
- [p1]Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch:
AVL Trees Revisited: A Case Study in SPECTRUM. KORSO Book 1995: 128-149
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
