Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rudolf Schlatte

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Andreas Griesmayer

> Home > Persons > Rudolf Schlatte

Publications

2009
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BasukiCGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BasukiCGS09
Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer, Rudolf Schlatte:
Model-checking user behaviour using interacting components. Formal Aspects Comput. 21(6): 571-588 (2009)
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/GriesmayerAJS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GriesmayerAJS09
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GriesmayerAJS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GriesmayerAJS09
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS 2009: 105-120
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GrabeJABBBGJKKKLSSSTXY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi:
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 2009: 33-48
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SchlatteAGK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SchlatteAGK10
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas:
Resource Modeling for Timed Creol Models. TTSS 2009: 63-75
2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/AichernigGJSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/AichernigGJSS08
Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam:
Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO 2008: 61-81
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/SchlatteABGJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/SchlatteABGJ08
Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen:
Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AichernigGSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AichernigGSS09
Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam:
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. TTSS 2008: 3-14

a service of

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.