|
955
|
Petri nets: Properties, analysis and applications
– Murata
- 1989
|
|
482
|
A Formal Basis for Architectural Connection
– Allen, Garlan
- 1997
|
|
350
|
A Classification and Comparison Framework for Software Architecture Description Languages
– Medvidovic, Taylor
- 2000
|
|
271
|
Specification and analysis of system architecture using rapide
– Luckham, Kenney, et al.
- 1995
|
|
153
|
On communicating finite-state machines
– Brand, Zafiropulo
- 1983
|
|
144
|
Symbolic bisimulations
– Hennessy, Lin
- 1995
|
|
109
|
Archjava: connecting software architecture to implementation
– Aldrich, Chambers, et al.
- 2002
|
|
102
|
Finite Transition Systems
– Arnold
- 1994
|
|
63
|
Specifying and analyzing dynamic software architectures
– Allen, Douence, et al.
- 1998
|
|
49
|
Unreliable channels are easier to verify than perfect channels
– Cécé, Finkel, et al.
- 1995
|
|
31
|
Statecharts: A visual formulation for complex systems
– Harel
- 1987
|
|
22
|
Testing for unboundedness of fifo channels
– J'eron
- 1993
|
|
21
|
The AltaRica formalism for describing concurrent systems
– Arnold, Griffault, et al.
- 2000
|
|
21
|
From Distributed Objects to Hierarchical Grid Components
– Baude, Caromel, et al.
- 2003
|
|
19
|
A Modal Logic for Full LOTOS Based on Symbolic Transition Systems
– Calder, Maharaj, et al.
- 2001
|
|
19
|
A Global Semantics for Views
– Choppy, Poizat, et al.
- 2000
|
|
12
|
de Pol. Checking verifications of protocols and distributed systems by computer
– Groote, Monin, et al.
- 1998
|
|
10
|
Graphviz — open source graph drawing tools
– Ellson, Gansner, et al.
- 2002
|
|
10
|
A scalable incomplete test for the boundedness of uml rt models
– Leue, Mayr, et al.
- 2004
|
|
9
|
Integration of Formal Datatypes within State Diagrams
– Attiogbé, Poizat, et al.
- 2003
|
|
8
|
Distributed component system based on architecture description: The SOFA experience
– Kalibera, Tuma
- 2002
|
|
8
|
Formal Methods for Component Description, Coordination and Adaptation
– Poizat, Royer, et al.
- 2004
|
|
7
|
A Logic with Temporal Glue for Mixed Specifications
– Aiguier, Barbier, et al.
- 2005
|
|
7
|
Formal Specification of Mixed Components with Korrigan
– Choppy, Poizat, et al.
- 2001
|
|
7
|
A Symbolic Approach to Value-passing Processes, chapter Handbook of Process Algebra
– Ingolfsdottir, Lin
- 2001
|
|
7
|
The GAT Approach to Specify Mixed Systems
– Royer
- 2003
|
|
6
|
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
– Choppy, Poizat, et al.
- 2001
|
|
5
|
A PVS Experiment with Asynchronous Communicating Components
– Noyé, Pavel, et al.
- 2004
|
|
4
|
Integration of Formal Datatypes within State Diagrams
– Attiogbé, Poizat, et al.
- 2003
|
|
4
|
A Framework for the GAT Temporal Logic
– ROYER
- 2004
|
|
4
|
Analysing Mailboxes of Asynchronous Communicating Components
– Royer, Xu
- 2003
|
|
3
|
F2: Component technologies: Java beans, COM, CORBA, RMI, EJB and the CORBA component model
– Emmerich, Kaveh
- 2001
|
|
3
|
The bakery protocol: A comparative case-study in formal verification
– Griffioen, Korver
- 1995
|
|
1
|
Verification of systems with an infinite state space
– Esparza
- 2001
|
|
1
|
François Monin, and Jan van de Pol. Checking Verifications of protocols and Distributed Systems by Computer
– Groote
|
|
1
|
SLIP Protocol Specification. Web document
– Romkey
|
