Axel Legay

Felicita Di Giandomenico

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

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

[BibT_eX]

[DOI]

Sven Apel

Proceedings of the Fundamental Approaches to Software Engineering, 2021

A Secure User-Centred Healthcare System: Design and Verification.

[BibT_eX]

[DOI]

Proceedings of the From Data to Models and Back, 2021

Verifying QUIC implementations using Ivy.

[BibT_eX]

[DOI]

Proceedings of the EPIQ '21: Proceedings of the 2021 Workshop on Evolution, 2021

2020

A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Computing branching distances with quantitative games.

[BibT_eX]

[DOI]

Karin Quaas

Theor. Comput. Sci., 2020

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Expressiveness of concurrent intensionality.

[BibT_eX]

[DOI]

Ioana Cristescu

Theor. Comput. Sci., 2020

Introduction to the special issue for SPIN 2019.

[BibT_eX]

[DOI]

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

Controller synthesis of service contracts with variability.

[BibT_eX]

[DOI]

Felicita Di Giandomenico

Sci. Comput. Program., 2020

A linear-time-branching-time spectrum for behavioral specification theories.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

Combined software and hardware fault injection vulnerability detection.

[BibT_eX]

[DOI]

Nisrine Jafri

Innov. Syst. Softw. Eng., 2020

Timed service contract automata.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2020

Logical vs. behavioural specifications.

[BibT_eX]

[DOI]

Inf. Comput., 2020

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

[BibT_eX]

[DOI]

Sven Apel

CoRR, 2020

Automatic Verification of LLVM Code.

[BibT_eX]

[DOI]

Dirk Nowotka

CoRR, 2020

Optimizing symbolic execution for malware behavior classification.

[BibT_eX]

[DOI]

Comput. Secur., 2020

Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios.

[BibT_eX]

[DOI]

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

Flowverine: Leveraging Dataflow Programming for Building Privacy-Sensitive Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Trust, 2020

Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2020

Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing.

[BibT_eX]

[DOI]

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Baital: an adaptive weighted sampling approach for improved t-wise coverage.

[BibT_eX]

[DOI]

Eduard Baranov

Kuldeep S. Meel

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

My House, My Rules: A Private-by-Design Smart Home Platform.

[BibT_eX]

[DOI]

Proceedings of the MobiQuitous '20: Computing, 2020

Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

30 Years of Statistical Model Checking.

[BibT_eX]

[DOI]

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

Behavioral Specification Theories: An Algebraic Taxonomy.

[BibT_eX]

[DOI]

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

X-by-Construction - Correctness Meets Probability.

[BibT_eX]

[DOI]

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

Improving Secure and Robust Patient Service Delivery.

[BibT_eX]

[DOI]

Eduard Baranov

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

Building User Trust of Critical Digital Technologies.

[BibT_eX]

[DOI]

Eduard Baranov

Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

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

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Statistical Model Checking for Variability-Intensive Systems.

[BibT_eX]

[DOI]

Mike Papadakis

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Formalising fault injection and countermeasures.

[BibT_eX]

[DOI]

Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020

2019

Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios".

[BibT_eX]

[DOI]

Christian Bach

Christian Toftemann Bæk

Dataset, June, 2019

Statistical Model Checking.

[BibT_eX]

[DOI]

Anna Lukina

Junxing Yang

Scott A. Smolka

Radu Grosu

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Quantitative properties of featured automata.

[BibT_eX]

[DOI]

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

Verification and abstraction of real-time variability-intensive systems.

[BibT_eX]

[DOI]

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

Quantitative variability modelling and analysis.

[BibT_eX]

[DOI]

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

An ωω\omega-Algebra for Real-Time Energy Problems.

[BibT_eX]

[DOI]

David Cachera

Log. Methods Comput. Sci., 2019

Hybrid statistical estimation of mutual information and its application to information flow.

[BibT_eX]

[DOI]

Yusuke Kawamoto

