default search action

combined dblp search
author search
venue search
publication search

ask others

8th FORTE 1995: Montreal, Canada

> Home > Conferences and Workshops > FORTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/1995
Gregor von Bochmann, Rachida Dssouli, Omar Rafiq:
Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. IFIP Conference Proceedings 43, Chapman & Hall 1996, ISBN 0-412-73270-X

Invited Papers

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Sifakis95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Sifakis95
Joseph Sifakis:
Specification and Verification of Timed Systems. FORTE 1995: 3-4
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Gouda95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Gouda95
Mohamed G. Gouda:
Stabilizing Client/Server Protocols without the Tears. FORTE 1995: 5-19

Part One: Design Methodologies

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Lano95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Lano95
Kevin Lano:
Distributed System Specification in VDM⁺⁺. FORTE 1995: 23-38
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/JonckersVWCH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/JonckersVWCH95
Viviane Jonckers, Kurt Verschaeve, Bart Wydaeghe, Ludo Cuypers, J. Heirbaut:
OMT^*, Bridging the Gap between Analysis and Design. FORTE 1995: 39-55
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/AmyotBBL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AmyotBBL95
Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo:
Formal Support for Design Techniques: A Timethreads-LOTOS Approach. FORTE 1995: 57-72

Part Two: Verification I

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/SouzaS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SouzaS95
Monica Lara de Souza, Robert de Simone:
Using PO Methods for Verfying Behavioural Equivalences. FORTE 1995: 75-90
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/ChetaliL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ChetaliL95
Boutheina Chetali, Pierre Lescanne:
Formal Verfication of a Protocol for Communications over Faulty Channels. FORTE 1995: 91-108
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Kirkwood95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Kirkwood95
Carron Kirkwood:
Specifying Properties of Basic LOTOS Processes Using Temporal Logic. FORTE 1995: 109-116
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/CourtiatO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CourtiatO95
Jean-Pierre Courtiat, Roberto C. de Oliveira:
A Reachability Analysis of RT-LOTOS Specifications. FORTE 1995: 117-124

Part Three: Algebraic Languages

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/NajmSF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/NajmSF95
Elie Najm, Jean-Bernard Stefani, Arnaud Février:
Towards a Mobile LOTOS. FORTE 1995: 127-142
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Puntigam95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Puntigam95
Franz Puntigam:
Type Specifications with Processes. FORTE 1995: 143-158
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Lai95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Lai95
Luming Lai:
A Unified Model for CSP-like Languages with Specifications. FORTE 1995: 159-166

Part Four: System Specification and Z

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Zave95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Zave95
Pamela Zave:
Secrets of Call Forwarding: A Specification Case Study. FORTE 1995: 169-184
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Petersohn95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Petersohn95
Carsta Petersohn:
Formal Method for Event-Triggered Sequential Systems. FORTE 1995: 185-200
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Keller95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Keller95
Joaquín Keller:
An Extension of GDMO for Formalizing Managed Objects Behaviour. FORTE 1995: 201-217

Part Five: Industrial Experiences

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Robnik95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Robnik95
Aana Robnik:
Experiences of Using SDL Collected in IskraTEL SDL Methodology. FORTE 1995: 221-236
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/BehnkeGKSFM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BehnkeGKSFM95
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: 237-252
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/GullaG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GullaG95
Bjørn Gulla, Joe Gorman:
Supporting Evolution of SDL-based Systems: Industrial Experience. FORTE 1995: 253-268

Part Six: Applying Formal Methods

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/YasumotoHAMT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/YasumotoHAMT95
Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi:
A LOTOS Compiler Generating Multi-threaded Object Codes. FORTE 1995: 271-286
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/SomeDV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SomeDV95
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: 287-294
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/GregoireFP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GregoireFP95
Jean-Charles Grégoire, Michael J. Ferguson, Lou Pino:
Combining Formal Methods: An Exercise in Integration. FORTE 1995: 295-302
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/KerbratA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KerbratA95
Alain Kerbrat, Slim Ben Atallah:
Formal Specification of a Framework for Groupware Development. FORTE 1995: 303-310

Part Seven: Tools and Testing

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/GuerrouatKU95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GuerrouatKU95
Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich:
SELEXPERT - A Knowledge-based Tool for Test Case Selection. FORTE 1995: 313-328
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/FabbriMMDW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FabbriMMDW95
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: 329-337
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/LalletFV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LalletFV95
Eric Lallet, Stefan Fischer, Jean-François Verdier:
A New Approach for Distributing Estelle Specifications. FORTE 1995: 339-348

Part Eight: Real-time and Stochastic Systems

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/JuanoleG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/JuanoleG95
Guy Juanole, Laurent Gallon:
Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. FORTE 1995: 351-366
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/NunezF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/NunezF95
Manuel Núñez, David de Frutos-Escrig:
Testing Semantics for Probabilistic LOTOS. FORTE 1995: 367-382
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/DaviesBS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DaviesBS95
Jim Davies, Jeremy W. Bryans, Steve A. Schneider:
Real-time LOTOS and Timed Observations. FORTE 1995: 383-397

Part Nine: Verification II

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/OlahG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/OlahG95
András L. Oláh, Sonia M. Heemstra de Groot:
Assertional Verification of a Connection Management Protocol. FORTE 1995: 401-416
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/GagnonGZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GagnonGZ95
François Gagnon, Jean-Charles Grégoire, D. Zampuniéris:
Sharing Trees for "on-the-fly" Verification. FORTE 1995: 417-432
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/HigashinoNIT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HigashinoNIT95
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: 433-440
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/HendazB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HendazB95
M. Hendaz, Stanislaw Budkowski:
A New Approach for Protocols Performance Evaluation Using Estelle Specifications. FORTE 1995: 441-448

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.