Fundamental Approaches to Software Engineering

FASE

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

740

1998–2026

Best Software Engineering conferences

Papers per year

199834 peak2026

Most published authors

FASE papers

740 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2020	Family-Based SPL Model Checking Using Parity Games with Variability.	Maurice H. ter Beek, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse
2020	Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.	Aren A. Babikian, Oszkr Semerth, Dniel Varr
2019	Pyro: Generating Domain-Specific Collaborative Online Modeling Environments.	Philip Zweihoff, Stefan Naujokat, Bernhard Steffen
2019	SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.	Min Zhang, Fu Song, Frdric Mallet, Xiaohong Chen
2019	SL2SF: Refactoring Simulink to Stateflow.	Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati
2019	Business Process Privacy Analysis in Pleak.	Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano Garca-Bauelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom
2019	A Logic-Based Incremental Approach to Graph Repair.	Sven Schneider, Leen Lambers, Fernando Orejas
2019	Tool Support for Correctness-by-Construction.	Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thm, Derrick G. Kourie, Bruce W. Watson
2019	KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs.	Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata
2019	Automatically Identifying Sufficient Object Builders from Module APIs.	Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias
2019	CLTestCheck: Measuring Test Effectiveness for GPU Kernels.	Chao Peng, Ajitha Rajan
2019	Automatic Modeling of Opaque Code for JavaScript Static Analysis.	Joonyoung Park, Alexander Jordan, Sukyoung Ryu
2019	Structural and Nominal Cross-Language Clone Detection.	Lawton Nichols, Mehmet Emre, Ben Hardekopf
2019	Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System.	Li Huang, Eun-Young Kang
2019	A Hybrid Dynamic Logic for Event/Data-Based Systems.	Rolf Hennicker, Alexandre Madeira, Alexander Knapp
2019	Metric Temporal Graph Logic over Typed Attributed Graphs.	Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
2019	: Priority Aware Test Case Reduction.	Golnaz Gharachorlu, Nick Sumner
2019	Efficient Model Synchronization by Automatically Constructed Repair Processes.	Lars Fritsche, Jens Kosiol, Andy Schrr, Gabriele Taentzer
2019	DeepFault: Fault Localization for Deep Neural Networks.	Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
2019	A Data Flow Model with Frequency Arithmetic.	Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stphane Louise
2019	Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL.	Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
2019	Software Assurance in an Uncertain World.	Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
2019	Optimal and Automated Deployment for Microservices.	Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
2019	Offline Delta-Driven Model Transformation with Dependency Injection.	Artur Boronat
2019	Implementing SOS with Active Objects: A Case Study of a Multicore Memory System.	Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

151–175 of 740← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.