Formal Aspects Comput., 2019

Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn).

[BibT_eX]

[DOI]

Sébastien Lugan

Paul Desbordes

Luis Xavier Ramos Tormo

Benoît Macq

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

An automated and scalable formal process for detecting fault injection vulnerabilities in binaries.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2019

Effective, efficient, and robust packing detection and classification.

[BibT_eX]

[DOI]

Comput. Secur., 2019

Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn).

[BibT_eX]

[DOI]

Sébastien Lugan

Paul Desbordes

Eliott Brion

Luis Xavier Ramos Tormo

Benoît Macq

IEEE Access, 2019

Quantitative Variability Modeling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2.

[BibT_eX]

[DOI]

Tristan Ninet

Romaric Maillard

Olivier Zendra

Proceedings of the 18th IEEE International Conference On Trust, 2019

Pluginizing QUIC.

[BibT_eX]

[DOI]

Proceedings of the ACM Special Interest Group on Data Communication, 2019

Model Checking the IKEv2 Protocol Using Spin.

[BibT_eX]

[DOI]

Tristan Ninet

Romaric Maillard

Olivier Zendra

Proceedings of the 17th International Conference on Privacy, Security and Trust, 2019

Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Computing Branching Distances Using Quantitative Games.

[BibT_eX]

[DOI]

Karin Quaas

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

Towards sampling and simulation-based analysis of featured weighted automata.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 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

A Decade of Featured Transition Systems.

[BibT_eX]

[DOI]

Juliana Küster Filipe Bowles

Jean-François Raskin

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

The SERUMS tool-chain: Ensuring Security and Privacy of Medical Data in Smart Patient-Centric Healthcare Systems.

[BibT_eX]

[DOI]

Andreas Francois Vermeulen

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs.

[BibT_eX]

[DOI]

Manfred Jaeger

Jakob Haahr Taankvist

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

High-level frameworks for the specification and verification of scheduling problems.

[BibT_eX]

[DOI]

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

Compositionality for quantitative specifications.

[BibT_eX]

[DOI]

Jan Kretínský

Soft Comput., 2018

Formal verification of probabilistic SystemC models with statistical model checking.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2018

Dynamic networks of heterogeneous timed machines.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2018

Model-based mutant equivalence detection using automata language equivalence and simulations.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Group abstraction for assisted navigation of social activities in intelligent environments.

[BibT_eX]

[DOI]

J. Reliab. Intell. Environ., 2018

When time meets test.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2018

Performance evaluation of stochastic real-time systems with the SBIP framework.

[BibT_eX]

[DOI]

Ayoub Nouri

Braham Lotfi Mediouni

Int. J. Crit. Comput. Based Syst., 2018

On the Performance of Deep Learning for Side-channel Analysis.

[BibT_eX]

[DOI]

Stjepan Picek

Ioannis Petros Samiotis

IACR Cryptol. ePrint Arch., 2018

Scalable Approximation of Quantitative Information Flow in Programs.

[BibT_eX]

[DOI]

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

The State of Fault Injection Vulnerability Detection.

[BibT_eX]

[DOI]

Nisrine Jafri

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Orchestration Synthesis for Real-Time Service Contracts.

[BibT_eX]

[DOI]

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Universal Optimality of Apollonian Cell Encoders.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference On Trust, 2018

A Language for Analyzing Security of IOT Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

On the Performance of Convolutional Neural Networks for Side-Channel Analysis.

[BibT_eX]

[DOI]

Stjepan Picek

Ioannis Petros Samiotis

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2018

Detection of Mirai by Syntactic and Behavioral Analysis.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Mitigating Security Risks Through Attack Strategies Exploration.

[BibT_eX]

[DOI]

Braham Lotfi Mediouni

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

Statistical Model Checking the 2018 Edition!

[BibT_eX]

[DOI]

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

X-by-C: Non-functional Security Challenges.

[BibT_eX]

