10 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.PL2012★ 10 cited
Succinct Representations for Abstract Interpretation
Julien Henry, David Monniaux, Matthieu Moy
Abstract interpretation techniques can be made more precise by distinguishing paths inside loops, at the expense of possibly exponential complexity. SMT-solving techniques and spar…
cs.PF2010
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Karine Altisen, Yanhong Liu, Matthieu Moy
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order…