Nicolas Trèves

Publication Activity (10 Years)

Years Active: 1988-2016
Publications (10 Years): 2

Top Topics

Real Time Embedded

Timing Constraints

Architectural Model

Top Venues

ICSOFT (Selected Papers)

Publications

Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trèves
MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems. ICSOFT-EA (2016)
Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Trèves
A New Approach for Automatic Development of Reconfigurable Real-Time Systems. ICSOFT (Selected Papers) (2016)
Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. Petri Nets (2010)
Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves
Efficient state-based analysis by introducing bags in Petri nets color domains. ACC (2009)
Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves
PN Standardisation: A Survey. FORTE (2006)
Nicolas Trèves
A comparative study of different techniques for semi-flows computation in place/transition nets. European Workshop on Applications and Theory in Petri Nets (1988)