Aleksandar S. Dimovski

J. Comput. Lang., 2023

Family-based model checking of fMultiLTL properties.

[BibT_eX]

[DOI]

Sami Lazreg

Maxime Cordy

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Generalized Program Sketching by Abstract Interpretation and Logical Abduction.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 30th International Symposium, 2023

Error Invariants for Fault Localization via Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 30th International Symposium, 2023

On Verifying Temporal Properties of Configurable Software.

[BibT_eX]

[DOI]

Bekim Fetaji

Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023

2022

Several lifted abstract domains for static analysis of numerical program families.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Very Short-Term Blackout Prediction for Grid-Tied PV Systems Operating in Low Reliability Weak Electric Grids of Developing Countries.

[BibT_eX]

[DOI]

Benson H. Mbuya

Marco Merlo

Thomas Kivevele

Complex., 2022

Model sketching by abstraction refinement for lifted model checking.

[BibT_eX]

[DOI]

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Quantitative Program Sketching using Lifted Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

A binary decision diagram lifted domain for analyzing program families.

[BibT_eX]

[DOI]

J. Comput. Lang., 2021

Verification of Program Transformations with Inductive Refinement Types.

[BibT_eX]

[DOI]

Thomas P. Jensen

ACM Trans. Softw. Eng. Methodol., 2021

Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2021

Model Sketching by Abstraction Refinement for Lifted Model Checking (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2021

Program Sketching Using Lifted Analysis for Numerical Program Families.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Lifted termination analysis by abstract interpretation and its applications.

[BibT_eX]

[DOI]

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Generalized abstraction-refinement for game-based CTL lifted model checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

$\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2020

Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Finding suitable variability abstractions for lifted analysis.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

Prediction of Horizontal Data Partitioning Through Query Execution Cost Estimation.

[BibT_eX]

[DOI]

Nino Arsov

Goran Velinov

Bojana Koteska

Dragan Sahpaski

Margita Kon-Popovska

CoRR, 2019

Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Lifted static analysis using a binary decision diagram abstract domain.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Verifying annotated program families using symbolic game semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

Variability abstractions for lifted analyses.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

On defining a model driven architecture for an enterprise e-health system.

[BibT_eX]

[DOI]

Enterp. Inf. Syst., 2018

Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2018

Verification of high-level transformations with inductive refinement types.

[BibT_eX]

[DOI]

Thomas P. Jensen

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL$^{\star }$.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

Efficient family-based model checking via variability abstractions.

[BibT_eX]

[DOI]

Alexandru Florin Iosif-Lazar

Int. J. Softw. Tools Technol. Transf., 2017

Effective Analysis of C Programs by Rewriting Variability.

[BibT_eX]

[DOI]

Jean Melo

Art Sci. Eng. Program., 2017

Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Variability-Specific Abstraction Refinement for Family-Based Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

Vehicle-to-grid system used to regulate the frequency of a microgrid.

[BibT_eX]

[DOI]

Snezana Cundeva

Proceedings of the IEEE EUROCON 2017 -17th International Conference on Smart Technologies, 2017

From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Symbolic Game Semantics for Model Checking Program Families.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Symbolic execution of high-level transformations.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Finding Suitable Variability Abstractions for Family-Based Analysis.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

2015

Systematic derivation of correct variability-aware program analyses.

[BibT_eX]

[DOI]

Jan Midtgaard

Sci. Comput. Program., 2015

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2015

Family-based model checking using off-the-shelf model checkers: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Family-Based Model Checking Without a Family-Based Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Experiences from Designing and Validating a Software Modernization Transformation (E).

[BibT_eX]

[DOI]

Alexandru F. Iosif-Lazar

Juha Erik Savolainen

Krzysztof Sierszecki

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses.

[BibT_eX]

[DOI]

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Program verification using symbolic game semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Ensuring Secure Non-interference of Programs by Game Semantics.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 10th International Workshop, 2014

2013

Slot Games for Detecting Timing Leaks of Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Verifying Data Independent Programs Using Game Semantics.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 12th International Conference, 2013

2012

Symbolic Representation of Algorithmic Game Semantics

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Symposium on Games, 2012

Parameterized verification of open procedural programs.

[BibT_eX]

[DOI]

Proceedings of the Balkan Conference in Informatics, 2012, 2012

Efficient Processing of Top-K Join Queries by Attribute Domain Refinement.

[BibT_eX]

[DOI]

Dragan Sahpaski

Goran Velinov

Margita Kon-Popovska

Proceedings of the Advances in Databases and Information Systems, 2012

2010

Data-abstraction refinement: a game semantic approach.

[BibT_eX]

[DOI]

Adam Bakewell

Int. J. Softw. Tools Technol. Transf., 2010

A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

A Compositional Method for Deciding Program Termination.

[BibT_eX]

[DOI]

Proceedings of the ICT Innovations 2010 - Second International Conference, 2010

Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design.

[BibT_eX]

[DOI]

Goran Velinov

Dragan Sahpaski

Proceedings of the Advances in Databases and Information Systems, 2010

2007

Compositional software verification based on game semantics.

[BibT_eX]

[DOI]

PhD thesis, 2007

Compositional software verification based on game semantics and process algebra.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2007

2006

A Counterexample-Guided Refinement Tool for Open Procedural Programs.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Assume-Guarantee Software Verification Based on Game Semantics.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Data-Abstraction Refinement: A Game Semantic Approach.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 12th International Symposium, 2005

Abstraction-refinement for game-based model checking.

[BibT_eX]

Proceedings of the 1st Workshop on Games for Logic and Programming Languages, 2005

2004

Software Model Checking Based on Game Semantics and CSP.

[BibT_eX]

[DOI]

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

CSP Representation of Game Semantics for Second-Order Idealized Algol.

[BibT_eX]

[DOI]