Dan Marius Regep

According to our database, Dan Marius Regep authored at least 4 papers between 2000 and 2004.

Collaborative distances:

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

2004

Modeling and verifying behavioral aspects.

François Breant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, Emmanuel Paviot-Adet, Denis Poitrenaud, Dan Marius Regep, Grégoire Sutre

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2002

A Model Based Development Approach for Distributed Embedded Systems.

Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001

LfP : A Specification Language for Rapid Prototyping of Concurrent Systems.

Dan Marius Regep, Fabrice Kordon

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

2000

Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator.

Dan Marius Regep, Fabrice Kordon

Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), 2000