Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Guoxin Su, Taolue Chen, Yuan Feng 0001, David S. Rosenblum, P. S. Thiagarajan |
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Strüber 0001, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger |
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi |
CafeInMaude: A CafeOBJ Interpreter in Maude. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo |
Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Aspinall 0001, Cezary Kaliszyk |
Towards Formal Proof Metrics. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier |
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine |
Integrated Environment for Verifying and Running Distributed Components. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oszkár Semeráth, András Vörös 0001, Dániel Varró |
Iterative and Incremental Model Generation by Logic Solvers. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pauline Bolignano, Thomas Jensen, Vincent Siles |
Modeling and Abstraction of Memory Management in a Hypervisor. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee |
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens, Andrzej Wasowski (eds.) |
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ali Sajedi Badashian, Abram Hindle, Eleni Stroulia |
Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Carolina Dania, Manuel Clavel |
Model-Based Formal Reasoning about Data-Management Applications. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Saeed Darabi, Marieke Huisman |
Verification of Loop Parallelisations. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer 0001 |
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rick Salay, Marsha Chechik |
A Generalized Formal Framework for Partial Modeling. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mike Czech, Marie-Christine Jakobs, Heike Wehrheim |
Just Test What You Cannot Verify! |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Davide Arcelli, Vittorio Cortellessa, Catia Trubiani |
Performance-Based Software Model Refactoring in Fuzzy Contexts. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer 0001 |
Lazy TSO Reachability. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Canal, Gwen Salaün |
Model-Based Adaptation of Software Communicating via FIFO Buffers. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Radu Calinescu, Simos Gerasimou, Alec Banks |
Self-adaptive Software with Decentralised Control Loops. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emil Andriescu, Thierry Martinez, Valérie Issarny |
Composing Message Translators and Inferring Their Data Types Using Tree Automata. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Strüber 0001, Julia Rubin, Marsha Chechik, Gabriele Taentzer |
A Variability-Based Approach to Reusable and Efficient Model Transformations. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Seema Jehan, Ingo Pill, Franz Wotawa |
BPEL Integration Testing. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi |
The Prophecy of Undo. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christian Brenner 0001, Joel Greenyer, Wilhelm Schäfer |
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Egyed, Ina Schaefer (eds.) |
Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina |
Symbolic Detection of Assertion Dependencies for Bounded Model Checking. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer |
An Institution for Simple UML State Machines. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kenan Liu, Gustavo Pinto 0001, Yu David Liu |
Data-Oriented Characterization of Application-Level Energy Optimization. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis |
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kristopher Born, Thorsten Arendt, Florian Heß, Gabriele Taentzer |
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
Translation Validation for Clock Transformations in a Synchronous Compiler. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman |
Resource Specification for Prototyping Human-Intensive Systems. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abel Gómez 0001, Massimo Tisi, Gerson Sunyé, Jordi Cabot |
Map-Based Transparent Persistence for Very Large Models. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Macedo, Alcino Cunha, Tiago Guimarães |
Exploring Scenario Exploration. |
FASE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens |
Bidirectionally Tolerating Inconsistency: Partial Transformations. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein 0001, Steffen Märcker, Sascha Wunderlich |
Probabilistic Model Checking and Non-standard Multi-objective Reasoning. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitri Van Landuyt, Wouter Joosen |
Modularizing Early Architectural Assumptions in Scenario-Based Requirements. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marina Zaharieva-Stojanovski, Marieke Huisman |
Verifying Class Invariants in Concurrent Programs. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Marie-Claude Gaudel |
Data Flow Coverage for Circus-Based Testing. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina |
Causal-Consistent Reversible Debugging. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luc Moreau 0001, Trung Dong Huynh, Danius T. Michaelides |
An Online Validator for Provenance: Algorithmic Design, Testing, and API. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Masci 0001, Yi Zhang 0051, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
Formal Verification of Medical Device User Interfaces Using PVS. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001 |
Transformation of Attributed Structures with Cloning. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey |
Dynamic Package Interfaces. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alcino Cunha, Nuno Macedo, Tiago Guimarães |
Target Oriented Relational Model Finding. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wei Huang 0001, Yao Dong 0001, Ana L. Milanova |
Type-Based Taint Analysis for Java Web Applications. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rashmi Mudduluru, Murali Krishna Ramanathan |
Efficient Incremental Static Analysis Using Path Abstraction. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski |
Sound Merging and Differencing for Class Diagrams. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Gnesi, Arend Rensink (eds.) |
Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Strüber 0001, Julia Rubin, Gabriele Taentzer, Marsha Chechik |
Splitting Models Using Information Retrieval and Model Crawling Techniques. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Krause 0001, Matthias Tichy, Holger Giese |
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Barak Cohen, Shahar Maoz |
Semantically Configurable Analysis of Scenario-Based Specifications. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel 0001 |
Comparator: A Tool for Quantifying Behavioural Compatibility. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yu Pei 0001, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001 |
Automatic Program Repair by Fixing Contracts. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001, Daniel Schweizer, Lucas Brutschy |
TouchCost: Cost Analysis of TouchDevelop Scripts. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Cristiá, Joaquín Mesuro, Claudia S. Frydman |
Integration Testing in the Test Template Framework. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
SMT-Based Checking of SOLOIST over Sparse Traces. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr |
Modularizing Triple Graph Grammars Using Rule Refinement. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes 0001 |
An Expressive Semantics of Mocking. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alireza Sadeghi, Naeem Esfahani, Sam Malek |
Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Kowal, Ina Schaefer, Mirco Tribastone |
Family-Based Performance Analysis of Variant-Rich Software Systems. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Antónia Lopes |
Heterogeneous and Asynchronous Networks of Timed Systems. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov |
Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Löwe, Harald König, Christoph Schulz 0002 |
Polymorphic Single-Pushout Graph Transformation. |
FASE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Julia Rubin, Marsha Chechik |
Quality of Merge-Refactorings for Product Lines. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Bongiovanni, Ludovic Henrio |
A Mechanized Model for CAN Protocols. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Sakamoto, Kaizu Tomohiro, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa |
POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Julian C. Bradfield, Perdita Stevens |
Enforcing QVT-R with mu-Calculus and Games. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei Yang 0013, Mukul R. Prasad, Tao Xie 0001 |
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli |
A Model-Based Synthesis Process for Choreography Realizability Enforcement. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett |
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rick Salay, Jan Gorzny, Marsha Chechik |
Change Propagation due to Uncertainty Change. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Massimiliano de Leoni, Marlon Dumas, Luciano García-Bañuelos |
Discovering Branching Conditions from Business Process Execution Logs. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Macedo, Alcino Cunha |
Implementing QVT-R Bidirectional Model Transformations Using Alloy. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Cortellessa, Dániel Varró (eds.) |
Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri |
Andromeda: Accurate and Scalable Security Analysis of Web Applications. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arbi Bouchoucha, Houari A. Sahraoui, Pierre L'Ecuyer |
Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anirudh Santhiar, Omesh Pandita, Aditya Kanade |
Discovering Math APIs by Mining Unit Tests. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Stefan Löwe |
Explicit-State Software Model Checking Based on CEGAR and Interpolation. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Strüber 0001, Gabriele Taentzer, Stefan Jurack, Tim Schäfer |
Towards a Distributed Modeling Process Based on Composite Models. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu 0001, Elisabeth Getzner |
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont |
VerChor: A Framework for Verifying Choreographies. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Czarnecki 0001 |
Variability in Software: State of the Art and Future Directions - (Extended Abstract). |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Robert M. Hierons |
Testing with Inputs and Outputs in CSP. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard |
Scenario Realizability with Constraint Optimization. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Evelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon, Alexander Egyed |
On Extracting Feature Models from Sets of Valid Feature Combinations. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mayur Bapodra, Reiko Heckel |
Abstraction and Training of Stochastic Graph Transformation Systems. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | John Lasseter, John Cipriano |
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia |
Javanni: A Verifier for JavaScript. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis |
Model-Based Implementation of Parallel Real-Time Systems. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hao Zhong 0001, Suresh Thummalapenta, Tao Xie 0001 |
Exposing Behavioral Differences in Cross-Language API Mapping Relations. |
FASE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Antónia Lopes |
Consistency of Service Composition. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maarten de Mol, Arend Rensink, James J. Hunt |
Graph Transforming Java Data. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella |
Model-Based Filtering of Combinatorial Test Suites. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Earl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle, Daniel M. Germán, Premkumar T. Devanbu |
Cohesive and Isolated Development with Branches. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Julian C. Bradfield, Perdita Stevens |
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer 0001, Martin Wirsing |
Stable Availability under Denial of Service Attacks through Formal Patterns. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm, Mario Bernhart, Thomas Grechenig |
Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|