Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Giovanny F. Lucero, Juan Quemada |
Specifying the ODP Trader: An Introduction to E-LOTOS. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Girish Bhat, Rance Cleaveland, Gerald Lüttgen |
Dynamic Priorities for Modeling Real-Time. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Henry Chang |
Distributed Object Consistency in Mobile Environments. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Christian Hernalsteen |
A Timed Automaton Model for ET-LOTOS Verification. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Yong Sun, Shaoying Liu, Mitsuru Ohba |
Self-independent Petri Nets for Distributed Systems. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | André Engels, Sjouke Mauw, Michel A. Reniers |
A Hierarchy of Communication Models for Message Sequence Charts. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Deukyoon Kang, Sungwon Kang, Myungchul Kim 0001, Sangjo Yoo |
A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Clemens Fischer, Graeme Smith 0001 |
Combining CSP and Object-Z: Finite or Infinite Trace Semantics? |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Ichiroh Sakakibara |
Network and Application for New Generation. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | James H. Andrews, Nancy A. Day, Jeffrey J. Joyce |
Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Roland Groz, Nathalie Risser |
Eight Years of Experience in Test Generation from FDTs using TVEDA. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi |
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
1 | John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen |
Comparing LOTOS and Z Refinement Relations. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham |
Model Reduction of Modules for State-Even Temporal Logics. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Manfred Broy |
Formal Description Techniques - How Formal and Descriptive are they? |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Jean-Michel Couvreur, Denis Poitrenaud |
Model Checking Based on Occurrence Net Graph. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Hubert Garavel, Mihaela Sighireanu |
On the Introduction of Exceptions in E-LOTOS. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma |
Using Formal Methods: if you're so smart how come you ain't rich? |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández-Iglesias |
Direct Verification of Bisimulations. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | David Larrabeiti, Juan Quemada, Santiago Pavón |
From LOTOS to Petri Nets through Iexpansion. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki 0005 |
EPER: Efficient Parallel Encoding Rules for ASN.1. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch |
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Rachida Dssouli, Omar Rafiq (eds.) |
Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | M. A. S. Smith |
Formal Verification of Communication Protocols. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | L. Braga, Roberto Manione, P. Renditore |
A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Philipp Hoschka |
Automating Performance Optimisation by Heuristic Analysis of a Formal Specification. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann |
The QUEST-Approach for the Performance Evaluation of SDL-Systems. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Lothar F. Mackert |
Network Computing. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Reinhard Gotzhein, Jan Bredereke (eds.) |
Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996 |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger |
Performance Modelling with the Formal Specification Language SDL. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Roland Groz, Olivier Charles, Josiane Renévot |
Relating Conformance Test Coverage to Formal Specifications. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Wolfgang Kellerer, Andreas Iselt, R. Riek |
Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | André A. S. Danthine |
The Video Dial Tone Service and the ATM Environment. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Ulrich Stern, David L. Dill |
A New Scheme for Memory-Efficient Probabilistic Verification. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Eurico Inocêncio, Manuel Ricardo 0001, Hitoshi Sato, Toshimitsu Kashima |
Combined Application of SDL-92, OMT, MSC and TTCN. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Stephan Kleuker |
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma, Arend Rensink, Walter Vogler |
Applications of Fair Testing. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov |
Tool Support for Algebraic Specifications of Dat in SDL-92. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Samuel Huang, David Lee, Mark G. Staskauskas |
Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001, Gregor von Bochmann |
Fault Models for Testing in Context. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Stefan Fischer 0001 |
Implementation of Multimedia Systems based on Real-Time Extensions of Estelle. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke |
Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian |
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Yves-Marie Quemener, Thierry Jéron |
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
A Timed Semantics for SDL. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
1 | Elie Najm, Jean-Bernard Stefani, Arnaud Février |
Towards a Mobile LOTOS. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher |
A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Viviane Jonckers, Kurt Verschaeve, Bart Wydaeghe, Ludo Cuypers, J. Heirbaut |
OMT*, Bridging the Gap between Analysis and Design. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Aana Robnik |
Experiences of Using SDL Collected in IskraTEL SDL Methodology. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock |
Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Carron Kirkwood |
Specifying Properties of Basic LOTOS Processes Using Temporal Logic. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo |
Formal Support for Design Techniques: A Timethreads-LOTOS Approach. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Kevin Lano |
Distributed System Specification in VDM++. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Jim Davies, Jeremy W. Bryans, Steve A. Schneider |
Real-time LOTOS and Timed Observations. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Bjørn Gulla, Joe Gorman |
Supporting Evolution of SDL-based Systems: Industrial Experience. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Pamela Zave |
Secrets of Call Forwarding: A Specification Case Study. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Boutheina Chetali, Pierre Lescanne |
Formal Verfication of a Protocol for Communications over Faulty Channels. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Carsta Petersohn |
Formal Method for Event-Triggered Sequential Systems. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | M. Hendaz, Stanislaw Budkowski |
A New Approach for Protocols Performance Evaluation Using Estelle Specifications. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi |
A LOTOS Compiler Generating Multi-threaded Object Codes. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Monica Lara de Souza, Robert de Simone |
Using PO Methods for Verfying Behavioural Equivalences. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Courtiat, Roberto C. de Oliveira |
A Reachability Analysis of RT-LOTOS Specifications. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Eric Lallet, Stefan Fischer, Jean-François Verdier |
A New Approach for Distributing Estelle Specifications. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Joseph Sifakis |
Specification and Verification of Timed Systems. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich |
SELEXPERT - A Knowledge-based Tool for Test Case Selection. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Franz Puntigam |
Type Specifications with Processes. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda |
Stabilizing Client/Server Protocols without the Tears. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | François Gagnon, Jean-Charles Grégoire, D. Zampuniéris |
Sharing Trees for "on-the-fly" Verification. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Joaquín Keller |
An Extension of GDMO for Formalizing Managed Objects Behaviour. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro, W. Eric Wong |
Mutation Testing Applied to Validate Specifications Based on Petri Nets. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Manuel Núñez 0001, David de Frutos-Escrig |
Testing Semantics for Probabilistic LOTOS. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Alain Kerbrat, Slim Ben Atallah |
Formal Specification of a Framework for Groupware Development. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Guy Juanole, Laurent Gallon |
Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Jean-Charles Grégoire, Michael J. Ferguson, Lou Pino |
Combining Formal Methods: An Exercise in Integration. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Luming Lai |
A Unified Model for CSP-like Languages with Specifications. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi |
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | András L. Oláh, Sonia M. Heemstra de Groot |
Assertional Verification of a Connection Management Protocol. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | Dieter Hogrefe, Stefan Leue (eds.) |
Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 |
FORTE |
1995 |
DBLP BibTeX RDF |
|
1 | H. Kremer |
Derivation of efficient implementations from formal descriptions - issues, methods and conformance. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Courtiat, Djamel-Eddine Saïdouni |
Relating maximality-based semantics to action refinement in process algebras. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Oliverio González, Victor G. García, Miguel Riesco, Enrique Vázquez |
Design of operating systems using the F.D.T. ESTELLE. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Stefan Böhmer, Ralf Klafka |
A new approach to performance evaluation of formally specified protocols. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Leslie Lamport |
How good is your specification method? |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Hacène Fouchal, Ana R. Cavalli |
A modal based verification for LOTOS. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Thierry Cattel |
Modelization and verification of a multiprocessor realtime OS kernel. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Alain Kerbrat |
Reachable state space analysis of LOTOS specifications. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Richard L. Tenney, Paul D. Amer, M. Ümit Uyar (eds.) |
Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993 |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | S. Le Bricquir, A. Lauzanne |
Validation of supplementary services in the context of interoperability. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch |
Verifying timing properties of concurrent algorithms. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Andreas Vogel |
Towards a formal computational model for distributed multimedia applications. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | B. Botma, Rom Langerak |
Simulator for LOTOS to study the independence and causality of events. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | R. Sekar 0001, Yow-Jian Lin, C. R. Ramakrishnan 0001 |
Modelling techniques for evolving distributed applications. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori |
A synthesis algorithm of a protocol model from a single entity. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Juan C. Yelmo, F. Javier Carrasco, Carlos Sánchez 0002, Juan J. Gil, C. Ramos, M. I. Felipe |
FDT based development of an interworking unit between LANs and X.25 networks. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | J. R. Rowson |
Formal specification and analysis of an ISO communications protocol. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Conrado Daws, Alfredo Olivero, Sergio Yovine |
Verifying ET-LOTOS programmes with KRONOS. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Eckhardt Holz, Ketil Stølen |
An attempt to embed a restricted version of SDL as a target language in Focus. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Pim Kars |
Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
1 | Nancy A. Lynch |
Proving performance propterties (even probabilistic ones). |
FORTE |
1994 |
DBLP BibTeX RDF |
|