|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 11 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer |
Language-Theoretic Abstraction Refinement.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Roland Meyer, Eike Möhlmann |
Deciding Robustness against Total Store Ordering. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan |
Petri Net Reachability Graphs: Decidability Status of FO Properties. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog |
Kleene, Rabin, and Scott Are Available. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Habermehl, Roland Meyer, Harro Wimmel |
The Downward-Closure of Petri Net Languages. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer, Tim Strazny |
Petruchio: From Dynamic Networks to Nets. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer |
Structural stationarity in the π-calculus. |
|
2009 |
RDF |
|
| 1 | Roland Meyer |
A theory of structural stationarity in the pi -Calculus. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer, Victor Khomenko, Tim Strazny |
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer, Roberto Gorrieri |
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Khomenko, Roland Meyer |
Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Structural Congruence, Computational Complexity, Graph Isomorphism, pi-Calculus |
| 1 | Roland Meyer |
Strukturelle Stationarität. |
Ausgezeichnete Informatikdissertationen |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko |
Model checking Duration Calculus: a practical approach. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus |
| 1 | Roland Meyer, Victor Khomenko, Tim Strazny |
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus |
| 1 | Roland Meyer |
On Boundedness in Depth in the pi-Calculus. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Becker, Wilhelm Hasselbring, Alexandra Paul, Marko Boskovic, Heiko Koziolek, Jan Ploski, Abhishek Dhama, Henrik Lipskoch, Matthias Rohr, Daniel Winteler, Simon Giesecke, Roland Meyer, Mani Swaminathan, Jens Happe, Margarete Muhle, Timo Warns |
Trustworthy software systems: a discussion of basic concepts and terminology. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Faber, Roland Meyer |
Model Checking Data-Dependent Real-Time Properties of the European Train Control System. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer, Johannes Faber, Andrey Rybalchenko |
Model Checking Duration Calculus: A Practical Approach. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno |
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")