The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Oscar Slotosch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar Slotosch, Gabor Hahn
    AutoFOCUS and the MoDe Tool. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:249-250 [Conf]
  2. Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
    Traffic Lights - An AutoFocus Case Study. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:282-0 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    Ada Deutschland Tagung, 2002, pp:37-52 [Conf]
  4. Jan Philipps, Oscar Slotosch
    The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:449-0 [Conf]
  5. Manfred Broy, Oscar Slotosch
    From Requirements to Validated Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:51-65 [Conf]
  6. Manfred Broy, Oscar Slotosch
    Enriching the Software Development Process by Formal Methods. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:44-61 [Conf]
  7. Oscar Slotosch
    QUEST: Overview over the Project. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:346-350 [Conf]
  8. Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch
    AVL Trees Revisited: A Case Study in SPECTRUM. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:128-149 [Conf]
  9. Jan Romberg, Oscar Slotosch, Gabor Hahn
    MoDe: A Method for System-Level Architecture Evaluation. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:13-23 [Conf]
  10. Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker
    CASE Support and Model-Based Development. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2004, pp:283-284 [Conf]
  11. Peter Braun 0003, Oscar Slotosch
    Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator. [Citation Graph (0, 0)][DBLP]
    OMER, 2001, pp:51-66 [Conf]
  12. Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
    Tool Supported Specification and Simulation of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    PDSE, 1998, pp:155-0 [Conf]
  13. Peter Braun 0003, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
    Consistent Integration of Formal Methods. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:48-62 [Conf]
  14. Oscar Slotosch
    Higher Order Quotients and their Implementation in Isabelle HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:291-306 [Conf]
  15. 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 [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  16. Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
    Model-Based Test Case Generation for Smart Cards. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  17. Oscar Slotosch
    Modelling and Validation: AUTOFOCUS and Quest. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:225-227 [Journal]
  18. Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch
    HOLCF=HOL+LCF. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:2, pp:191-223 [Journal]
  19. Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel
    Model-based testing for real. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:140-157 [Journal]
  20. Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch
    Specification based test sequence generation with propositional logic. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:4, pp:229-248 [Journal]

  21. Transforming Message Sequence Charts for Testing. [Citation Graph (, )][DBLP]


  22. Automatisiertes Testen mit Message Sequence Charts (MSCs). [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002