Adrian Curic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2003–2006
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | TACAS | DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. | Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier |
| 2003 | EMSOFT | Translating Discrete-Time Simulink to Lustre. | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis |