Axel Legay

According to our database1, Axel Legay
  • authored at least 298 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Statistical prioritization for software product line testing: an experience report.
Software and System Modeling, 2017

An Application of SMC to continuous validation of heterogeneous systems.
EAI Endorsed Trans. Indust. Netw. & Intellig. Syst., 2017

Featured Weighted Automata.
CoRR, 2017

An ω-Algebra for Real-Time Energy Problems.
CoRR, 2017

A framework for quantitative modeling and analysis of highly (re)configurable systems.
CoRR, 2017

An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions.
Acta Cybern., 2017

An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras.
Acta Cybern., 2017

On quantitative requirements for product lines.
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.
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Practical controller synthesis for MTL0, ∞.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

On Featured Transition Systems.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Compatibility flooding: measuring interaction of services interfaces.
Proceedings of the Symposium on Applied Computing, 2017

Extensible Energy Planning Framework for Preemptive Tasks.
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.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

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

Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults.
Proceedings of the Human Aspects of Information Security, Privacy and Trust, 2017

Verification of Interlocking Systems Using Statistical Model Checking.
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Information Leakage as a Scheduling Resource.
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.
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks.
Proceedings of the Progress in Cryptology - AFRICACRYPT 2017, 2017

2016
ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis.
ACM Trans. Embedded Comput. Syst., 2016

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.
ACM Trans. Embedded Comput. Syst., 2016

Command-based importance sampling for statistical model checking.
Theor. Comput. Sci., 2016

Component-based verification using incremental design and invariants.
Software and System Modeling, 2016

Optimizing the resource requirements of hierarchical scheduling systems.
SIGBED Review, 2016

A tag contract framework for modeling heterogeneous systems.
Sci. Comput. Program., 2016

Attainable unconditional security for shared-key cryptosystems.
Inf. Sci., 2016

Statistical Model Checking with Change Detection.
T. Foundations for Mastering Change, 2016

Vulnerability Prediction Against Fault Attacks.
ERCIM News, 2016

Bypassing Malware Obfuscation with Dynamic Synthesis.
ERCIM News, 2016

Long-Term Average Cost in Featured Transition Systems.
CoRR, 2016

A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories.
CoRR, 2016

Verification of interlocking systems using statistical model checking.
CoRR, 2016

Performance Evaluation of Complex Systems Using the SBIP Framework.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Search-based Similarity-driven Behavioural SPL Testing.
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.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

An Application of SMC to continuous validation of heterogeneous systems.
Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques, 2016

Importance Sampling for Stochastic Timed Automata.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Counterexample guided abstraction refinement of product-line behavioural models.
Proceedings of the Software Engineering 2016, 2016

A formal modeling and analysis framework for software product line of preemptive real-time systems.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Rare Events for Statistical Model Checking an Overview.
Proceedings of the Reachability Problems - 10th International Workshop, 2016

A Logic for the Statistical Model Checking of Dynamic Software Architectures.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Plasma Lab: A Modular Statistical Model Checking Platform.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

On the Power of Statistical Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Statistical Model Checking: Past, Present, and Future.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Feedback Control for Statistical Model Checking of Cyber-Physical Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Security and Privacy of Protocols and Software with Formal Methods.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Statistical Model Checking for Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

On the Expressiveness of Symmetric Communication.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

A complexity tale: web configurators.
Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, 2016

Featured model types: towards systematic reuse in modelling language engineering.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Featured model-based mutation analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

Statistical Model Checking for SystemC Models.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Modelling Attack-defense Trees Using Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow.
Proceedings of the FM 2016: Formal Methods, 2016

Statistical Model Checking of Dynamic Software Architectures.
Proceedings of the Software Architecture - 10th European Conference, 2016

Ransomware and the Legacy Crypto API.
Proceedings of the Risks and Security of Internet and Systems, 2016

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating.
Proceedings of the Risks and Security of Internet and Systems, 2016

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Quantifying information leakage of randomized protocols.
Theor. Comput. Sci., 2015

Statistical model checking QoS properties of systems with SBIP.
STTT, 2015

Statistical model checking: challenges and perspectives.
STTT, 2015

Generating counterexamples of model-based software product lines.
STTT, 2015

Real-time specifications.
STTT, 2015

Statistical model checking for biological systems.
STTT, 2015

Uppaal SMC tutorial.
STTT, 2015

Schedulability of Herschel revisited using statistical model checking.
STTT, 2015

Smart sampling for lightweight verification of Markov decision processes.
STTT, 2015

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

Navigation assistance and guidance of older adults across complex public spaces: the DALi approach.
Intelligent Service Robotics, 2015

GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems.
ERCIM News, 2015

Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL.
ERCIM News, 2015

Verifying Systems-of-Systems with Statistical Model Checking.
ERCIM News, 2015

