Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sophia Drossopoulou, James Noble 0001, Julian Mackay, Susan Eisenbach |
Holistic Specifications for Robust Programs. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francisco J. Pérez Blanco, Juan M. Vara, Cristian Gómez Macías, Valeria de Castro, Esperanza Marcos |
Model-Based Tool Support for Service Design. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aren A. Babikian, Oszkár Semeráth, Dániel Varró |
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski, Axel Legay |
Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Esther Guerra |
Multi-level Model Product Lines - Open and Closed Variability for Modelling Language Families. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani |
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte |
Global Reproducibility Through Local Control for Distributed Active Objects. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer |
Skill-Based Verification of Cyber-Physical Systems. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hugo A. López 0001, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt |
Business Process Compliance Using Reference Models of Law. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ramon Janssen |
Combining Partial Specifications using Alternating Interface Automata. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs |
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nils Weidmann, Anthony Anjorin |
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Pinzón, Camilo Rocha, Jorge Finke |
Algorithmic Analysis of Blockchain Efficiency with Communication Delay. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Elvira Pino, Marisa Navarro |
Incremental Concurrent Model Synchronization using Triple Graph Grammars. |
FASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias |
Automatically Identifying Sufficient Object Builders from Module APIs. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi |
Software Assurance in an Uncertain World. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise |
A Data Flow Model with Frequency Arithmetic. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Alexandre Madeira, Alexander Knapp |
A Hybrid Dynamic Logic for Event/Data-Based Systems. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Qian, Min Zhang 0002, Yi Wang, Kazuhiro Ogata 0001 |
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hähnle, Wil M. P. van der Aalst (eds.) |
Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson |
Tool Support for Correctness-by-Construction. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider 0001 |
Metric Temporal Graph Logic over Typed Attributed Graphs. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
Optimal and Automated Deployment for Microservices. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Artur Boronat |
Offline Delta-Driven Model Transformation with Dependency Injection. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Golnaz Gharachorlu, Nick Sumner |
: Priority Aware Test Case Reduction. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom |
Business Process Privacy Analysis in Pleak. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati |
SL2SF: Refactoring Simulink to Stateflow. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hasan Ferit Eniser, Simos Gerasimou, Alper Sen 0001 |
DeepFault: Fault Localization for Deep Neural Networks. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer |
Efficient Model Synchronization by Automatically Constructed Repair Processes. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chao Peng 0002, Ajitha Rajan |
CLTestCheck: Measuring Test Effectiveness for GPU Kernels. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Himanshu Arora, Raghavan Komondoor, G. Ramalingam |
Checking Observational Purity of Procedures. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Li Huang 0001, Eun-Young Kang 0001 |
Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lawton Nichols, Mehmet Emre, Ben Hardekopf |
Structural and Nominal Cross-Language Clone Detection. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Joonyoung Park, Alexander Jordan, Sukyoung Ryu |
Automatic Modeling of Opaque Code for JavaScript Static Analysis. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Min Zhang 0002, Fu Song, Frédéric Mallet, Xiaohong Chen 0007 |
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Marie-Christine Jakobs |
CoVeriTest: Cooperative Verifier-Based Testing. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philip Zweihoff, Stefan Naujokat, Bernhard Steffen |
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski |
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schneider 0001, Leen Lambers, Fernando Orejas |
A Logic-Based Incremental Approach to Graph Repair. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Landsberg, Youcheng Sun, Daniel Kroening |
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi |
Supporting Verification-Driven Incremental Distributed Design of Components. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau |
Controlling the Attack Surface of Object-Oriented Refactorings. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Strüber 0001, Sven Peldszus, Jan Jürjens |
Taming Multi-Variability of Software Product Line Transformations. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Si Liu 0003, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang 0017, Indranil Gupta, José Meseguer 0001 |
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Márton Búr, Gábor S. Szilágyi, András Vörös 0001, Dániel Varró |
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski |
Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\). |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bo Chen 0008, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie |
CRETE: A Versatile Binary-Level Concolic Testing Framework. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo |
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yavuz Köroglu, Alper Sen 0001 |
TCM: Test Case Mutation to Improve Crash Detection in Android. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Russo, Andy Schürr (eds.) |
Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zinovy Diskin, Harald König, Mark Lawford |
Multiple Model Synchronization with Multiary Delta Lenses. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles Sutton |
Summarizing Software API Usage Examples Using Clustering Techniques. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin |
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rajesh Kumar 0012, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga |
Effective Analysis of Attack Trees: A Model-Driven Approach. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diego Marmsoler |
Hierarchical Specification and Verification of Architectural Design Patterns. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Joonyoung Park, Kwangwon Sun, Sukyoung Ryu |
EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oszkár Semeráth, Dániel Varró |
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall |
Fast Computation of Arbitrary Control Dependencies. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter |
A Formal Framework for Incremental Model Slicing. |
FASE |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Erik Krogh Kristensen, Anders Møller |
Inference and Evolution of TypeScript Declaration Files. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Irina Mariuca Asavoae, Mihail Asavoae |
Slicing from Formal Semantics: Chisel. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Noomene Ben Henda, Björn Johansson 0006, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd |
OpenSAW: Open Security Analysis Workbench. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse |
Family-Based Model Checking with mCRL2. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias |
Automated Workarounds from Java Program Specifications Based on SAT Solving. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Werner Araújo, Ingrid Nunes, Daltro José Nunes |
On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sven Schneider 0001, Leen Lambers, Fernando Orejas |
Symbolic Model Generation for Graph Properties. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle |
Change-Preserving Model Repair. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raymond Hu, Nobuko Yoshida |
Explicit Connection Actions in Multiparty Session Types. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zheng Cheng, Massimo Tisi |
A Deductive Approach for Fault Localization in ATL Model Transformations. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski, Andrzej Wasowski |
Variability-Specific Abstraction Refinement for Family-Based Model Checking. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman, Julia Rubin (eds.) |
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, Jesús Sánchez Cuadrado |
Reusing Model Transformations Through Typing Requirements Models. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte |
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vajih Montaghami, Derek Rayside |
Bordeaux: A Tool for Thinking Outside the Box. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt |
A Unified and Formal Programming Model for Deltas and Traits. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Zschaler, Francisco Durán 0001 |
GTS Families for the Flexible Composition of Graph Transformation Systems. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Erhan Leblebici, Anthony Anjorin, Andy Schürr |
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chris Alvin, Brian Peterson, Supratik Mukhopadhyay |
StaticGen: Static Generation of UML Sequence Diagrams. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Müller 0015, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer |
Change and Delay Contracts for Hybrid System Component Verification. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara 0001, Marco Pistoia |
Visual Configuration of Mobile Privacy Policies. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar Asenov, Balz Guenat, Peter Müller 0001, Martin Otth |
Precise Version Control of Trees with Line-Based Version Control Systems. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Van-Thuan Pham, Sakaar Khurana, Subhajit Roy 0001, Abhik Roychoudhury |
Bucketing Failing Tests via Symbolic Analysis. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zinovy Diskin, Abel Gómez 0001, Jordi Cabot |
Traceability Mappings as a Fundamental Instrument in Model Transformations. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ripon Saha, Milos Gligoric 0001 |
Selective Bisection Debugging. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jingyi Wang 0004, Jun Sun 0001, Qixia Yuan, Jun Pang 0001 |
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. |
FASE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Samik Basu 0001, Tevfik Bultan |
Automated Choreography Repair. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Nierstrasz |
The Death of Object-Oriented Programming. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Gerhold, Mariëlle Stoelinga |
Model-Based Testing of Probabilistic Systems. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall |
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Antonio Moreno-Delgado, José M. Álvarez-Palomo |
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lei Wang, Han Li, Xinchen Wang |
The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Philipp Hoffmann |
Reduction Rules for Colored Workflow Nets. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt |
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina |
PVAIR: Partial Variable Assignment InterpolatoR. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sander de Putter, Anton Wijs |
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo |
Automated Model Merge by Design Space Exploration. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raymond Hu, Nobuko Yoshida |
Hybrid Session Verification Through Endpoint API Generation. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas |
Many-Valued Institutions for Constraint Specification. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr |
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. |
FASE |
2016 |
DBLP DOI BibTeX RDF |
|