Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1996-2006 (9)
Publication types (Num. hits)
article(3) inproceedings(6)
Venues (Conferences, Journals, ...)
ICECCS(4) IEEE Trans. Software Eng.(3) SEKE(1) TACoS(1)
Authors
Paolo Nesi(8) Pierfrancesco Bellini(6) Davide Rogai(3) Andrea Giotti(2) Riccardo Mattolini(2) Angelo Morzenti(1) Carlo A. Furia(1) Matteo Pradella(1) Matteo Rossi 0001(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 27 occurrences of 10 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
241Pierfrancesco Bellini, Paolo Nesi TILCO-X, an Extension of TILCO Temporal Logic. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, verification and validation, formal specification language, temporal operators, temporal interval logic
181Riccardo Mattolini, Paolo Nesi Using TILCO for Specifying Real-Time Systems. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
144Riccardo Mattolini, Paolo Nesi An Interval Logic for Real-Time System Specification. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, verification and validation, Formal specification language, temporal interval logic
109Pierfrancesco Bellini, Paolo Nesi Communicating TILCO: A Model for Real-Time System Specification. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, verification and validation, formal specification language, temporal interval logic
85Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi Execution of TILCO Temporal Logic Specifications. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, formal specification language, temporal operators, temporal interval logic
84Pierfrancesco Bellini, Paolo Nesi, Davide Rogai Reply to Comments on "An Interval Logic for Real-Time System Specification'. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF TILCO, conciseness, temporal logic, Formal language, interval temporal logic
36Pierfrancesco Bellini, Paolo Nesi, Davide Rogai Validating Component Integration with C-TILCO: A Case Study. Search on Bibsonomy TACoS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi, Davide Rogai TILCO Temporal Logic for Real-Time Systems Implementation in C++. Search on Bibsonomy SEKE The full citation details ... 2003 DBLP  BibTeX  RDF
24Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi 0001 Comments on "An Interval Logic for Real-Time System Specification'. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF real-time systems, Formal methods, temporal logic
Displaying result #1 - #9 of 9 (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