Search results for "FORTE"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "FORTE"( http://dblp.L3S.de/Venues/FORTE )