The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase temporal logic language (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1986-2002 (15) 2004-2016 (6)
Publication types (Num. hits)
article(3) inproceedings(18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33 occurrences of 25 keywords

Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
31Marisa A. Sanchez, Juan Carlos Augusto Testing an Implementation of a Temporal Logic Language. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
31Linda A. Ness L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages
26C. S. Tang A unified formal basis for the CASE tools system. Search on Bibsonomy J. Syst. Integr. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Temporal logic language, software engineering, verification, specification, rapid prototyping, formal language, CASE tools, graphic languages
22Nina Edelweiss, José Palazzo M. de Oliveira, Barbara Pernici An Object-Oriented Temporal Model Search on Bibsonomy CAiSE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
17Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman Machine Learning Biochemical Networks from Temporal Logic Properties. Search on Bibsonomy Trans. Comp. Sys. Biology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Nadeem Malik, Jason Baumgartner, S. Roberts, R. Dobson A toolset for assisted formal verification. Search on Bibsonomy IPCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
14Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. Search on Bibsonomy ISSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
14Y. Tang A temporal logic language for system implementation. Search on Bibsonomy Systems Implementation 2000 The full citation details ... 1998 DBLP  BibTeX  RDF
14Bart Vergauwen, Johan Lewi Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. Search on Bibsonomy ICCI The full citation details ... 1992 DBLP  BibTeX  RDF
14Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
14Linda Ness L.0: a parallel executable temporal logic language. Search on Bibsonomy Formal Methods in Software Development The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
14Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. Search on Bibsonomy CAV (DIMACS/AMS volume) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
14C. S. Tang A Temporal Logic Language for Behaviour Modelling of Information and Expert Systems. Search on Bibsonomy DS-2 The full citation details ... 1986 DBLP  BibTeX  RDF
13Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. Search on Bibsonomy HiPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti Automated Compositional Proofs for Real-Time Systems. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Angelo Morzenti Validating Real-Time Systems by Executing Logic Specifications. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF real-time, formal specifications, temporal logic, first-order logic, software requirements, requirements validation, model-theoretic semantics
10Simona Bernardi 0001, Susanna Donatelli, Giovanna Dondossola Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
7Miguel Felder, Angelo Morzenti Validating Real-Time Systems by History-Checking TRIO Specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF formal specifications, first-order logic, requirements validation, model-theoretic semantics
6Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
6Matteo Pradella, Matteo Rossi, Dino Mandrioli A UML-Compatible Formal Language for System Architecture Description. Search on Bibsonomy SDL Forum The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
6Weimin Liu, Huadong Ma Modeling Video-on-Demand System in Temporal Logic. Search on Bibsonomy IEEE Pacific Rim Conference on Multimedia The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license