328 citations · 332 across the 3 of their papers we have counts for
4 papers
Tropical Abstraction of Biochemical Reaction Networks with Guarantees
Andreea Beica, Jérôme Feret, Tatjana Petrov
Biochemical molecules interact through modification and binding reactions, giving raise to a combinatorial number of possible biochemical species. The time-dependent evolution of c…
Lumpability Abstractions of Rule-based Systems
Jerome Feret, Thomas Henzinger, Heinz Koeppl +1
The induction of a signaling pathway is characterized by transient complex formation and mutual posttranslational modification of proteins. To faithfully capture this combinatorial…
Partitioning the Threads of a Mobile System
Jérôme Feret
In this paper, we show how thread partitioning helps in proving properties of mobile systems. Thread partitioning consists in gathering the threads of a mobile system into several…
A Static Analyzer for Large Safety-Critical Software
Bruno Blanchet, Patrick Cousot, Radhia Cousot +5
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs…