Emmanuelle Encrenaz

From MaRDI portal
Person:453475

Available identifiers

zbMath Open encrenaz.emmanuelleMaRDI QIDQ453475

List of research outcomes





PublicationDate of PublicationType
An Inverse Method for Parametric Timed Automata2015-03-23Paper
Automatic Verification of Counter Systems With Ranking Function2015-03-19Paper
Time separation of events: an inverse method2014-01-17Paper
CTL-property transformations along an incremental design process2013-09-26Paper
Feasibility analysis for robustness quantification by symbolic model checking2012-09-27Paper
Correct Hardware Design and Verification Methods2010-02-05Paper
AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA2009-11-19Paper
https://portal.mardi4nfdi.de/entity/Q30452552004-08-12Paper

Research outcomes over time

This page was built for person: Emmanuelle Encrenaz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:453475&oldid=6954144"
Powered by MediaWiki