The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Prospec with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-2022 (10)
Publication types (Num. hits)
article(1) inproceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 10 keywords

Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
118Ching-Hua Chow, Simon S. Lam PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF communication protocols verification, PROSPEC, interactive programming environment, fair reachability analysis, multiphase construction, protocol projection, BSC, X.21, X.25, Telnet document transfer protocols, protocols, specification, software tools, programming environments, graphical interface, interactive programming
80Salamah Salamah, Ann Q. Gates, Steve Roach Improving Pattern-Based LTL Formulas for Automata Model Checking. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF B¨uchi Automaton, Prospec, Composite Propositions, Pattern, LTL, Scope
74Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon Verifying Pattern-Generated LTL Formulas: A Case Study. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
68Cuauhtemoc Munoz, Steve Roach Automated Testing of LTL Formula Generation by Prospec. Search on Bibsonomy HASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Prospec, Specification Pattern System, automated testing, LTL
37Hugo Kermabon-Bobinnec, Mahmood Gholipourchoubeh, Sima Bagheri, Suryadipta Majumdar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang 0001 ProSPEC: Proactive Security Policy Enforcement for Containers. Search on Bibsonomy CODASPY The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
37Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. Search on Bibsonomy SEKE The full citation details ... 2008 DBLP  BibTeX  RDF
37Oscar Mondragon, Ann Q. Gates, Steve Roach Prospec: Support for Elicitation and Formal Specification of Software Properties. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach Verification of Automatically Generated Pattern-Based LTL Specifications. Search on Bibsonomy HASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. Search on Bibsonomy WORDS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (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