IFIP Joint International Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification
FORTE
C
CORE rank
CORE rank (raw)
C
Fields of research
Software Engineering
Papers indexed
989
1988–2026
Papers per year
198857 peak2026
Most published authors
FORTE papers
989 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2012 | Secure Multi-Execution through Static Program Transformation. | Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas |
| 2012 | Behavioural Equivalences over Migrating Processes with Timers. | Bogdan Aman, Gabriel Ciobanu, Maciej Koutny |
| 2012 | Analysis of May-Happen-in-Parallel in Concurrent Objects. | Elvira Albert, Antonio Flores-Montoya, Samir Genaim |
| 2011 | Analyzing BGP Instances in Maude. | Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov |
| 2011 | Annotation Inference for Separation Logic Based Verifiers. | Frdric Vogels, Bart Jacobs, Frank Piessens, Jan Smans |
| 2011 | Contracts for Multi-instance UML Activities. | Vidar Sltten, Peter Herrmann |
| 2011 | Ownership Types for the Join Calculus. | Marco Patrignani, Dave Clarke, Davide Sangiorgi |
| 2011 | SimGrid MC: Verification Support for a Multi-API Simulation Platform. | Stephan Merz, Martin Quinson, Cristian Daniel Rosa |
| 2011 | Dynamic Soundness in Resource-Constrained Workflow Nets. | Mara Martos-Salgado, Fernando Rosa-Velardo |
| 2011 | Towards Verification of the Pastry Protocol Using TLA | Tianxiang Lu, Stephan Merz, Christoph Weidenbach |
| 2011 | On Asynchronous Session Semantics. | Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda |
| 2011 | A Process Calculus for Dynamic Networks. | Dimitrios Kouzapas, Anna Philippou |
| 2011 | Global State Estimates for Distributed Systems. | Gabriel Kalyon, Tristan Le Gall, Herv Marchand, Thierry Massart |
| 2011 | Monitoring Distributed Systems Using Knowledge. | Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2011 | Analysis of Deadlocks in Object Groups. | Elena Giachino, Cosimo Laneve |
| 2011 | An Accurate Type System for Information Flow in Presence of Arrays. | Sverine Fratani, Jean-Marc Talbot |
| 2011 | Galois Connections for Flow Algebras. | Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson |
| 2011 | Relational Concurrent Refinement: Timed Refinement. | John Derrick, Eerke A. Boiten |
| 2011 | A Framework for Verifying Data-Centric Protocols. | Yuxin Deng, Stphane Grumbach, Jean-Franois Monin |
| 2011 | On Global Types and Multi-party Sessions. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
| 2011 | Adaptable Processes (Extended Abstract). | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2011 | Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. | Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika brahm |
| 2011 | Partial Order Methods for Statistical Model Checking and Simulation. | Jonathan Bogdoll, Luis Mara Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns |
| 2011 | A Model-Checking Tool for Families of Services. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2011 | Linear-Time and May-Testing in a Probabilistic Reactive Setting. | Lucia Acciai, Michele Boreale, Rocco De Nicola |
226–250 of 989← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems