| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.  |
FORTE  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Marc Phalippou |
Test sequence generation using Estelle or SDL structure information. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Matt Wallis |
On the formal specification and verification of network routing algorithms. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Tomasz Janowski |
Stepwise transformations for fault-tolerant design of CCS processes. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bairong Zhang, Alistair Munro, Michael Barton |
The formalization and analysis of CCR protocol and service. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno |
Application of protocol sythesis technique to resolution of the service interaction problem. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Zixue Cheng, Tongjun Huang, Norio Shiratori |
A new distributed algorithm for implementation of LOTOS. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wang Yi 0001, Paul Pettersson, Mats Daniels |
Automatic verification of real-time communicating systems by constraint-solving. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Franco Fiore, Fosca Giannotti |
An abstract interpreter for the specification language LOTOS. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter B. Ladkin, Stefan Leue |
Four issues concerning the semantics of Message Flow Graphs. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gerard J. Holzmann |
Proving the value of formal methods. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kenneth J. Turner, Ashley McClenaghan |
Visual animation of LOTOS using SOLVE. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Claudia Popien, Bernd Meyer 0003 |
A service request description language. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo 0001, Lorenzo Donatiello, Roberto Gorrieri |
Integrated analysis of concurrent distributed systems using Markovian process algebra. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, R. Sacchelli |
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jean-Charles Grégoire |
Verification model reduction through abstractions. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Sjouke Mauw |
Delayed choice: an operator for joining Message Sequence Charts. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Deh-Min Wu |
Semantic-oriented description techniques for network management information modelling. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach |
Stochastic process algebras: integrating qualitative and quantitative modelling. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben |
Using formal specification and simulation: practical experience with distributed applications. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gerard J. Holzmann, Doron A. Peled |
An improvement in formal verification. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jan Bredereke, Reinhard Gotzhein |
Specification, detection and resolution of IN feature interactions with Estelle. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Juan Quemada, David Larrabeiti, Santiago Pavón |
Compressing the State Space Representation of LOTOS Specifications. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Anthony C. C. Lo, Richard Lai 0001 |
Integrating Estelle and ASN.1 for Automatic Implementation. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ole Christian Dahl, Elie Najm |
Specification & Detection of IN Service Interference Using LOTOS. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ferhat Khendek, Gregor von Bochmann |
Incremental Construction Approach for Distributed System Specifications. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jan Bredereke, Reinhard Gotzhein |
Increasing the Concurrency in Estelle. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Peter B. Ladkin, Stefan Leue |
What Do Message Sequence Charts Mean? |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Michel Diaz, Roland Groz (eds.) |
Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992 |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jari Arkko |
On the Existence and Production of State Identification Machines for Labelled Transition Systems. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Graeme I. P. Parkin, Stephen Austin |
Overview: Survey of Formal Methods in Industry. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd |
Time Versus Abstraction in Formal Description. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Heping He, Hussein Zedan |
Requirement Specification For Real-Time and Hybrid Systems. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Rom Langerak, Diego Latella |
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Son T. Vuong, Sangho Lee 0003 |
TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Stefan Fischer 0001, Bernd Hofmann 0002 |
An Estelle Compiler for Multiprocessor Platforms. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | S. Purushothaman Iyer |
Experiments in Data flow analysis of Communicating Finite State Machines. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen |
Correctness of At-Most-Once Message Delivery Protocols. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Colin H. West |
The Challenges Facing Formal Description Techniques. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Bolognesi, Giuseppe Ciaccio |
Cumulating constraints on the "WHEN" and the "WHAT". |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Civalero, Bengt Jonsson 0001, Joakim Nilsson |
Validating Simulations Between Large Nondeterministic Specifications. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Kenneth J. Turner, Richard O. Sinnott |
DILL: Specifying Digital Logic in LOTOS. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ana R. Cavalli, Sung Un Kim, Patrick Maigron |
Improving Conformance Testing for LOTOS. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, Kemal Inan |
A recursive process algebra for queues. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Maria Manuela Marques, Dag Belsnes, Malachy Murphy |
Formalisation Based on Understanding. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | A. Divin, Claude Petitpierre |
An Object Oriented Method for Implementing Layered Protocols. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Younes Souissi |
Towards a Modular Specification and Verification of Protocols within a Layered Architecture. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Luc Léonard, Guy Leduc |
An Enhanced Version of Timed LOTOS and its Application to a Case Study. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Katsuyuki Sarashina, Tsuyoshi Ando, Kaoru Takahashi, Masataka Ohta, Yoshiaki Tokita |
An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Sanjai Narain, Orville Cockings, Ritu Chadha |
A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez 0002, F. Javier Carrasco |
An Industrial Experience on Development with LOTOS and SDL. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Hasan Ural, Alan W. Williams |
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ken R. Parker, Gordon A. Rose (eds.) |
Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ketil Stølen |
Shared-state design modulo weak and strong process fairness. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Rosvelter João Coelho da Costa, Jean-Pierre Courtiat |
A true concurrency semantics for LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes |
Goal oriented execution for LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Clara DaSilva, Babak Dehbonei, Fernando Mejia |
Formal specification in the development of industrial applications: Subway speed control system. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Anders Børjesson, Kim Guldstrand Larsen, Arne Skou |
Generality in design and compositional verification using TAV. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Lynn S. Marshall, Linda Simon |
Using VDM to specify managed object relationships. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Francisco Javier Carrasco, J. J. Gil |
A method for specifying and validating communication protocols in LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Patrik Ernberg, Thomas Hovander, Francisco Monfort |
Specification and implementation of an ISDN telephone system using LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Bolognesi |
The electric power of LOTOS - Results of a joint academic/industrial experiment. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt |
Design of a formal Estelle semantics for verification. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Marcos Lins de Vasconcelos, John Alexander McDermid |
Incremental processing of Z specifications. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Esfandiar Haghverdi, Kemal Inan |
Verification by consecutive projections. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gul Agha |
Formal methods for Actor systems: A progress report. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | David Cohen, Norman Dorn |
An Experiment in Analyzing Switch Recovery Procedures. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Rom Langerak |
Bundle event structures: a non-interleaving semantics for LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Colin J. Fidge |
A constraint-oriented real-time process calculus. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Nirschl, Jacqueline Blanchard, Bernard Loyer |
LOTOS in Alcatel. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Günter Karjoth |
Generating transition graphs from LOTOS specifications. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Marc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel |
Analyzing a space-protocol: from specification, simulation to experimentation. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo |
Protocol design using LOTOS: A critical synthesis of a standardization experience. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Noriyasu Arakawa, Marc Phalippou, Nathalie Risser, Terunao Soneoka |
Combination of conformance and interoperability testing. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Finn Kristoffersen, Louis Verhaard, Michael Zeeberg |
Test derivation for SDL based on ACTs. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Guy Leduc, Luc Léonard |
A timed LOTOS supporting a dense time domain and including new timed operators. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Henk Eertink, Dietmar Wolz |
Symbolic execution of LOTOS specifications. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Muffy Thomas |
A translator for ASN.1 into LOTOS. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Laurent Doldi, P. Gauthier |
VEDA 2: Power to the protocol designers. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Carlos Miguel, Angel Fernández, Leon Vidaller |
Extending LOTOS towards performance evaluation. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Shipei Zhang, Scott A. Smolka |
Towards efficient parallelization of equivalence checking algorithms. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Piotr Dembinski |
Queueing network model for Estelle. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Leo Cacciari, Omar Rafiq |
On improving reduced reachability analysis. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Juan I. Sanz |
Using FDTs in the development of a PICS editor. |
FORTE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gert J. Veltink |
XP, an Experiment in Modular Specification. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker |
Tool Demonstration: FORSEE. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Lars-Åke Fredlund, Fredrik Orava |
Modelling Dynamic Communication Structures in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Simon S. Lam, A. Udaya Shankar |
Understanding Interfaces. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Thierry Massart |
A Calculus to Define Correct Tranformations of LOTOS Specifications. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | D. Fernández, Enrique Vázquez, Juan Vinyes |
Io: An Estelle Simulator for Performance Evaluation. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu |
Design and Implementation of an Application Interface for LOTOS Processors. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ing Widya, Franck Sadoun, Gert-Jan van der Heijden |
Specification of a Distributed Coordination Function in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | José A. Mañas, Joaquín Salvachúa, Tomás de Miguel |
Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Rom Langerak |
Event Structures for Design and Transformation in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ed Brinksma |
What is the Method in Formal Methods? |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson 0001 |
Specification and Validation of a Simple Overtaking Protokol using LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ashley McClenaghan |
Mapping Time-Extended LOTOS to Standard LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Bolognesi, Ferdinando Lucidi |
LOTOS-like Process Algebras with Urgent or Timed Interactions. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Elie Najm, Jean-Bernard Stefani |
Dynamic Configuration in LOTOS. |
FORTE |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license