Estimating Rewards & Rare Events in Nondeterministic Systems.
ECEASST, 2015

Distributed Verification of Rare Properties using Importance Splitting Observers.
ECEASST, 2015

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

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers.
CoRR, 2015

On the Expressiveness of Joining.
Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

*-Continuous Kleene ω-Algebras for Energy Problems.
Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015

*-Continuous Kleene ω-Algebras.
CoRR, 2015

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking.
Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment.
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

Attainable Unconditional Security for Shared-Key Cryptosystems.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

SPLat 2015: Second International Workshop on Software Product Line Analysis Tools.
Proceedings of the 19th International Conference on Software Product Line, 2015

Statistical analysis of probabilistic models of software product lines with quantitative constraints.
Proceedings of the 19th International Conference on Software Product Line, 2015

Comparative Analysis of Leakage Tools on Scalable Case Studies.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Merging Features in Featured Transition Systems.
Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

State machine flattening, a mapping study and tools assessment.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Measuring Behaviour Interactions between Product-Line Features.
Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Resource-Parameterized Timing Analysis of Real-Time Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Modeling and Verification for Probabilistic Properties in Software Product Lines.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Statistical Model Checking of Simulink Models with Plasma Lab.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

An omega-Algebra for Real-Time Energy Problems.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

*-Continuous Kleene ω-Algebras.
Proceedings of the Developments in Language Theory - 19th International Conference, 2015

Modelling Social-Technical Attacks with Timed Automata.
Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

Partial Higher-dimensional Automata.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014
Robust synthesis for real-time systems.
Theor. Comput. Sci., 2014

The quantitative linear-time-branching-time spectrum.
Theor. Comput. Sci., 2014

Formal semantics, modular specification, and symbolic verification of product-line behaviour.
Sci. Comput. Program., 2014

A modal specification theory for components with data.
Sci. Comput. Program., 2014

A meta-theory for component interfaces with contracts on ports.
Sci. Comput. Program., 2014

Stuttering for Abstract Probabilistic Automata.
J. Log. Algebr. Program., 2014

Maximizing entropy over Markov processes.
J. Log. Algebr. Meth. Program., 2014

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

Refinement and Difference for Probabilistic Automata
Logical Methods in Computer Science, 2014

Dynamic Verification of SystemC with Statistical Model Checking.
CoRR, 2014

Lightweight Verification of Markov Decision Processes with Rewards.
CoRR, 2014

Structural Refinement for the Modal nu-Calculus.
CoRR, 2014

Homotopy Bisimilarity for Higher-Dimensional Automata.
CoRR, 2014

Compositionality for Quantitative Specifications.
CoRR, 2014

Measuring Structural Distances between Texts.
CoRR, 2014

State Machine Flattening: Mapping Study and Assessment.
CoRR, 2014

Smart Sampling for Lightweight Verification of Markov Decision Processes.
CoRR, 2014

General quantitative specification theories with modal transition systems.
Acta Inf., 2014

Towards statistical prioritization for software product lines testing.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

On Statistical Model Checking with PLASMA.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

SPLat 2014: First International Workshop on Software Product Line Analysis Tools.
Proceedings of the 18th International Software Product Line Conference, 2014

Measuring Global Similarity Between Texts.
Proceedings of the Statistical Language and Speech Processing, 2014

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

Counterexample guided abstraction refinement of product-line behavioural models.
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.
Proceedings of the Software Engineering and Formal Methods, 2014

Quantitative Anonymity Evaluation of Voting Protocols.
Proceedings of the Software Engineering and Formal Methods, 2014

Faster Statistical Model Checking by Means of Abstraction and Learning.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Configurable Formal Methods for Extreme Modeling.
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.
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.
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.
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).
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.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

A Formalism for Stochastic Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Structural Refinement for the Modal nu-Calculus.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Heterogeneous Timed Machines.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Information Leakage of Non-Terminating Processes.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Sound Merging and Differencing for Class Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Compositionality for Quantitative Specifications.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Specification Theories for Probabilistic and Real-Time Systems.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Parametric and Quantitative Extensions of Modal Transition Systems.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

On Time with Minimal Expected Cost!
Proceedings of the Automated Technology for Verification and Analysis, 2014

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.
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.
Proceedings of the Engineering Dependable Software Systems, 2013

Model Checking Adaptive Software with Featured Transition Systems.
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.
IEEE Trans. Software Eng., 2013

Rigorous embedded design: challenges and perspectives.
STTT, 2013

Abstract Probabilistic Automata.
Inf. Comput., 2013

Pushdown module checking with imperfect information.
Inf. Comput., 2013

Weighted modal transition systems.
Formal Methods in System Design, 2013

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps.
Electr. Notes Theor. Comput. Sci., 2013

Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata.
ECEASST, 2013

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

SoS contract verification using statistical model checking.
Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

Lightweight Monte Carlo Algorithm for Markov Decision Processes.
CoRR, 2013

Kleene Algebras and Semimodules for Energy Problems.
CoRR, 2013

Towards Statistical Prioritization for Software Product Lines Testing.
CoRR, 2013

Verification for Reliable Product Lines.
CoRR, 2013

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

Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach.
Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

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

A Completion Algorithm for Lattice Tree Automata.
Proceedings of the Implementation and Application of Automata, 2013

Quantifying Information Leakage of Randomized Protocols.
Proceedings of the Verification, 2013

ProVeLines: a product line of verifiers for software product lines.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Stochastic modeling and performance analysis of multimedia SoCs.
Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

Refinement and Difference for Probabilistic Automata.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Optimizing Control Strategy Using Statistical Model Checking.
Proceedings of the NASA Formal Methods, 2013

Synthesizing distributed scheduling implementation for probabilistic component-based systems.
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Stuttering for Abstract Probabilistic Automata.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

Maximizing Entropy over Markov Processes.
Proceedings of the Language and Automata Theory and Applications, 2013

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.
Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Efficient quality assurance of variability-intensive systems.
Proceedings of the 35th International Conference on Software Engineering, 2013

Beyond boolean product-line model checking: dealing with feature attributes and multi-features.
Proceedings of the 35th International Conference on Software Engineering, 2013

A framework for the rigorous design of highly adaptive timed systems.
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

A Timed Component Algebra for Services.
Proceedings of the Formal Techniques for Distributed Systems, 2013

Probabilistic Modal Specifications (Invited Extended Abstract).
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.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A Tag Contract Framework for Heterogeneous Systems.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.
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.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Importance Splitting for Statistical Model Checking Rare Properties.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

QUAIL: A Quantitative Security Analyzer for Imperative Code.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

PyEcdar: Towards Open Source Implementation for Timed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2013

Kleene Algebras and Semimodules for Energy Problems.
Proceedings of the Automated Technology for Verification and Analysis, 2013

Generalized Quantitative Analysis of Metric Transition Systems.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

Tag Machines for Modeling Heterogeneous Systems.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

Incremental Generation of Linear Invariants for Component-Based Systems.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
Extrapolating (omega-)regular model checking.
STTT, 2012

Compositional verification of real-time systems using Ecdar.
STTT, 2012

Model checking software product lines with SNIP.
STTT, 2012

Statistical abstraction and model-checking of large heterogeneous systems.
STTT, 2012

Modal event-clock specifications for timed component-based design.
Sci. Comput. Program., 2012

New results for Constraint Markov Chains.
Perform. Eval., 2012

Extending modal transition systems with structured labels.
Mathematical Structures in Computer Science, 2012

Consistency and refinement for Interval Markov Chains.
J. Log. Algebr. Program., 2012

Weighted Modal Transition Systems
CoRR, 2012

History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
CoRR, 2012

Statistical Model Checking for Stochastic Hybrid Systems
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

A Robust Specification Theory for Modal Event-Clock Automata
Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Tree Regular Model Checking for Lattice-Based Automata
CoRR, 2012

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
Proceedings of the Proceedings Second International Workshop on Interactions, 2012

Cross-entropy optimisation of importance sampling parameters for statistical model checking
CoRR, 2012

On timed alternating simulation for concurrent timed games.
Acta Inf., 2012

Quantitative Modal Transition Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Managing evolution in software product lines: a model-checking perspective.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Platform for High Performance Statistical Model Checking - PLASMA.
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.
Proceedings of the 16th International Software Product Line Conference, 2012

Behavioural modelling and verification of real-time software product lines.
Proceedings of the 16th International Software Product Line Conference, 2012

Rewrite-Based Statistical Model Checking of WMTL.
Proceedings of the Runtime Verification, Third International Conference, 2012

Checking and Distributing Statistical Model Checking.
Proceedings of the NASA Formal Methods, 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

A Vision for Behavioural Model-Driven Validation of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Runtime Verification of Biological Systems.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Statistical Model Checking QoS Properties of Systems with SBIP.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Simulation-based abstractions for software product-line model checking.
Proceedings of the 34th International Conference on Software Engineering, 2012

Equational Abstraction Refinement for Certified Tree Regular Model Checking.
Proceedings of the Formal Methods and Software Engineering, 2012

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.
Proceedings of the Formal Techniques for Distributed Systems, 2012

Synchronous Interface Theories and Time Triggered Scheduling.
Proceedings of the Formal Techniques for Distributed Systems, 2012

Moving from Specifications to Contracts in Component-Based Design.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Component Interfaces with Contracts on Ports.
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.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

