|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Robert Glück |
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS/VPT@ETAPS ![In: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018., pp. 169-184, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Josip Bozic, Lina Marsso, Radu Mateescu 0001, Franz Wotawa |
A Formal TLS Handshake Model in LNT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS/VPT@ETAPS ![In: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018., pp. 1-40, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel, Lina Marsso |
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS/VPT@ETAPS ![In: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018., pp. 41-87, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Rob van Glabbeek, Wendelin Serwe (eds.) |
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS/VPT@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman |
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS/VPT@ETAPS ![In: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018., pp. 150-168, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Franco Mazzanti, Alessio Ferrari 0001 |
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS/VPT@ETAPS ![In: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018., pp. 104-149, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders 0001, Mattias Ulbrich, Alexander Weigl |
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS/VPT@ETAPS ![In: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018., pp. 185-199, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz |
Modeling a Cache Coherence Protocol with the Guarded Action Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS/VPT@ETAPS ![In: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018., pp. 88-103, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|