2025
Preface to the special issue on engineering of computer-based systems.
Int. J. Softw. Tools Technol. Transf., February, 2025
Unsatisfiability Proofs for Horn Solving.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025
Combining Static Analysis Techniques for Program Comprehension Using Slicito.
Proceedings of the 33rd IEEE/ACM International Conference on Program Comprehension, 2025
2023
Slicito: Using Computational Notebooks for Program Comprehension.
Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023
2022
PeachPie: Mature PHP to CLI compiler.
J. Comput. Lang., 2022
Using linear algebra in decomposition of Farkas interpolants.
Int. J. Softw. Tools Technol. Transf., 2022
A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems.
Future Gener. Comput. Syst., 2022
Summarization of branching loops.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages.
Proceedings of the 17th International Conference on Software Technologies, 2022
2021
Targeting uncertainty in smart CPS by confidence-based logic.
J. Syst. Softw., 2021
2020
A language and framework for dynamic component ensembles in smart systems.
Int. J. Softw. Tools Technol. Transf., 2020
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin.
Int. J. Softw. Tools Technol. Transf., 2020
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
2019
Exploiting partial variable assignment in interpolation-based model checking.
Formal Methods Syst. Des., 2019
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019
Decomposing Farkas Interpolants.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Handling Heap Data Structures in Backward Symbolic Execution.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2018
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
On partial state matching.
Formal Aspects Comput., 2017
2016
Statistical Approach to Architecture Modes in Smart Cyber Physical Systems.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016
Dead variable analysis for multi-threaded heap manipulating programs.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
PVAIR: Partial Variable Assignment InterpolatoR.
Proceedings of the Fundamental Approaches to Software Engineering, 2016
2015
Correctness of Service Components and Service Component Ensembles.
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Tools for Ensemble Design and Runtime.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
Framework for Static Analysis of PHP Applications (Artifact).
Dagstuhl Artifacts Ser., 2015
Framework for Static Analysis of PHP Applications.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015
2014
Data-flow Analysis of Programs with Associative Arrays.
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014
WeVerca: Web Applications Verification for PHP.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
On interpolants and variable assignments.
Proceedings of the Formal Methods in Computer-Aided Design, 2014
2013
Threaded behavior protocols.
Formal Aspects Comput., 2013
2012
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012
On Security Analysis of PHP Web Applications.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
2010
Evolving SOA in the Q-ImPrESS Project.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Reverse Engineering Component Models for Quality Predictions.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010
2009
Modes in component behavior specification via EBP and their application in product lines.
Inf. Softw. Technol., 2009
On Teaching Formal Methods: Behavior Models and Code Analysis.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009
2008
TBP: Code-Oriented Component Behavior Specification.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008
Making Components Fit: SPINing.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008
2007
Checking software component behavior using behavior protocols and spin.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
2006
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006
2005
Model Checking of Component Behavior Specification: A Real Life Experience.
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005