[DOI]

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

Tutorial: An Overview of Malware Detection and Evasion Techniques.

[BibT_eX]

[DOI]

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

Statistical Model Checking of Incomplete Stochastic Systems.

[BibT_eX]

[DOI]

Shiraj Arora

Tania Richmond

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

Trace checking for dynamic software product lines.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

A Modeling Language for Security Threats of IoT Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Statistical Model Checking of LLVM Code.

[BibT_eX]

[DOI]

Dirk Nowotka

Proceedings of the Formal Methods - 22nd International Symposium, 2018

On the Expressiveness of Joining and Splitting.

[BibT_eX]

[DOI]

Proceedings of the Models, Mindsets, 2018

S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems.

[BibT_eX]

[DOI]

Braham Lotfi Mediouni

Proceedings of the Automated Technology for Verification and Analysis, 2018

Let's shock our IoT's heart: ARMv7-M under (fault) attacks.

[BibT_eX]

[DOI]

Sébanjila Kevin Bukasa

Ronan Lashermes

Jean-Louis Lanet

Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

Physical Security Versus Masking Schemes.

[BibT_eX]

[DOI]

Proceedings of the Cyber-Physical Systems Security., 2018

2017

From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2017

Statistical prioritization for software product line testing: an experience report.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

An Application of SMC to continuous validation of heterogeneous systems.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017

Profiled SCA with a New Twist: Semi-supervised Learning.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

The secrets of profiling for side-channel analysis: feature selection matters.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

An ω-Algebra for Real-Time Energy Problems.

[BibT_eX]

[DOI]

David Cachera

CoRR, 2017

Effectiveness of synthesis in concolic deobfuscation.

[BibT_eX]

[DOI]

Comput. Secur., 2017

An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions.

[BibT_eX]

[DOI]

Acta Cybern., 2017

An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras.

[BibT_eX]

[DOI]

Acta Cybern., 2017

How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip.

[BibT_eX]

[DOI]

Sébanjila Kevin Bukasa

Proceedings of the Information Security Theory and Practice, 2017

On quantitative requirements for product lines.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

An Automated Formal Process for Detecting Fault Injection Vulnerabilities in Binaries and Case Study on PRESENT.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Practical controller synthesis for MTL0, ∞.

[BibT_eX]

[DOI]

Guangyuan Li

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

On Featured Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Compatibility flooding: measuring interaction of services interfaces.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

MASSE: Modular Automated Syntactic Signature Extraction.

[BibT_eX]

[DOI]

François Déchelle

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Extensible Energy Planning Framework for Preemptive Tasks.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Featured Weighted Automata.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU.

[BibT_eX]

[DOI]

Ulrik Nyman

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy and Trust, 2017

Verification of Interlocking Systems Using Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Information Leakage as a Scheduling Resource.

[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

Analyzing ambient assisted living solutions: A research perspective.

[BibT_eX]

[DOI]

Ashalatha Kunnappilly

Cristina Cerschi Seceleanu

Tiziana Margaria

Bernhard Steffen

Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata.

[BibT_eX]

[DOI]

René Rydhof Hansen

Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

Compositional Testing of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the ModelEd, TestEd, TrustEd, 2017

HyLeak: Hybrid Analysis Tool for Information Leakage.

[BibT_eX]

[DOI]

Yusuke Kawamoto

Proceedings of the Automated Technology for Verification and Analysis, 2017

Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - AFRICACRYPT 2017, 2017

2016

ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Command-based importance sampling for statistical model checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Component-based verification using incremental design and invariants.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2016

Optimizing the resource requirements of hierarchical scheduling systems.

[BibT_eX]

[DOI]

Abdeldjalil Boudjadar

SIGBED Rev., 2016

A tag contract framework for modeling heterogeneous systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Attainable unconditional security for shared-key cryptosystems.

[BibT_eX]

[DOI]

Inf. Sci., 2016

Statistical Model Checking with Change Detection.

[BibT_eX]

[DOI]

LNCS Trans. Found. Mastering Chang., 2016

Vulnerability Prediction Against Fault Attacks.

[BibT_eX]

[DOI]

Nisrine Jafri

Jean-Louis Lanet

ERCIM News, 2016

Bypassing Malware Obfuscation with Dynamic Synthesis.

[BibT_eX]

[DOI]

Sébastien Josse

ERCIM News, 2016

Performance Evaluation of Complex Systems Using the SBIP Framework.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Search-based Similarity-driven Behavioural SPL Testing.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Long-term average cost in featured transition systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Importance Sampling for Stochastic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Counterexample guided abstraction refinement of product-line behavioural models.

[BibT_eX]

[DOI]

Bruno Dawagne

Martin Leucker

Proceedings of the Software Engineering 2016, 2016

A formal modeling and analysis framework for software product line of preemptive real-time systems.

[BibT_eX]

[DOI]

Mathieu Acher

Sungwon Kang

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Rare Events for Statistical Model Checking an Overview.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 10th International Workshop, 2016

A Logic for the Statistical Model Checking of Dynamic Software Architectures.

[BibT_eX]

[DOI]

Everton Cavalcante

Thaís Batista

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

Plasma Lab: A Modular Statistical Model Checking Platform.

[BibT_eX]

[DOI]

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

On the Power of Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Statistical Model Checking: Past, Present, and Future.

[BibT_eX]

[DOI]

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

Feedback Control for Statistical Model Checking of Cyber-Physical Systems.

[BibT_eX]

[DOI]

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

Security and Privacy of Protocols and Software with Formal Methods.

[BibT_eX]

[DOI]

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

Statistical Model Checking for Product Lines.

[BibT_eX]

[DOI]

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

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

On the Expressiveness of Symmetric Communication.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

A complexity tale: web configurators.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, 2016

Featured model types: towards systematic reuse in modelling language engineering.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Featured model-based mutation analysis.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Statistical Model Checking for SystemC Models.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Modelling Attack-defense Trees Using Timed Automata.

[BibT_eX]

[DOI]

Olga Gadyatskaya

René Rydhof Hansen

Mads Chr. Olesen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.

[BibT_eX]

[DOI]

Mounir Chadli

Stefan Naujokat

Bernhard Steffen

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow.

[BibT_eX]

[DOI]

Yusuke Kawamoto

Proceedings of the FM 2016: Formal Methods, 2016

Statistical Model Checking of Dynamic Software Architectures.

[BibT_eX]

[DOI]

Everton Cavalcante

Thaís Batista

Proceedings of the Software Architecture - 10th European Conference, 2016

Ransomware and the Legacy Crypto API.

[BibT_eX]

[DOI]

Proceedings of the Risks and Security of Internet and Systems, 2016

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating.

[BibT_eX]

[DOI]

Proceedings of the Risks and Security of Internet and Systems, 2016

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models.

[BibT_eX]

[DOI]

Vania Joloboff

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Quantifying information leakage of randomized protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Statistical model checking QoS properties of systems with SBIP.

[BibT_eX]

[DOI]

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

Statistical model checking: challenges and perspectives.

[BibT_eX]

[DOI]

João Bosco Ferreira Filho

Mahesh Viswanathan

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

Generating counterexamples of model-based software product lines.

[BibT_eX]

[DOI]

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

Real-time specifications.

[BibT_eX]

[DOI]

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

Statistical model checking for biological systems.

[BibT_eX]

[DOI]

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

Uppaal SMC tutorial.

[BibT_eX]

[DOI]

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

Schedulability of Herschel revisited using statistical model checking.

[BibT_eX]

[DOI]

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

Smart sampling for lightweight verification of Markov decision processes.

[BibT_eX]

[DOI]

Pedro R. D'Argenio

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

Efficient customisable dynamic motion planning for assistive robots in complex human environments.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2015

Navigation assistance and guidance of older adults across complex public spaces: the DALi approach.

[BibT_eX]

[DOI]

Antonello Giannitrapani

Domenico Prattichizzo

Intell. Serv. Robotics, 2015

GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems.

[BibT_eX]

[DOI]

Khalil Drira

ERCIM News, 2015

Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL.

[BibT_eX]

[DOI]

ERCIM News, 2015

Verifying Systems-of-Systems with Statistical Model Checking.

[BibT_eX]

[DOI]

ERCIM News, 2015

Estimating Rewards & Rare Events in Nondeterministic Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Distributed Verification of Rare Properties using Importance Splitting Observers.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking.

[BibT_eX]

[DOI]

CoRR, 2015

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers.

[BibT_eX]

[DOI]

CoRR, 2015

On the Expressiveness of Joining.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

*-Continuous Kleene ω-Algebras for Energy Problems.

[BibT_eX]

[DOI]

Zoltán Ésik

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

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

SPLat 2015: Second International Workshop on Software Product Line Analysis Tools.

[BibT_eX]

[DOI]

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

Statistical analysis of probabilistic models of software product lines with quantitative constraints.

[BibT_eX]

[DOI]

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

Comparative Analysis of Leakage Tools on Scalable Case Studies.

[BibT_eX]

[DOI]

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

Merging Features in Featured Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

State machine flattening, a mapping study and tools assessment.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Measuring Behaviour Interactions between Product-Line Features.

[BibT_eX]

[DOI]

Joanne M. Atlee

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Resource-Parameterized Timing Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Brian Nielsen

Proceedings of the Hardware and Software: Verification and Testing, 2015

Modeling and Verification for Probabilistic Properties in Software Product Lines.

[BibT_eX]

[DOI]

Genaína Nunes Rodrigues

Amir Molzam Sharifloo

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Statistical Model Checking of Simulink Models with Plasma Lab.

[BibT_eX]

[DOI]

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

An omega-Algebra for Real-Time Energy Problems.

[BibT_eX]

[DOI]

David Cachera

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

*-Continuous Kleene ω-Algebras.

[BibT_eX]

[DOI]

Zoltán Ésik

Proceedings of the Developments in Language Theory - 19th International Conference, 2015

Modelling Social-Technical Attacks with Timed Automata.

[BibT_eX]

[DOI]

Nicolas David

René Rydhof Hansen

Mads Chr. Olesen

Christian W. Probst

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

Partial Higher-dimensional Automata.

[BibT_eX]

[DOI]

Ulrich Fahrenberg

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Contributions to Statistical Model Checking.

[BibT_eX]

[DOI]

, 2015

2014

Robust synthesis for real-time systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

The quantitative linear-time-branching-time spectrum.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Formal semantics, modular specification, and symbolic verification of product-line behaviour.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

A modal specification theory for components with data.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

A meta-theory for component interfaces with contracts on ports.

[BibT_eX]

[DOI]

Rolf Hennicker

Sci. Comput. Program., 2014

Stuttering for Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2014

Maximizing entropy over Markov processes.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2014

Tropical Fourier-Motzkin elimination, with an application to real-time verification.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2014

Refinement and Difference for Probabilistic Automata

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

Dynamic Verification of SystemC with Statistical Model Checking.

[BibT_eX]

[DOI]

CoRR, 2014

Lightweight Verification of Markov Decision Processes with Rewards.

[BibT_eX]

[DOI]

CoRR, 2014

Homotopy Bisimilarity for Higher-Dimensional Automata.

[BibT_eX]

[DOI]

CoRR, 2014

Measuring Structural Distances between Texts.

[BibT_eX]

[DOI]

CoRR, 2014

State Machine Flattening: Mapping Study and Assessment.

[BibT_eX]

[DOI]

CoRR, 2014

General quantitative specification theories with modal transition systems.

[BibT_eX]

[DOI]

Acta Informatica, 2014

Towards statistical prioritization for software product lines testing.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

On Statistical Model Checking with PLASMA.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

SPLat 2014: First International Workshop on Software Product Line Analysis Tools.

[BibT_eX]

[DOI]

Erik P. de Vink

Proceedings of the 18th International Software Product Line Conference, 2014

Measuring Global Similarity Between Texts.

[BibT_eX]

[DOI]

Proceedings of the Statistical Language and Speech Processing, 2014

A variability perspective of mutation analysis.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Scalable Verification of Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

Quantitative Anonymity Evaluation of Voting Protocols.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

Faster Statistical Model Checking by Means of Abstraction and Learning.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 5th International Conference, 2014

Configurable Formal Methods for Extreme Modeling.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

Building faithful high-level models and performance evaluation of manycore embedded systems.

[BibT_eX]

[DOI]

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.

[BibT_eX]

[DOI]

Stefan Naujokat

Malte Isberner

Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Statistical Model Checking Past, Present, and Future - (Track Introduction).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Coverage Criteria for Behavioural Testing of Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

A Formalism for Stochastic Adaptive Systems.

[BibT_eX]

[DOI]

Benoît Boyer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Structural Refinement for the Modal nu-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Heterogeneous Timed Machines.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Information Leakage of Non-Terminating Processes.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Sound Merging and Differencing for Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Specification Theories for Probabilistic and Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Parametric and Quantitative Extensions of Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

On Time with Minimal Expected Cost!

[BibT_eX]

[DOI]

Didier Lime

Mathias Grund Sørensen

Jakob Haahr Taankvist

Proceedings of the Automated Technology for Verification and Analysis, 2014

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Dependable Software Systems, 2013

Model Checking Adaptive Software with Featured Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.

[BibT_eX]

[DOI]

Jean-François Raskin

IEEE Trans. Software Eng., 2013

Rigorous embedded design: challenges and perspectives.

[BibT_eX]

[DOI]

Saddek Bensalem

Marius Bozga

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

Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Pushdown module checking with imperfect information.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Weighted modal transition systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps.

[BibT_eX]

[DOI]

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

SoS contract verification using statistical model checking.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

Lightweight Monte Carlo Algorithm for Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2013

Verification for Reliable Product Lines.

[BibT_eX]

[DOI]

Amir Molzam Sharifloo

Carlo Ghezzi

CoRR, 2013

Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach.

[BibT_eX]

[DOI]

Alexandre Arnold

Benoît Boyer

Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

A Completion Algorithm for Lattice Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2013

ProVeLines: a product line of verifiers for software product lines.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Stochastic modeling and performance analysis of multimedia SoCs.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Optimizing Control Strategy Using Statistical Model Checking.

[BibT_eX]

[DOI]

Dehui Du

Proceedings of the NASA Formal Methods, 2013

Synthesizing distributed scheduling implementation for probabilistic component-based systems.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Efficient quality assurance of variability-intensive systems.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Beyond boolean product-line model checking: dealing with feature attributes and multi-features.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

A framework for the rigorous design of highly adaptive timed systems.

[BibT_eX]

[DOI]

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

A Timed Component Algebra for Services.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2013

Probabilistic Modal Specifications (Invited Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Behavioural templates improve robot motion planning with social force model in human environments.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A Tag Contract Framework for Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Motion planning in crowds using statistical model checking to enhance the social force model.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Importance Splitting for Statistical Model Checking Rare Properties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

QUAIL: A Quantitative Security Analyzer for Imperative Code.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

PyEcdar: Towards Open Source Implementation for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

Kleene Algebras and Semimodules for Energy Problems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

Generalized Quantitative Analysis of Metric Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

Tag Machines for Modeling Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

Incremental Generation of Linear Invariants for Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Extrapolating (omega-)regular model checking.

[BibT_eX]

[DOI]

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

Compositional verification of real-time systems using Ecdar.

[BibT_eX]

[DOI]

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

Model checking software product lines with SNIP.

[BibT_eX]

[DOI]

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

Statistical abstraction and model-checking of large heterogeneous systems.

[BibT_eX]

[DOI]

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

Modal event-clock specifications for timed component-based design.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

New results for Constraint Markov Chains.

[BibT_eX]

[DOI]

Perform. Evaluation, 2012

Extending modal transition systems with structured labels.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

Consistency and refinement for Interval Markov Chains.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Statistical Model Checking for Stochastic Hybrid Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

A Robust Specification Theory for Modal Event-Clock Automata

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

[BibT_eX]

[DOI]

Zheng Wang

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Tree Regular Model Checking for Lattice-Based Automata

[BibT_eX]

[DOI]

CoRR, 2012

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Interactions, 2012

On timed alternating simulation for concurrent timed games.

[BibT_eX]

[DOI]

Laura Bozzelli

Sophie Pinchinat

Acta Informatica, 2012

Quantitative Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Managing evolution in software product lines: a model-checking perspective.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Platform for High Performance Statistical Model Checking - PLASMA.

[BibT_eX]

[DOI]

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

Towards an incremental automata-based approach for software product-line model checking.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Behavioural modelling and verification of real-time software product lines.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Rewrite-Based Statistical Model Checking of WMTL.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

Checking and Distributing Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

[BibT_eX]

[DOI]

Guangyuan Li

Amélie Stainer

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

A Vision for Behavioural Model-Driven Validation of Software Product Lines.

[BibT_eX]

[DOI]

Benoit Baudry

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Runtime Verification of Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Simulation-based abstractions for software product-line model checking.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Equational Abstraction Refinement for Certified Tree Regular Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

Synchronous Interface Theories and Time Triggered Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

Moving from Specifications to Contracts in Component-Based Design.

[BibT_eX]

[DOI]

Rolf Hennicker

Ulrik Nyman

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Component Interfaces with Contracts on Ports.

[BibT_eX]

[DOI]

Rolf Hennicker

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

General Quantitative Specification Theories with Modalities.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2012

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Constraint Markov Chains.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Hardness of preorder checking for basic formalisms.

[BibT_eX]

[DOI]

Laura Bozzelli

Sophie Pinchinat

Theor. Comput. Sci., 2011

A Modal Interface Theory for Component-based Design.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects.

[BibT_eX]

[DOI]

Benoît Caillaud

Formal Methods Syst. Des., 2011

Distributed Parametric and Statistical Model Checking

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

[BibT_eX]

[DOI]

Jonas van Vliet

Zheng Wang

CoRR, 2011

Distributed Event Clock Automata - Extended Abstract.

[BibT_eX]

[DOI]

James Jerson Ortiz

Proceedings of the Implementation and Application of Automata, 2011

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 10th International Conference, 2011

APAC: A Tool for Reasoning about Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

D-Finder 2: Towards Efficient Correctness of Incremental Design.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

Vision Paper: Make a Difference! (Semantically).

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Quantitative Refinement for Weighted Modal Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Efficient deadlock detection for concurrent systems.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Decision Problems for Interval Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2011

Symbolic model checking of software product lines.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

The Quantitative Linear-Time--Branching-Time Spectrum.

[BibT_eX]

[DOI]

Claus R. Thrane

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Robust Specification of Real Time Components.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Statistical Model Checking for Networks of Priced Timed Automata.

[BibT_eX]

[DOI]

Jonas van Vliet

Zheng Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Time for Statistical Model Checking of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces.

[BibT_eX]

[DOI]

Philip Mayer

Proceedings of the Automated Technology for Verification and Analysis, 2011

New Results on Abstract Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

On (Omega-)regular model checking.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

On simulation-based probabilistic model checking of mixed-analog circuits.

[BibT_eX]

[DOI]

Alexandre Donzé

Formal Methods Syst. Des., 2010

A Few Considerations on Structural and Logical Composition in Specification Theories

[BibT_eX]

[DOI]

Proceedings of the Proceedings Foundations for Interface Technologies, 2010

Statistical Model Checking : An Overview

[BibT_eX]

[DOI]

CoRR, 2010

New Results on Timed Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Complexity Bounds for the Verification of Real-Time Software.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

Incremental Invariant Generation for Compositional Design.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Statistical Model Checking: An Overview.

[BibT_eX]

[DOI]

Saddek Bensalem

Proceedings of the Runtime Verification - First International Conference, 2010

Verification of an AFDX Infrastructure Using Simulations and Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Compositional Design Methodology with Constraint Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Model checking lots of systems: efficient verification of temporal properties in software product lines.

[BibT_eX]

[DOI]

Jean-François Raskin

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Timed I/O automata: a complete specification theory for real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

Memory Event Clocks.

[BibT_eX]

[DOI]

James Jerson Ortiz

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Incremental component-based construction and verification using invariants.

[BibT_eX]

[DOI]

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems.

[BibT_eX]

[DOI]

Ulrik Nyman

Proceedings of the Automated Technology for Verification and Analysis, 2010

Robustness of Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems.

[BibT_eX]

[DOI]

Benoît Caillaud

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Computing Convex Hulls by Automata Iteration.

[BibT_eX]

[DOI]

François Cantin

Int. J. Found. Comput. Sci., 2009

Some Models and Tools for Open Systems

[BibT_eX]

[DOI]

CoRR, 2009

Qualitative Logics and Equivalences for Probabilistic Systems

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Log. Methods Comput. Sci., 2009

A Framework to Handle Linear Temporal Properties in (\omega-)Regular Model Checking

[BibT_eX]

[DOI]

Ahmed Bouajjani

CoRR, 2009

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.

[BibT_eX]

[DOI]

Alexandre Donzé

Gilles Clermont

Christopher James Langmead

Proceedings of the Research in Computational Molecular Biology, 2009

Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems.

[BibT_eX]

[DOI]

Mahesh Viswanathan

Proceedings of the QEST 2009, 2009

A Compositional Approach on Modal Specifications for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Modal interfaces: unifying interface automata and modal specifications.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

A Bayesian Approach to Model Checking Biological Systems.

[BibT_eX]

[DOI]

Sumit Kumar Jha

Christopher James Langmead

André Platzer

Paolo Zuliani

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

Model Checking Quantitative Linear Time Logic.

[BibT_eX]

[DOI]

Mariëlle Stoelinga

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

On Automated Verification of Probabilistic Programs.

[BibT_eX]

[DOI]

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

µ-calculus Pushdown Module Checking with Imperfect State Information.

[BibT_eX]

[DOI]

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.

[BibT_eX]

[DOI]

Alexandre Donzé

Proceedings of the Hardware and Software: Verification and Testing, 2008

Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.

[BibT_eX]

[DOI]

Christopher James Langmead

James R. Faeder

Leonard A. Harris

Sumit Kumar Jha

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

T(O)RMC: A Tool for (omega)-Regular Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Tree regular model checking: A simulation-based approach.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

An Introduction to the Tool Ticc.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Ticc: A Tool for Interface Compatibility and Composition.

[BibT_eX]

[DOI]

B. Thomas Adler

Leandro Dias da Silva

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Simulation-Based Iteration of Tree Transducers.

[BibT_eX]

[DOI]

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

Sociable Interfaces.

[BibT_eX]

[DOI]

Leandro Dias da Silva

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

2004

Handling Liveness Properties in (omega-)Regular Model Checking.

[BibT_eX]

[DOI]

Ahmed Bouajjani

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Omega-Regular Model Checking.

[BibT_eX]

[DOI]

Bernard Boigelot

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

2003

Iterating Transducers in the Large (Extended Abstract).

[BibT_eX]

[DOI]

Bernard Boigelot