Adrian Curic

According to our database, Adrian Curic authored at least 4 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2005

Translating discrete-time simulink to lustre.

Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic

ACM Trans. Embed. Comput. Syst., 2005

2003

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert

Proceedings of the 2003 Conference on Languages, 2003

Translating Discrete-Time Simulink to Lustre.

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis

Proceedings of the Embedded Software, Third International Conference, 2003