|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19541 occurrences of 5230 keywords
|
|
|
Results
Found 53773 publication records. Showing 53773 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Patrice Godefroid |
On the costs and benefits of using partial-order methods for the verification of concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 289-303, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Eike Best |
Partial order verification with PEP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 305-328, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Jörg Würtz |
Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages ![In: ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994, pp. 87-107, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
24 | Mark Bickford, Mandayam K. Srivas |
Verification of a Pipelined Microprocessor Using Clio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 307-332, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Han Zuidweg |
Verification by Abstraction and Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 105-116, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Ze'ev Shtadler, Orna Grumberg |
Network Grammars, Communication Behaviors and Automatic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 151-165, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Florence Maraninchi |
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 38-53, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Olivier Coudert, Christian Berthet, Jean Christophe Madre |
Verification of Synchronous Sequential Machines Based on Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 365-373, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Donal Roantree, Maurice Clint |
A Specification-Verification Framework for Distributed Applications Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 153-183, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
24 | David Freestone |
Specification and Verification in Communications Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 474-485, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
24 | Parosh Aziz Abdulla, Stefan Arnborg |
An Equivalence Decision Problem in Systolic Array Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 236-245, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
24 | Peter Dybjer, Herbert P. Sander |
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 331-343, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
24 | Jeffrey J. Joyce |
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 384-409, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
24 | Bernd Walter |
Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 149-159, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani |
A Calculus for Protocol Specification and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 19-34, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Richard J. Linn Jr., J. Stephen Nightingale |
Some Experience with Testing Tools for OSI Protocol Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 521-531, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | S. Aggarwal, Robert P. Kurshan |
Modelling Elapsed Time in Protocol Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 51-62, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Yechiam Yemini, Nihal Nounou |
CUPID: A Protocol Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 347-355, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | F. Mark Restorick |
Implementation of a Protocol in an Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 293-298, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Luigi Logrippo |
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 111-124, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Omar Rafiq, Jean-Pierre Ansart |
VADILOC - A Protocol Validator and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 189-197, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Richard J. Linn Jr., W. H. McCoy |
Producing Tests for Implementations of OSI Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 505-520, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | S. Aggarwal, Robert P. Kurshan, D. Sharma |
A Language for the Specification and Analysis of Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 35-50, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen |
Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 139-148, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | George A. Harvey |
The Routing Certification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 465-476, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt |
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 3-18, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | D. Rayner |
Towards an Objective Understanding of Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 493-503, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Hasan Ural, Robert L. Probert |
User-Guided Test Sequence Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 421-436, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Hans Eckert, Rainer Prinoth |
A Computation-System Based Method for Automated Proving of Protocols Against Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 213-228, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Jean-Francois Billiard |
Methodology and Tools for Qualitative Protocols Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 445-454, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Günter Karjoth |
A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 125-136, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Guy Juanole, B. Algayres |
Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 273-282, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Jean-Michel Ayache, Jean-Pierre Courtiat |
LC/1, A Specification and Implementation Language for Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 333-345, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Jean-Pierre Ansart, V. Chari, D. Simon |
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 381-390, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Stanislaw Budkowski, Elie Najm |
Structured Finite State Automata - A new approach for modelling distributed communications systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 95-110, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Gerard J. Holzmann, Rob A. Beukers |
The Pandora Protocol Development System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 357-368, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Alan E. Baratz, Adrian Segall |
A Reliable Link Initialization Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 199-211, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Harry Rudin |
From Formal Protocol Specification Towards Automated Performance Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 257-269, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Jonathan Billington |
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 173-185, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Robert E. Strom, Shaula Yemini |
Design, Implementation, and Validation of Secure Communications Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 317-332, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Alfred Gießler |
Testing and Diagnosis Aids for Higher Level Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 407-420, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Gerard Florin, Stéphane Natkin, A. Woog, J. Attal |
Quantitative Validation for Industrial Ethernet Local Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 251-256, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Mohamed G. Gouda |
An Example for Constructing Communicating Machines by Step-Wise Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 63-74, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | G. W. Cowin, R. W. S. Hale, D. Rayner |
Protocol Product Testing - Some Comparisons and Lessons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 477-492, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Sergio Palazzo, P. Fogliata, Gesualdo Le Moli |
A Layer-Independent Architecture for a Testing System of Protocol Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 393-406, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Rune Gustavsson, Björn Pehrson |
The Power of some Formal Models of Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 77-86, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Robin M. S. Cork |
The Testing of Protocols in SNA Products - An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 455-463, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Miguel Menasche, Bernard Berthomieu |
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 161-172, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Robert L. Probert, Hasan Ural |
Requirements for a Test Specification Language for Protocol Implementation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 437-443, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Thomas P. Blumer, Deepinder P. Sidhu |
Experience with an Automated Protocol Development System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 369-380, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso |
Design of a Transport Layer Protocol for a Special Purpose LAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 283-291, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
24 | Björn Pehrson |
Abstraction by Structural Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 87-94, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
23 | Wonhong Nam, P. Madhusudan, Rajeev Alur |
Automatic symbolic compositional verification by learning assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 32(3), pp. 207-234, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning |
23 | Devinder Thapa, Sang C. Park, Chang Mok Park, Gi-Nam Wang |
Modeling, verification, and implementation of PLC program using timed-MPSG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 533-540, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
modeling and verification (M&V), symbolic model verification (SMV), timed-MPSG (message based part state graph), programmable logic controller (PLC) |
23 | Reiner Dojen, Tom Coffey |
The concept of layered proving trees and its application to the automation of security protocol verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 8(3), pp. 287-311, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
automated protocol verification, logic-based verification of security protocols, cryptography, Security protocols, cryptographic protocols |
23 | Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham |
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 27(1-2), pp. 67-112, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
efficient memory models, embedded memory verification, custom circuit verification, equivalence checking, symbolic trajectory evaluation |
23 | Yu Huang 0005, Wu-Tung Cheng |
Using embedded infrastructure IP for SOC post-silicon verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 674-677, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
FPGA core, infrastructure IP (I-IP), post-silicon verification, transaction-based verification |
23 | Dipankar Sarkar 0001 |
Register Transfer Operation Analysis during Data Path Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 172-, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Sequential Circuit Verification, Control Part - Data Path, Data Path Verification, RTL Behaviours |
23 | Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma |
The 'Cash-Point' Service: A Verification Case Study Using STeP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(4), pp. 218-219, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Verification diagrams, Model checking, Verification, STeP |
23 | Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini |
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 207-214, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification |
23 | Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay |
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(1), pp. 187-201, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
architecture specification language, software architecture, formal verification, Knowledge-based system, knowledge acquisition, architecture style, compositional verification |
23 | Christoph Kern, Mark R. Greenstreet |
Formal verification in hardware design: a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 4(2), pp. 123-193, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
language containment, model checking, formal methods, formal verification, case studies, theorem proving, survey, hardware verification |
23 | James K. Huggins, David Van Campenhout |
Specification and verification of pipelining in the ARM2 RISC microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 3(4), pp. 563-580, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ARM processor, formal verification, pipelining, abstract state machines, design verification, pipelined processors |
23 | Dominik Stoffel, Wolfgang Kunz |
Record & play: a structural fixed point iteration for sequential circuit verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 394-399, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
circuit resynthesis, circuit retiming, combinational verification techniques, instruction queue, iterative circuit array, local circuit transformation, sequential circuit verification, sequential logic equivalence checking, structural fixed point iteration, time frame equivalence, logic testing, finite state machine, logic design |
23 | Yuntao Cui, John (Juyang) Weng |
Hand segmentation using learning-based prediction and verification for hand sign recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96), June 18-20, 1996 San Francisco, CA, USA, pp. 88-93, 1996, IEEE Computer Society, 0-8186-7258-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
learning-based prediction, learning-based verification, prediction-and-verification segmentation scheme, false rejection rate, correct segmentation rate, user interfaces, computer vision, image segmentation, motion estimation, intensity images, hand segmentation |
23 | Mark D. Aagaard, Miriam Leeser |
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(10), pp. 822-833, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
weak division, theorem proving, logic synthesis, Software verification, hardware verification |
23 | Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke |
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(2), pp. 107-125, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
verification systems, fault tolerance, formal specification, formal methods, theorem proving, clock synchronization, PVS, Byzantine agreement, hardware verification, flight control |
23 | Miriam Leeser, John W. O'Leary |
Verification of a subtractive radix-2 square root algorithm and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 526-531, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
subtractive radix-2 square root, floating point square root hardware, Intel Pentium, radix-2 square root, MIPS R4400, RTL level, verification, formal verification, theorem proving, theorem proving, floating point arithmetic, optimizing transformations |
23 | Seong Hoon Kim, Myoung Soo Park, Jaihie Kim |
Applying personalized weights to a feature set for on-line signature verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 882-885, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
personalized weights, pen-speed, pen-pressure, optimal verification, combinatorial efforts, handwriting recognition, on-line signature verification |
23 | Orna Grumberg, David E. Long |
Model Checking and Modular Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 843-871, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Moore machines, model checking, formal verification, temporal logics, CTL, computer-aided verification |
23 | Richard Gerber 0001, Insup Lee 0001 |
A Layered Approach to Automating the Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(9), pp. 768-784, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach |
23 | Tony T. Lee, Ming-Yee Lai |
A Relational Algebraic Approach to Protocol Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(2), pp. 184-193, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES |
23 | Raúl Monroy, Alan Bundy, Ian Green |
On Process Equivalence = Equation Solving in CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 43(1), pp. 53-80, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Unique fixpoint induction, Equational verification Calculus of communicating systems |
23 | Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova |
On the correctness of upper layers of automotive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(6), pp. 637-662, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Time-triggered systems, Formal verification, Model-based development, Automotive software |
23 | Walid Ibrahim |
A Novel EDA Tool for VLSI Test Vectors Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 23(5), pp. 421-434, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Test vectors selection, Genetic algorithms, Verification, VLSI, EDA tools |
23 | Ping Hang Cheung, Alessandro Forin |
A C-Language Binding for PSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 584-591, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
C, Assertion Based Verification, Property Specification Language |
23 | Byungkwan Park, Daesung Moon, Yongwha Chung, Jin-Won Park |
Capacity Planning for Scalable Fingerprint Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part I, pp. 906-915, 2006, Springer, 3-540-46535-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Performance Evaluation, Authentication Protocol, Fingerprint Verification |
23 | Alistair C. Bruce, M. M. Kamal Hashmi, Andrew Nightingale, Steve Beavis, Nizar Romdhane, Christopher K. Lennard |
Maintaining consistency between systemC and RTL system designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 85-89, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SPIRIT, transactor, verification, systemC, RTL, TLM, testbench, VIP |
23 | John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger |
Verifying Time Partitioning in the DEOS Scheduling Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 26(2), pp. 103-135, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program model checking, time partitioning, verification, spin, predicate abstraction |
23 | Gustaf Naeser, Kristina Lundqvist, Lars Asplund |
Temporal skeletons for verifying time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 49-56, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, ada, formal notation |
23 | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
Adaptive Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 357-370, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Learning Algorithms, Automatic Verification, Black Box Testing |
23 | Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor |
Bridging pre-silicon verification and post-silicon validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 94-95, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
post-silicon, pre-silicon, verification, validation |
23 | Alon Gluska, Lior Libis |
Shortening the verification cycle with synthesizable abstract models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 454-459, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
verification, logic design, abstract modeling |
23 | Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 |
Decomposing bytecode verification by abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(1), pp. 3:1-3:63, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Abstract interpretation, bytecode verification |
23 | Xiang Yin 0001, John C. Knight, Elisabeth A. Nguyen, Westley Weimer |
Formal Verification by Reverse Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, pp. 305-319, 2008, Springer, 978-3-540-87697-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal methods, Formal verification, software dependability |
23 | |
A Novel Text-Independent Speaker Verification System Using Ant Colony Optimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISP ![In: Image and Signal Processing - 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings, pp. 421-429, 2008, Springer, 978-3-540-69904-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Feature Selection, Gaussian Mixture Model (GMM), Speaker Verification, Ant Colony Optimization (ACO) |
23 | Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao |
A Verification Method for Temporal Consistency of Service Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1187-1192, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Verification of WS Flow, Annotated OWL_S, Time Ontology, Model Checking |
23 | Xingming Zhang 0001, Dian Liu, Jianfu Chen |
An Illumination Independent Face Verification Based on Gabor Wavelet and Supported Vector Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 153-160, 2008, Springer, 978-3-540-85929-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Supported Vector Machine, Illumination, gabor wavelet, Face Verification |
23 | Jianfu Chen, Xingming Zhang 0001, Jinsheng Li |
Face Verification Based on AdaBoost Learning for Histogram of Gabor Phase Patterns (HGPP) Selection and Samples Synthesis with Quotient Image Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 430-437, 2008, Springer, 978-3-540-87440-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Gabor Phase, HGPP, Quotient Image, Synthesize Samples, AdaBoost, Illumination invariance, Face Verification |
23 | Youngsik Kim, Nazanin Mansouri |
Automated formal verification of scheduling with speculative code motions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008, pp. 95-100, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal verification, high level synthesis, automated theorem-proving, speculation |
23 | Andrea Fedeli, Franco Fummi, Graziano Pravadelli |
Properties Incompleteness Evaluation by Functional Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(4), pp. 528-544, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
property coverage, Model checking, fault models, functional verification |
23 | Andreas Schlapbach, Horst Bunke |
A writer identification and verification system using HMM based recognizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 10(1), pp. 33-43, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Writer verification, Off-line handwriting, HMM based handwriting recognition, Writer identification |
23 | Aabhas V. Paliwal, Nabil R. Adam, Christof Bornhövd |
Web service orchestration and verification using MSC and CP nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1693-1694, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CP nets, web services, verification, composition, orchestration, MSC |
23 | Charl Johannes van Heerden, Etienne Barnard |
Durations of Context-Dependent Phonemes: A New Feature in Speaker Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speaker Classification (2) ![In: Speaker Classification II, Selected Projects, pp. 93-103, 2007, Springer, 978-3-540-74121-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
triphones, time durations, Hidden Markov Models, Speaker verification |
23 | Jesus Olivares-Mercado, Gabriel Sanchez-Perez, Mariko Nakano-Miyatake, Héctor M. Pérez Meana |
Feature Extraction and Face Verification Using Gabor and Gaussian Mixture Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings, pp. 769-778, 2007, Springer, 978-3-540-76630-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Gaussian Mixture Model, Face verification, Gabor functions |
23 | Adam D. Todd, Richard A. Raines, Rusty O. Baldwin, Barry E. Mullins, Steven K. Rogers |
Alert Verification Evasion Through Server Response Forging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007, Proceedings, pp. 256-275, 2007, Springer, 978-3-540-74319-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Alert Verification, Network Intrusion Detection, Exploits, Evasion |
23 | Chandan Karfa, Dipankar Sarkar 0001, Chittaranjan A. Mandal, Chris Reade |
Hand-in-hand verification of high-level synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 429-434, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FSMD model, formal verification, high-level synthesis, equivalence checking |
23 | Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa |
Tool-Assisted Specification and Verification of Typed Low-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 35(4), pp. 295-354, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
virtual machine, theorem proving, Java Card, bytecode verification |
23 | Jan Friso Groote, François Monin, Jan Springintveld |
A computer checked algebraic verification of a distributed summation algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 17(1), pp. 19-37, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Distributed summation algorithm, Formal proof checking, Verification, Process algebra, PVS, CRL |
23 | Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou |
Program Verification by Using DISCOVERER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, pp. 528-538, 2005, Springer, 978-3-540-69147-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation |
Displaying result #601 - #700 of 53773 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|