General Quantitative Specification Theories with Modalities.
Proceedings of the Computer Science - Theory and Applications, 2012

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Constraint Markov Chains.
Theor. Comput. Sci., 2011

Hardness of preorder checking for basic formalisms.
Theor. Comput. Sci., 2011

A Modal Interface Theory for Component-based Design.
Fundam. Inform., 2011

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects.
Formal Methods in System Design, 2011

Distributed Parametric and Statistical Model Checking
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
CoRR, 2011

Distributed Event Clock Automata - Extended Abstract.
Proceedings of the Implementation and Application of Automata, 2011

Abstract Probabilistic Automata.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.
Proceedings of the Software Composition - 10th International Conference, SC 2011, Zurich, 2011

APAC: A Tool for Reasoning about Abstract Probabilistic Automata.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

D-Finder 2: Towards Efficient Correctness of Incremental Design.
Proceedings of the NASA Formal Methods, 2011

Vision Paper: Make a Difference! (Semantically).
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Quantitative Refinement for Weighted Modal Transition Systems.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Efficient deadlock detection for concurrent systems.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Decision Problems for Interval Markov Chains.
Proceedings of the Language and Automata Theory and Applications, 2011

Symbolic model checking of software product lines.
Proceedings of the 33rd International Conference on Software Engineering, 2011

The Quantitative Linear-Time--Branching-Time Spectrum.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Robust Specification of Real Time Components.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Statistical Model Checking for Networks of Priced Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

A Modal Specification Theory for Components with Data.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Time for Statistical Model Checking of Real-Time Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces.
Proceedings of the Automated Technology for Verification and Analysis, 2011

New Results on Abstract Probabilistic Automata.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010
On (Omega-)regular model checking.
ACM Trans. Comput. Log., 2010

On simulation-based probabilistic model checking of mixed-analog circuits.
Formal Methods in System Design, 2010

A Few Considerations on Structural and Logical Composition in Specification Theories
Proceedings of the Proceedings Foundations for Interface Technologies, 2010

Statistical Model Checking : An Overview
CoRR, 2010

New Results on Timed Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Complexity Bounds for the Verification of Real-Time Software.
Proceedings of the Verification, 2010

Incremental Invariant Generation for Compositional Design.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Statistical Model Checking: An Overview.
Proceedings of the Runtime Verification - First International Conference, 2010

Verification of an AFDX Infrastructure Using Simulations and Probabilities.
Proceedings of the Runtime Verification - First International Conference, 2010

Compositional Design Methodology with Constraint Markov Chains.
Proceedings of the QEST 2010, 2010

Hardness of Preorder Checking for Basic Formalisms.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Model checking lots of systems: efficient verification of temporal properties in software product lines.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Timed I/O automata: a complete specification theory for real-time systems.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.
Proceedings of the Formal Techniques for Distributed Systems, 2010

Memory Event Clocks.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Incremental component-based construction and verification using invariants.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2010

Robustness of Sequential Circuits.
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.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Computing Convex Hulls by Automata Iteration.
Int. J. Found. Comput. Sci., 2009

Some Models and Tools for Open Systems
CoRR, 2009

Qualitative Logics and Equivalences for Probabilistic Systems
Logical Methods in Computer Science, 2009

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

Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.
Proceedings of the Research in Computational Molecular Biology, 2009

Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems.
Proceedings of the QEST 2009, 2009

A Compositional Approach on Modal Specifications for Timed Systems.
Proceedings of the Formal Methods and Software Engineering, 2009

On Timed Alternating Simulation for Concurrent Timed Games.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Modal interfaces: unifying interface automata and modal specifications.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

A Bayesian Approach to Model Checking Biological Systems.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008
Model Checking Quantitative Linear Time Logic.
Electr. Notes Theor. Comput. Sci., 2008

On (Omega-)Regular Model Checking
CoRR, 2008

Computing Convex Hulls by Automata Iteration.
Proceedings of the Implementation and Applications of Automata, 2008

On Automated Verification of Probabilistic Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

µ-calculus Pushdown Module Checking with Imperfect State Information.
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.
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.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

T(O)RMC: A Tool for (omega)-Regular Model Checking.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Qualitative Logics and Equivalences for Probabilistic Systems.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006
Tree regular model checking: A simulation-based approach.
J. Log. Algebr. Program., 2006

On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address.
Electr. Notes Theor. Comput. Sci., 2006

An Introduction to the Tool Ticc.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Ticc: A Tool for Interface Compatibility and Composition.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Handling Liveness Properties in (omega-)Regular Model Checking.
Electr. Notes Theor. Comput. Sci., 2005

Simulation-Based Iteration of Tree Transducers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

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

2004
Omega-Regular Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003
Iterating Transducers in the Large (Extended Abstract).
Proceedings of the Computer Aided Verification, 15th International Conference, 2003


  Loading...