Dilian Gurov

Valentin Goranko

Edvin Lundberg

Artif. Intell., 2022

Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes.

[BibT_eX]

[DOI]

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Deductive Verification Based Abstraction for Software Model Checking.

[BibT_eX]

[DOI]

Jesper Amilon

Christian Lidström

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

TriCo - Triple Co-piloting of Implementation, Specification and Tests.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Alice in Wineland: A Fairy Tale with Contracts.

[BibT_eX]

[DOI]

Christian Lidström

Philipp Rümmer

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Bounded Invariant Checking for Stateflow Programs.

[BibT_eX]

[DOI]

Predrag Filipovikj

Mattias Nyberg

CoRR, 2021

An Abstract Contract Theory for Programs with Procedures.

[BibT_eX]

[DOI]

Christian Lidström

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning.

[BibT_eX]

[DOI]

Mojtaba Eshghie

Cyrille Artho

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

Category Theory Framework for Variability Models with Non-functional Requirements.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2021

2020

Constraint-Based Contract Inference for Deductive Verification.

[BibT_eX]

[DOI]

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Formal Methods: From Academia to Industrial Practice. A Travel Guide.

[BibT_eX]

[DOI]

Alexander Malkis

CoRR, 2020

Practical Abstractions for Automated Verification of Shared-Memory Concurrency.

[BibT_eX]

[DOI]

Wytse Oortwijn

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Formally Proving Compositionality in Industrial Systems with Informal Specifications.

[BibT_eX]

[DOI]

Mattias Nyberg

Jonas Westman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Automated Verification of Embedded Control Software - Track Introduction.

[BibT_eX]

[DOI]

Paula Herber

Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification.

[BibT_eX]

[DOI]

Reiner Hähnle

Eduard Kamburjan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2018

Specification and verification of synchronization with condition variables.

[BibT_eX]

[DOI]

Cyrille Artho

Sci. Comput. Program., 2018

Formal Verification in Automotive Industry: Enablers and Obstacles.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

A Hoare Logic Contract Theory: An Exercise in Denotational Semantics.

[BibT_eX]

[DOI]

Marina Zaharieva-Stojanovski

Jonas Westman

Proceedings of the Principled Software Development, 2018

2017

Formal architecture modeling of sequential non-recursive C programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

An Abstraction Technique for Describing Concurrent Program Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Provably correct control flow graphs from Java bytecode programs with exceptions.

[BibT_eX]

[DOI]

Afshin Amighi

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

Algorithmic verification of procedural programs in the presence of code variability.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Static and Runtime Verification, Competitors or Friends? (Track Summary).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Specification and Verification of Synchronization with Condition Variables.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2015

Procedure-modular specification and verification of temporal safety properties.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Self-Correlation and Maximum Independence in Finite Relations.

[BibT_eX]

[DOI]

Minko Markov

Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

Privacy preserving business process matching.

[BibT_eX]

[DOI]

Peeter Laud

Roberto Guanciale

Proceedings of the 13th Annual Conference on Privacy, Security and Trust, 2015

2014

Private intersection of regular languages.

[BibT_eX]

[DOI]

Roberto Guanciale

Peeter Laud

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs.

[BibT_eX]

[DOI]

Attilio Picoco

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Privacy Preserving Business Process Fusion.

[BibT_eX]

[DOI]

Roberto Guanciale

Proceedings of the Business Process Management Workshops, 2014

2013

Reducing behavioural to structural properties of programs with procedures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

2012

Sound Control-Flow Graph Extraction for Java Programs with Exceptions.

[BibT_eX]

[DOI]

Afshin Amighi

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011

ProMoVer: Modular Verification of Temporal Safety Properties.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

A Hierarchical Variability Model for Software Product Lines.

[BibT_eX]

[DOI]

Bjarte M. Østvold

Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

2010

CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties.

[BibT_eX]

[DOI]

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Compositional Algorithmic Verification of Software Product Lines.

[BibT_eX]

[DOI]

Ina Schaefer

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Procedure-modular verification of control flow safety properties.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009

Provably correct runtime monitoring.

[BibT_eX]

[DOI]

Irem Aktug

J. Log. Algebraic Methods Program., 2009

2008

Compositional verification of sequential programs with procedures.

[BibT_eX]

[DOI]

Christoph Sprenger

Inf. Comput., 2008

Program Models for Compositional Verification.

[BibT_eX]

[DOI]

Irem Aktug

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Composing Modal Properties of Programs with Procedures.

[BibT_eX]

[DOI]

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

2006

Verification of Peer-to-peer Algorithms: A Case Study.

[BibT_eX]

[DOI]

Rena Bakhshi

Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006

State Space Representation for Verification of Open Systems.

[BibT_eX]

[DOI]

Irem Aktug

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Interface Abstraction for Compositional Verificatio.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

Compositional verification for secure loading of smart card applets.

[BibT_eX]

[DOI]

Christoph Sprenger

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Checking Absence of Illicit Applet Interactions: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003

A verification tool for ERLANG.

[BibT_eX]

[DOI]

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

Formal Methods Research at SICS and KTH: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

2002

µ-Calculus with Explicit Points and Approximations.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Compositional Verification of Secure Applet Interactions.

[BibT_eX]

[DOI]

Gilles Barthe

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Model Checking of Multi-Applet JavaCard Applications.

[BibT_eX]

[DOI]

Gennady Chugunov

Proceedings of the Fifth Smart Card Research and Advanced Application Conference, 2002

2001

The Erlang Verification Tool.

[BibT_eX]

[DOI]

Thomas Noll

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Semi-Automated Verification of Erlang Code.

[BibT_eX]

[DOI]

Thomas Noll

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

1999

A note on negative tagging for least fixed-point formulae.

[BibT_eX]

[DOI]

Bruce M. Kapron

RAIRO Theor. Informatics Appl., 1999

Compositional Verification of CCS Processes.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1999

A Framework for Formal Reasoning about Open Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1999

1998

Specification and verification of communicating systems with value passing.

[BibT_eX]

[DOI]

PhD thesis, 1998

System Description: Verification of Distributed Erlang Programs.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

1997

Toward Parametric Verification of Open Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

A modal mu-calculus and a proof system for value passing processes.

[BibT_eX]

[DOI]

Sergey Berezin

Bruce M. Kapron

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

1995

The Evaluation of Full Sensitivity for Test Generation in MVL Circuits.

[BibT_eX]

[DOI]

Elena Dubrova

Jon C. Muzio

Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995

1994

Full Sensitivity and Test Generation for Multiple-Valued Logic Circuits.

[BibT_eX]

[DOI]

Elena Dubrova