Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Analysis of Stateflow Models
Related publications
Trace Partitioning in Abstract Interpretation Based Static Analyzers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cooperative Query Answering by Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dedicated Static Sampling Pointcut Designators
Grammar Analysis and Parsing by Abstract Interpretation
Process Safety Management: An Outline for Compliance
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
Towards a Calculus for Non-Linear Spectral Gaps: [Extended Abstract]
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework
ACM Transactions on Programming Languages and Systems
Software
