International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
ISoLA
C
CORE rank
CORE rank (raw)
C
Fields of research
Software Engineering
Papers indexed
1,121
2004–2024
Papers per year
2004135 peak2024
Most published authors
ISoLA papers
1,121 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2010 | Contract-Based Slicing. | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
| 2010 | A Web-Based Framework for Collaborative Innovation. | Donald D. Cowan, Paulo S. C. Alencar, Fred McGarry, Carlos Jos Pereira de Lucena, Ingrid Nunes |
| 2010 | Ten Years of Performance Evaluation for Concurrent Systems Using CADP. | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frdric Lang, Radu Mateescu, Wendelin Serwe |
| 2010 | Flow Control with (Min, +) Algebra. | Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin |
| 2010 | Overview of Roadmapping by EternalS. | Jim Clarke, Keith Howker |
| 2010 | Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu |
| 2010 | Analysing Message Sequence Graph Specifications. | Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar |
| 2010 | Modeling and Reasoning about Service Behaviors and Their Compositions. | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2010 | Model-Checking Temporal Properties of Real-Time HTL Programs. | Andr Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simo Melo de Sousa |
| 2010 | A Case Study in Model-Based Adaptation of Web Services. | Javier Cmara, Jos Antonio Martn, Gwen Salan, Carlos Canal, Ernesto Pimentel |
| 2010 | Combining Subgroup Discovery and Permutation Testing to Reduce Reduncancy. | Jeroen S. de Bruin, Joost N. Kok |
| 2010 | The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus. | Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry |
| 2010 | NC-Maude: A Rewriting Tool to Play with Network Calculus. | Marc Boyer |
| 2010 | Navigating the Web of Things: Visualizing and Interacting with Web-Enabled Objects. | Mathieu Boussard, Pierrick Thbault |
| 2010 | Special Track on Worst Case Traversal Time (WCTT). | Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean-Luc Scharbarg, Giovanni Stea, Eric Thierry |
| 2010 | Inferring Compact Models of Communication Protocol Entities. | Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard |
| 2010 | DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems. | Luca Bisti, Luciano Lenzini, Enzo Mingozzi, Giovanni Stea |
| 2010 | Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models - A Real-World Example. | Klaus Birken, Daniel Hnig, Thomas Rustemeyer, Ralph Wittmann |
| 2010 | Telco Service Delivery Platforms in the Last Decade - A R&D Perspective. | Sandford Bessler |
| 2010 | On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. | Antonia Bertolino, Paola Inverardi, Valrie Issarny, Antonino Sabetta, Romina Spalazzese |
| 2010 | Towards an Architecture for Runtime Interoperability. | Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valrie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville |
| 2010 | Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. | Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink |
| 2010 | Understanding IT Organizations. | Claudio Bartolini, Karin K. Breitman, Simone Diniz Junqueira Barbosa, Mathias Sall, Rita Berardi, Glaucia Melissa Campos, Erik Eidt |
| 2010 | Source-Level Support for Timing Analysis. | Gerg Barany, Adrian Prantl |
| 2010 | Design and Verification of Systems with Exogenous Coordination Using Vereofy. | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz, Wolfgang Leister |
876–900 of 1,121← 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