|
Conferences in DBLP
- Daniel Krob
Modelling of Complex Software Systems: A Reasoned Overview. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:1-22 [Conf]
- Leslie Lamport
The +CAL Algorithm Language. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:23- [Conf]
- Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
Semantic-Based Development of Service-Oriented Systems. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:24-45 [Conf]
- Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
JSCL: A Middleware for Service Coordination. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:46-60 [Conf]
- Raman Kazhamiakin, Marco Pistore
Analysis of Realizability Conditions for Web Service Choreographies. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:61-76 [Conf]
- I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra
Web Cube. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:77-92 [Conf]
- Zohair Chentouf, Ahmed Khoumsi
Presence Interaction Management in SIP SOHO Architecture. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:93-98 [Conf]
- Avik Chaudhuri, Martín Abadi
Formal Analysis of Dynamic, Distributed File-System Access Controls. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:99-114 [Conf]
- Tom Chothia
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:115-130 [Conf]
- Luciano Baresi, Carlo Ghezzi, Luca Mottola
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:131-135 [Conf]
- Nelson S. Rosa, Paulo Roberto Freire Cunha
A LOTOS Framework for Middleware Specification. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:136-142 [Conf]
- Bernd Finkbeiner, Sven Schewe, Matthias Brill
Automatic Synthesis of Assumptions for Compositional Model Checking. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:143-158 [Conf]
- Frédéric Lang
Refined Interfaces for Compositional Verification. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:159-174 [Conf]
- Julien Bernet, David Janin
On Distributed Program Specification and Synthesis in Architectures with Cycles. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:175-190 [Conf]
- Bassel Daou, Gregor von Bochmann
Generalizing the Submodule Construction Techniques for Extended State Machine Models. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:191-195 [Conf]
- Radu Mardare, Corrado Priami
Decidable Extensions of Hennessy-Milner Logic. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:196-211 [Conf]
- Christel Baier, Nathalie Bertrand, Ph. Schnoebelen
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:212-227 [Conf]
- Pierre Rousseau
A New Approach for Concurrent Program Slicing. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:228-242 [Conf]
- Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:243-258 [Conf]
- Youcef Hammal
Branching Time Semantics for UML 2.0 Sequence Diagrams. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:259-274 [Conf]
- Humberto Nicolás Castejón Martínez, Rolv Bræk
Formalizing Collaboration Goal Sequences for Service Choreography. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:275-291 [Conf]
- Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
Composition of Use Cases Using Synchronization and Model Checking. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:292-306 [Conf]
- Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves
PN Standardisation: A Survey. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:307-322 [Conf]
- Juan-Pablo López-Grao, José Manuel Colom
Resource Allocation Systems: Some Complexity Results on the S4PR Class. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:323-338 [Conf]
- Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet
Optimized Colored Nets Unfolding. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:339-355 [Conf]
- Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck
Liveness by Invisible Invariants. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:356-371 [Conf]
- Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:372-387 [Conf]
- Xuandong Li, Bu Lei, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng
Scenario-Based Timing Consistency Checking for Time Petri Nets. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:388-403 [Conf]
- Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:404-419 [Conf]
- Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu
Grey-Box Checking. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:420-435 [Conf]
- Keqin Li 0002, Roland Groz, Muzammil Shahbaz
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:436-450 [Conf]
- Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Minimizing Coordination Channels in Distributed Testing. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:451-466 [Conf]
- Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:467-483 [Conf]
|