Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MARS/VPT@ETAPS"( http://dblp.L3S.de/Venues/MARS/VPT@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2018 (8)
Publication types (Num. hits)
inproceedings(7) proceedings(1)
Venues (Conferences, Journals, ...)
MARS/VPT@ETAPS(8)
Authors
Lina Marsso(2) Alessio Ferrari 0001(1) Alexander Weigl(1) Bernhard Beckert(1) Brian Nielsen(1) Emmanuelle Encrenaz(1) Franco Mazzanti(1) Franz Wotawa(1) Hubert Garavel(1) John P. Gallagher(1) Josip Bozic(1) Mattias Ulbrich(1) Moritz Kiefer(1) Peter Sanders 0001(1) Pujie Han(1) Quentin L. Meunier(1) More (+10 of total 24)
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
1Robert Glück An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Josip Bozic, Lina Marsso, Radu Mateescu 0001, Franz Wotawa A Formal TLS Handshake Model in LNT. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hubert Garavel, Lina Marsso Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John 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 MARS/VPT@ETAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Franco Mazzanti, Alessio Ferrari 0001 Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernhard 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 MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz Modeling a Cache Coherence Protocol with the Guarded Action Language. Search on Bibsonomy MARS/VPT@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license