Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael von der Beeck |
A Concise Compositionalj Statecharts Semantics Definition. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Mark A. Smith, Nils Klarlund |
Verification of a Sliding Window Protocol Using IOA and MONA. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Doron A. Peled |
Specification and Verification of Message Sequence Charts. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, Diego Latella (eds.) |
Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Ulrich Ultes-Nitsche |
Satisfaction up to Liveness. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Alberto Verdejo, Narciso Martí-Oliet |
Implementing CCS in Maude. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Ruibing Hao, David Lee 0001, Rakesh K. Sinha, Dario Vlah |
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Process Algebraic Analysis of Cryptographic Protocols. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Ji He, Kenneth J. Turner |
Verifying and Testing Asynchronous Circuits using LOTOS. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Basant Rajan, R. K. Shyamasundar |
Modeling Distributed Embedded Systems in Multiclock ESTEREL. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | John M. Rushby |
From Refutation to Verification. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Holger Pfeifer |
Formal Verification of the TTP Group Membership Algorithm. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Justin Templemore-Finlayson, Eugen Borcoci |
Simulating Multicast Transport Protocols in Estelle. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Thomas Steinert, Georg Rößler |
Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Luca Durante, Riccardo Sisto, Adriano Valenzano |
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
Hardware implementation of Concurrent Periodic EFSM's. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Ahmed Helmy, Sandeep Gupta 0001, Deborah Estrin, Alberto Cerpa, Yan Yu |
Systematic Performance Evaluation of Multipoint Protocols. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
1 | Ana R. Cavalli, David Lee 0001, Christian Rinderknecht, Fatiha Zaïdi |
Hit-or-Jump: An algorithm for embedded testing with applications to IN services. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Jinsong Zhu, Son T. Vuong |
Coverage analysis for embedded testing and an application. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Jun Bi, Jianping Wu |
A Formal Approach to Conformance Testing of Distributed Routing Protocols. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Jian Zhang 0001, Shing-Chi Cheung, Samuel T. Chanson |
Stress Testing of Distributed Multimedia Software Systems. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Michael Schenke, Michael F. Dossis |
Provably Correct Hardware Compilation using Timing Diagrams. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Manuel Núñez 0001, David Rupérez |
Fair Testing through Probabilistic Testing. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong |
Model-Checking a Secure Gorup Communication Protocol: A Case Study. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Pao-Ann Hsiung, Farn Wang |
User-Friendly Verification. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Soonuk Seol, Myungchul Kim 0001, Sungwon Kang, Yongbum Park, Younghan Choe |
Interoperability Test Suite Derivation for the TCP. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Myungchul Kim 0001, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang |
An enhanced model for testing asynchronous communicating systems. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis |
Black Box Checking. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani |
Guaranteeing liveness in an object calculus through behavioural typing. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
Protocol Synthesis for Real-Time Applications. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Dirk Trossen, Christian Cseh, Roman Kogan |
Framework for Automatic SDL to C++ Translation. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho |
Remote testin can be as powerful as local testing. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Patrice Godefroid |
Exploiting Symmetry when Model-Checking Software. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann, Margaret H. Smith |
Software Model Checking. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | David de Frutos-Escrig, Natalia López, Manuel Núñez 0001 |
Global Timed Bisimulation: An Introduction. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Iulian Ober, Alain Kerbrat |
Specification and execution of tests using tMsc. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | S. J. Creese, A. W. Roscoe 0001 |
Verifying an infinite family of inductions simultaneously using data independence and FDR. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Hubert Garavel, Mihaela Sighireanu |
A Graphical Parallel Composition Operator for Process Algebras. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Alexandre Petrenko, Sergiy Boroday, Roland Groz |
Confirming configurations in EFSM. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Wen Li, Ye Xinming, Zhiyong Liu |
A Formal Description Technology: Graphics E-LOTOS. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Yifei Dong, C. R. Ramakrishnan 0001 |
An Optimizing Compiler for Efficient Model Checking. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Peter Langendörfer, Hartmut König |
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Jianping Wu, Samuel T. Chanson, Qiang Gao (eds.) |
Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Peter Csurgay |
Prototyping Framework for SDL with Evolving Semantics. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Birger Møller-Pedersen, Dagbjørn Nogva |
Scalable and Object Oriented SDL State(chart)s. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Ji He, Kenneth J. Turner |
Specification and Verification of Synchronous Hardware using LOTOS. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
1 | Ahmed Helmy, Deborah Estrin, Sandeep Gupta 0001 |
Fault-oriented Test Generation for Multicast Routing Protocol Design. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | François Laroussinie, Kim Guldstrand Larsen |
CMC: A Tool for Compositional Model-Checking of Real-Time Systems. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Tae-Hyong Kim, Ik-Soon Hwang, Chan-Min Park, Jai-Yong Lee, Sang-Bae Lee |
Automatic Test Case Generation of Real Protocols: Framework and Methodology. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Rolv Broek, Birger Møller-Pedersen |
Frameworks by means of virtual types - exemplified by SDL. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Solving Asynchronous Equations. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Stanislaw Budkowski, Ana R. Cavalli, Elie Najm (eds.) |
Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski |
A graphical representation and prototype editor for the Formal Description Technique Estelle. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Sérgio Vale Aguiar Campos |
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Dragan Bosnacki, Dennis Dams |
Integrating Real Time into Spin: A Prototype Implementation. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Mariusz A. Fecko, M. Ümit Uyar, Adarshpal S. Sethi, Paul D. Amer |
Issues in conformance testing: multiple semicontrollable interfaces. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | José Meseguer 0001 |
A Logical Framework for Distributed Systems and Communication Protocols. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Piotr Dembinski |
Enumeration Protocol in Estelle: an exercise in stepwise development. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Jürgen Eckerle, Thomas Lais |
Limits and possibilities of sequential hashing with supertrace. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi |
Hardware synthesis from protocol specifications in LOTOS. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Paul J. Kühn |
Quality of Service in Integrated Networks. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Gabriel Huecas, Tomás Robles 0001, L. M. Gonzalez, J. Serrano |
Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho |
Towards Automatic Distribution of Testers for Distributed Conformance Testing. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Judi Romijn, Jan Springintveld |
Exploiting Symmetry in Protocol Testing. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Joachim Thees, Reinhard Gotzhein |
Open Estelle - An FDT for Open Distributed Systems. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Maria Törö, Jinsong Zhu, Victor C. M. Leung |
SDL specification and verification of universal personal computing: with Object GEODE. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino (eds.) |
Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Toru Hasegawa, Akira Idoue, Toshihiko Kato, Kenji Suzuki 0003 |
Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Birgit Geppert, A. Kuehlmeyer, Frank Rößler, Michael Schneider 0009 |
SDL-Pattern based Development of a Communication Subsystem for CAN. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Huimin Lin |
"On-the-fly Instantiation" of Value-passing Processes. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Nikos S. Voros, S. K. Tsasakou, C. Valderrama, S. Arab, Alexios N. Birbas, Michael K. Birbas, Evaggelinos P. Mariatos, A. Andritsou |
Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Thomas F. La Porta, David Lee 0001, Yow-Jian Lin, Mihalis Yannakakis |
Protocol Feature Interactions. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | O. Catrina, A. Nogai |
On the Improvement of Estelle Based Automatic Implementations. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Marco Bernardo 0001, Rance Cleaveland, Steve Sims, W. Stewart |
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim |
An Algebraic Semantics for Message Sequence Chart Documents. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes |
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
1 | Lex Heerink, Jan Tretmans |
Refusal Testing for Classes of Transition Systems with Inputs and Outputs. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Ralf Henke, Andreas Mitschele-Thiel, Hartmut König |
On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Sungwon Kang, Myungchul Kim 0001 |
Interoperability Test Suite Derivation for Symmetric Communication Protocols. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci |
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten |
Disjunction of LOTOS Specifications. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Marek Musial |
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Seungjoon Park, Satyaki Das, David L. Dill |
Automatic Checking of Aggregation Abstractions Through State Enumeration. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Hanêne Ben-Abdallah, Stefan Leue |
Timing Constraints in Message Sequence Chart Specifications. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled |
An Improved Search Strategy for Lossy Channel Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Andreas Ulrich, Hartmut König |
Specification-based Testing of Concurrent Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs |
A Framework for Distributed Object-Oriented Testing. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Toshihiko Kato, Tomohiko Ogishi, Akira Idoue, Kenji Suzuki 0003 |
Intelligent Protocol Analyzer with TCP Behavior Emulation for Interoperability Testing of TCP/IP Protocols. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez 0001 |
Friendly Testing as a Conformance Relation. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | François Germeau, Guy Leduc |
A Computer Aided Design of a Secure Registration Protocol. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Guy Juanole, Laurent Gallon |
Concept of Quantified Abstract Quotient Automaton and its Advantage. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Manuel J. Fernández-Iglesias, Martín Llamas Nistal |
Algebraic Specification through Expression Transformation. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu |
A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Jinsong Zhu, Son T. Vuong |
Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Shoichi Noguchi |
The Future Information Technology and its Impact to the Society. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Joubine Dustzadeh, Elie Najm |
Consistent Semantics for ODP Information and Computational Models. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Gurdip Singh, Hong Liu |
Validating Protocol Composition for Progress by Parallel Step Reachability Analysis. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Gyula Csopaki, Kenneth J. Turner |
Modelling Digital Logic in SDL. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Toshihiko Ando, Kaoru Takahashi, Yasushi Kato |
On a Concurrency Calculus for Design of Mobile Telecommunication Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|