( en | de | ru )

 

Disambiguation of "Seceleanu, Cristina Cerschi"

Author of the publication

copydeleteadd this publication to your clipboard
Message from the CORCS 2008 Workshop Organizers.

, , and . COMPSAC, page 1295. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Cristina Sattarhoff

Cristina Häring

Cristina Cozzini

Cristina Voss

Cristina Niculescu

 

Other publications of authors with the same name

REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems., , , and . ASE, page 361-362. ACM, (2010)Modeling and Reasoning about Service Behaviors and Their Compositions., , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 82-96. Springer, (2010)Symbolic Simulation of Hybrid Systems., , and . APSEC, page 147-. IEEE Computer Society, (2002)Message from the CORCS 2008 Workshop Organizers., , and . COMPSAC, page 1295. IEEE Computer Society, (2008)Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain., , , , and . COMPSAC Workshops, page 167-173. IEEE Computer Society, (2016)978-1-4673-8845-0.Contracts and Games in Controller Synthesis for Discrete Systems., and . ECBS, page 307-315. IEEE Computer Society, (2004)ABV - A Verifier for the Architecture Analysis and Design Language (AADL)., , , and . ICECCS, page 355-360. IEEE Computer Society, (2011)Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions., , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 74-87. Springer, (2014)Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability., , and . CIMCA/IAWTIC/ISE, page 302-308. IEEE Computer Society, (2008)Designing Controllers for Reachability.. COMPSAC (1), page 196-203. IEEE Computer Society, (2005)