| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Piotr Dembinski, Marek Sredniawa (eds.) |
Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995  |
PSTV  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Maarten Steen, Howard Bowman, John Derrick |
Composition of LOTOS specifications. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter Herrmann, Heiko Krumm |
Re-usable verification elements for high-speed transfer protocol configurations. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Leo Cacciari, Omar Rafiq |
A temporal reachability analysis. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | O. Catrina |
Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Stefan Leue |
Specifying real-time requirements for SDL specifications - a temporal logic-based approach. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | David de Frutos-Escrig, Manuel Núñez 0001, Juan Quemada |
Characterizing termination in LOTOS via testing. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hubert Garavel |
On the introduction of gate typing in E-LOTOS. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Nikolay A. Anisimov, Maciej Koutny |
On compositionality and Petri nets in protocol engineering. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jacek Wytrebowicz |
Hardware specification generated from Estelle. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ralf Plato, Thomas Held, Hartmut König |
PARES - a portable parallel Estelle compiler. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Andreas Ulrich, Samuel T. Chanson |
An approach to testing distributed software systems. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Luci Pirmez, Aloysio Pedroza, Antonio Carneiro de Mesquita Filho |
A methodology for the implementation of protocols in hardware from a formal description. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mohamed Jmaiel |
An algebraic-temporal specification of a CSMA/CD-protocol. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Gerard J. Holzmann |
An analysis of bistate hashing. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Sisto |
A method to build symbolic representations of LOTOS specifications. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Youcef Atamna, Guy Juanole |
Quantified reduced views of state graphs using Markovian and timed observational equivalence. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dieter Barnard, Simon Crosby |
The specification and verification of an experimental ATM signalling protocol. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Steven Bradley, William Henderson, David Kendall, Adrian Robson |
Validation, verification and implementation of timed protocols using AORTA. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Doron A. Peled, Wojciech Penczek |
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Michel Diaz, Thierry Villemur, François Vernadat 0001 |
Formal design of cooperative systems. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger |
SDL and Petri net performance analysis of communicating systems. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper |
Simple on-the-fly automatic verification of linear temporal logic. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann |
Modeling basic LOTOS by FSMs for conformance testing. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Stefan Fischer |
On the suitability of Estelle for multimedia systems. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Lex Heerink, Ed Brinksma |
Validation in context. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Maria Törö, Katalin Tarnay |
Principles for validation of abstract test suites specified in concurrent TTCN. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Son T. Vuong, Samuel T. Chanson (eds.) |
Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Antoni W. Mazurkiewicz |
True versus artificial concurrency. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Gotzhein, Gregor von Bochmann |
Specialization in Estelle. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Erik Kwast |
Automatic ASN.1 constraint generation for testing purposes. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Raj Jain |
ATM Networks: Issues and Challenges Ahead. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid |
Functional approach to protocols specification. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Anders Ek, Jan Ellsberger, Anthony Wiles |
Computer supported test generation from SDL specifications. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kshirasagar Naik |
Design of reliable architecture for testing timed behavior of OSI protocols. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hong Liu 0004, Raymond E. Miller |
Generalized fair reachability analysis for cyclic protocols: part 1. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
On specifying services and synthesizing protocols for real-time applications. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus |
Verification by abstraction as a preamble for interoperability test suite generation. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Guy Leduc |
Failure-based congruences, unfair divergences and new testing theory. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Maria Hultström |
Structural decomposition. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Thomas Held, Hartmut König |
Increasing the efficiency of computer-aided protocol implementations. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Klaus Havelund, Kim Guldstrand Larsen |
A refinement logic for the fork calculus. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Masaaki Mori, Son T. Vuong |
On finite covering of infinite spaces for protocol test selection. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Masahiro Higuchi, S. Sugawa, Mamoru Fujii |
A method for verifying liveness of protocols modeled as a class of ECFSM. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter Herrmann, Heiko Krumm |
Compositional specification and verification of high-speed transfer protocols. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jorge Arturo Cobb, Mohamed G. Gouda, Prathima Agrawal |
Protocol synchronization with sparse timestraps. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Brigitte Bär, Andreas Mann |
A methodology for conformance testing of managed objects. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Y. Benkhellat, Jean-Pierre Thomesse |
Validation of timing properties for interoperability in distributed real-time applications. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | David L. Tennenhouse |
Putting information infrastructure on the technology curve. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou |
Automatic verification of real-tim systems using epsilon. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ajin Jirachiefpattana, Richard Lai 0001 |
Verification of the ISO ROSE protocol specified in Estelle. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kshirasagar Naik, Behçet Sarikaya |
Protocol conformance test case verification using timed-transitions. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Marc Phalippou |
Abstract testing and concrete testers. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kenneth L. Calvert |
Specifying and verifying conditional progress. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jinsong Zhu, Samuel T. Chanson |
Towards evaluating fault coverage of protocol test sequences. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi |
Hardware synthesis from a restricted class of LOTOS expressions. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ed Brinksma |
Cache consistency by design. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bernard Stepien, Luigi Logrippo |
Feature interaction detection using backward reasoning with LOTOS. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jean-Pierre Courtiat, Roberto C. de Oliveira |
About time nondeterminism and exception handling in a temporal extension of LOTOS. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kenneth J. Turner |
An Engineering Approach to Formal Methods. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Huimin Lin |
A Verification Tool for Value-Passing Processes. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Caroline Andrae, Reinhard Gotzhein, Simone Sédillot |
An Evolutionary Approach to the Development of Complex Protocol Standards. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Wil Janssen, Job Zwiers |
Specifiying and Proving Communication Closedness in Protocols. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan |
Specification of Real-Time Probabilistic Behaviour. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | André A. S. Danthine, Guy Leduc, Pierre Wolper (eds.) |
Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993 |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Arturo Azcorra, Enrique Vázquez, Manuel Alvarez-Campana, Juan Vinyes |
Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Serge Haddad, Mohamed Taghelit, Belhassen Zouari |
Assessment of ESTELLE and EDT Through Real Case Studies. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi |
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Charles Pecheur |
VLib: Infinite Virtual Libraries for LOTOS. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Brahim Ghribi, Luigi Logrippo |
A Validation Environment for LOTOS. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | R. M. Barker, F. A. Brady |
Automated Generation of Test Purposes for the OSE Distributed Transaction Processing Protocol. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Khalil Drira, Pierre Azéma, François Vernadat 0001 |
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Pieter S. Kritzinger, Graham Wheeler |
Semi-Markovian Analysis of Protocol Performance. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
Conformance Testing of Protocol Machines without Reset. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ed Brinksma, Henk Eertink |
Goal-Driven LOTOS Execution. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jadranka Alilovic-Curgus, Son T. Vuong |
A Metric Based Theory of Test Selection and Coverage. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Patrice Godefroid, Gerard J. Holzmann |
On the Verification of Temporal Properties. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Günter Karjoth |
Dynamic State Machines with Multiway Synchronization, Channels and Shared Variables. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jean-Pierre Courtiat, Djamel-Eddine Saïdouni |
Action Refinement in LOTOS. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires |
What Makes Industries Believe in Formal Methods. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Tim Regan |
Multimedia in Temporal LOTOS: A Lip-Synchronization Algorithm. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Samir G. Kelekar, George W. Hart |
Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach. |
PSTV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Erik Kwast |
Automatic Test Generation for Protocol Data Aspects. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gilbert M. Lundy, R. C. McArthur |
Formal Model of a High Speed Transport Procotol. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin |
Coverage Preserving Reduction Strategies for Reachability Analysis. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jean Philippe Favreau, Dieter Hogrefe, Jan Kroon |
Formal Methods in Conformance Testing: Status and Expectations. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Harry Rudin |
Protocol Development Success Stories: Part 1. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Wang Yi 0001, Kim Guldstrand Larsen |
Testing Probabilistic and Nondeterministic Processes. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Claus Dendorfer, Rainer Weber |
From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Richard J. Linn Jr., M. Ümit Uyar (eds.) |
Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992 |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jan Tretmans, Louis Verhaard |
A Queue Model Relating Synchronous and Asynchronous Communication. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Stan P. van de Burgt, Jan Kroon, A. M. Peeters |
Testability of Formal Specifications. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Test Suite Generation from a FSM with a Given Type of Implementation Errors. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Udo Bär, Jürgen M. Schneider |
Automated Validation of TTCN Test Suites. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Roelof Jan Velthuys, Jürgen M. Schneider, Georg Zörntlein |
A Test Derivation Method Based on Exploiting Structure Information. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jan Ellsberger, Finn Kristoffersen |
Testability in the Context of SDL. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Raymond E. Miller, Sanjoy Paul |
Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kenneth L. Calvert |
Module Composition and Refinement with Applications to Protocol Conversion. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ufuk Celikkan, Rance Cleaveland |
Computing Diagnostic Test for Incorrect Processes. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
| 1 | Alexander G. Fraser 0001 |
Formal Methods Applied to Software Production. |
PSTV |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license