Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase safety-progress (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1992-2022 (8)
Publication types (Num. hits)
article(2) inproceedings(6)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(1) ASYNC(1) Expert Syst. Appl.(1) ICALP(1) ICISS(1) POPL(1) RV(1) SAC(1)
Authors
Jean-Claude Fernandez(3) Laurent Mounier(3) Yliès Falcone(3) Amir Pnueli(1) Edward Y. Chang(1) Faan Chen(1) Jiacheng Zu(1) Jonathan I. Leivent(1) Kohei Honda 0001(1) Marco Carbone(1) Nobuko Yoshida(1) Ronald J. Watro(1) Tom Verhoeff(1) Zesheng Peng(1) Zohar Manna(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 14 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
55Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier Enforcement monitoring wrt. the safety-progress classification of properties. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF runtime enforcement, safety-progress, monitor, synthesis, property
28Jonathan I. Leivent, Ronald J. Watro Mathematical Foundations of Time Warp Systems. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF concurrency control, checkpoint, Time Warp, rollback, termination detection
28Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. Search on Bibsonomy ICISS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier Runtime Verification of Safety-Progress Properties. Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20Edward Y. Chang, Zohar Manna, Amir Pnueli Characterization of Temporal Property Classes. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
16Jiacheng Zu, Zesheng Peng, Faan Chen Overseeing road safety progress using CV-PROMETHEE Ⅱ-JSS: A case study in the EU context. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
8Kohei Honda 0001, Nobuko Yoshida, Marco Carbone Multiparty asynchronous session types. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multiparty, communications, causality, choreography, structured programming, session types, mobile processes
8Tom Verhoeff Analyzing Specifications for Delay-Insensitive Circuits. Search on Bibsonomy ASYNC The full citation details ... 1998 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