Axel Legay
According to our database1, Axel Legay
authored at least 325 papers
between 2003 and 2018.
Collaborative distances :
Collaborative distances :
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
On csauthors.net:
Bibliography
2018
High-level frameworks for the specification and verification of scheduling problems.
STTT, 2018
Compositionality for quantitative specifications.
Soft Comput., 2018
Formal verification of probabilistic SystemC models with statistical model checking.
Journal of Software: Evolution and Process, 2018
Dynamic networks of heterogeneous timed machines.
Mathematical Structures in Computer Science, 2018
Model-based mutant equivalence detection using automata language equivalence and simulations.
Journal of Systems and Software, 2018
When time meets test.
Int. J. Inf. Sec., 2018
On the Performance of Deep Learning for Side-channel Analysis.
IACR Cryptology ePrint Archive, 2018
Scalable Approximation of Quantitative Information Flow in Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
A Language for Analyzing Security of IOT Systems.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018
Sequential Relational Decomposition.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Trace checking for dynamic software product lines.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Statistical Model Checking of LLVM Code.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Let's shock our IoT's heart: ARMv7-M under (fault) attacks.
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018
2017
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning.
Dependable Software Systems Engineering, 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
An Application of SMC to continuous validation of heterogeneous systems.
EAI Endorsed Trans. Indust. Netw. & Intellig. Syst., 2017
Profiled SCA with a New Twist: Semi-supervised Learning.
IACR Cryptology ePrint Archive, 2017
The secrets of profiling for side-channel analysis: feature selection matters.
IACR Cryptology ePrint Archive, 2017
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking.
CoRR, 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
Effectiveness of synthesis in concolic deobfuscation.
Computers & Security, 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
How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip.
Proceedings of the Information Security Theory and Practice, 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
MASSE: Modular Automated Syntactic Signature Extraction.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 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
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU.
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.
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
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata.
Proceedings of the Graphical Models for Security - 4th International Workshop, 2017
Compositional Testing of Real-Time Systems.
Proceedings of the ModelEd, TestEd, TrustEd, 2017
HyLeak: Hybrid Analysis Tool for Information Leakage.
Proceedings of the Automated Technology for Verification and Analysis, 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.
Trans. Found. Mastering Chang., 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
Contributions to Statistical Model Checking.
, 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