default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. FASE 2009: York, UK (Part of ETAPS 2009)
- Marsha Chechik, Martin Wirsing:
Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5503, Springer 2009, ISBN 978-3-642-00592-3 - Allan Clark, Stephen Gilmore, Mirco Tribastone
:
Scalable Analysis of Scalable Systems. 1-17
Model-Driven Development
- Artur Boronat, Reiko Heckel, José Meseguer:
Rewriting Logic Semantics and Verification of Model Transformations. 18-33 - Jon Oldevik, Øystein Haugen, Birger Møller-Pedersen:
Confluence in Domain-Independent Product Line Transformations. 34-48 - Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse:
Object Flow Definition for Refined Activity Diagrams. 49-63 - Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. 64-78
Synthesis and Adaptation
- Hillel Kugler, Cory Plock, Amir Pnueli:
Controller Synthesis from LSC Requirements. 79-93 - Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface Generation and Compositional Verification in JavaPathfinder. 94-108 - Guido Wachsmuth:
A Formal Way from Text to Code Templates. 109-123 - Marco Autili, Paolo Di Benedetto, Paola Inverardi:
Context-Aware Adaptive Services: The PLASTIC Approach. 124-139
Modeling
- Erwan Jahier, Nicolas Halbwachs, Pascal Raymond:
Synchronous Modeling and Validation of Priority Inheritance Schedulers. 140-154 - Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng:
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. 155-170
Testing and Debugging
- Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov:
Reducing the Costs of Bounded-Exhaustive Testing. 171-185 - Kathryn E. Gray, Alan Mycroft:
Logical Testing. 186-200 - Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov:
Cross-Entropy-Based Replay of Concurrent Programs. 201-215
Model Analysis
- Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt:
Control Dependence for Extended Finite State Machines. 216-230 - K. Rustan M. Leino, Ronald Middelkoop:
Proving Consistency of Pure Methods and Model Fields. 231-245 - Piotr Kosiuczenko:
On the Implementation of @pre. 246-261 - Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura:
Formal Specification and Analysis of Timing Properties in Software Systems. 262-277
Patterns
- Paolo Bottoni, Esther Guerra, Juan de Lara:
Formal Foundation for Pattern-Based Modelling. 278-293 - Alexander Fülleborn, Klaus Meffert, Maritta Heisel:
Problem-Oriented Documentation of Design Patterns. 294-308
Security
- Iman Narasamdya, Michaël Périn:
Certification of Smart-Card Applications in Common Criteria. 309-324 - Frank Hermann, Hartmut Ehrig, Claudia Ermel:
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. 325-339 - Marieke Huisman, Alejandro Tamalet:
A Formal Connection between Security Automata and JML Annotations. 340-354
Queries and Error Handling
- William N. Sumner, Xiangyu Zhang:
Algorithms for Automatically Computing the Causal Paths of Failures. 355-369 - Mithun Acharya, Tao Xie:
Mining API Error-Handling Specifications from Source Code. 370-384 - Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen:
SNIFF: A Search Engine for Java Using Free-Form Queries. 385-400 - Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman:
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. 401-416
Tools (Demos) and Program Analysis
- Achim D. Brucker, Burkhart Wolff:
hol-TestGen. 417-420 - Radu Calinescu, Marta Z. Kwiatkowska:
CADS*: Computer-Aided Development of Self-* Systems. 421-424 - Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller:
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. 425-439 - Hoan Anh Nguyen, Tung Thanh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen:
Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection. 440-455 - Ondrej Sery:
Enhanced Property Specification and Verification in BLAST. 456-469 - Laura Kovács, Andrei Voronkov:
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. 470-485
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 00:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
