PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Feret, Jérôme"

Author of the publication

copydeleteadd this publication to your clipboard
A static analyzer for large safety-critical software.

, , , , , , , and . PLDI, page 196-207. ACM, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jerome Pfeiffer University of Stuttgart

Jerome Hildebrandt University of Stuttgart

 

Other publications of authors with the same name

Combining Model Reductions., , , and . Electr. Notes Theor. Comput. Sci., (2010)Lumpability abstractions of rule-based systems., , , and . Theor. Comput. Sci., (2012)Analyse des systèmes mobiles par interprétation abstraite. (Analysis of mobile systems by abstract interpretation).. École Polytechnique, Palaiseau, France, (2005)Internal coarse-graining of molecular systems., , , , and . Proc. Natl. Acad. Sci. U.S.A., 106 (16): 6453-6458 (2009)Partitioning the Threads of a Mobile System. CoRR, (2008)Counters in Kappa: Semantics, Simulation, and Static Analysis., , and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 176-204. Springer, (2019)Confidentiality Analysis of Mobile Systems.. SAS, volume 1824 of Lecture Notes in Computer Science, page 135-154. Springer, (2000)Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models., and . IEEE/ACM Trans. Comput. Biology Bioinform., 15 (4): 1124-1137 (2018)A static analyzer for large safety-critical software., , , , , , , and . PLDI, page 196-207. ACM, (2003)Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models., and . CMSB, volume 9859 of Lecture Notes in Computer Science, page 116-131. Springer, (2016)