Error in query: No results found.
The path you have selected does not seem valid. Please return to the previous page and verify the information provided.
Sanjay Rawat, Laurent Mounier, Marie-Laure Potet:
LiSTT: An Investigation into Unsound-incomplete Yet Practical Result Yielding Static Taintflow Analysis
Susanne Graf, Sophie Quinton:
Knowledge-based Construction of Distributed Constrained Systems
The Unmet Challenge of Timed Systems
Distributed Implementation of Constrained Systems based on Knowledge
Oded Maler, Irini Eleftheria Mens:
Learning Regular Languages over Large Alphabets
Pranav Tendulkar, Peter Poplavko, Oded Maler:
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores
[funded PhD] Abstract domains for hybrid systems verification
Registering with the site
You can take an active part in this website and write your own articles by registering below. You will then receive immediately an email giving you an access code to the private area of the site.
How to reach us
Jobs and Internships
Workshops and Conferences
Site created with SPIP 2.1.26
Logged in visitors: