Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Matthieu Wipliez

Classification of Dataflow Actors With Satisfiability and Abstract Interpretation

International Journal of Embedded and Real-Time Communication Systems
Computer Science
2012English

Related publications

Compositional Dataflow via Abstract Transition Systems

2013English

Basic Concepts of Abstract Interpretation

IFIP International Federation for Information Processing
2004English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Verification, Model Checking and Abstract Interpretation

1997English

Langley Deep Field, Discovery and Interpretation: ABSTRACT

AAPG Bulletin
Planetary SciencesEnergy EngineeringPetrologyEnergyGeologyFuel TechnologyGeochemistryEarthPower Technology
1984English

Grammar Analysis and Parsing by Abstract Interpretation

English

Partial Model Checking via Abstract Interpretation

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2010English

Cooperative Query Answering by Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy