| 2016 | COMPSAC | Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. | Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu |
| 2014 | DAC | Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. | Guillermo Rodrguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lnn |
| 2014 | ISoLA | Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2013 | SEFM | Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. | Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frdric Mallet, Paul Pettersson |
| 2012 | FASE | Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. | Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu |
| 2012 | ICECCS | ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. | Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2012 | ISoLA | Checking Correctness of Services Modeled as Priced Timed Automata. | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2011 | COMPSAC | Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction. | Cristina Cerschi Seceleanu |
| 2011 | ICECCS | ABV - A Verifier for the Architecture Analysis and Design Language (AADL). | Stefan Bjrnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson |
| 2010 | ISoLA | Modeling and Reasoning about Service Behaviors and Their Compositions. | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2009 | COMPSAC | Transaction Level Control for Application Execution on the SegBus Platform. | Tiberiu Seceleanu, Ivica Crnkovic, Cristina Cerschi Seceleanu |
| 2009 | ICECCS | REMES: A Resource Model for Embedded Systems. | Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson |
| 2008 | COMPSAC | Panel Description: 40 Years of Software Engineering. | Fevzi Belli, Cristina Cerschi Seceleanu |
| 2008 | COMPSAC | Message from the CORCS 2008 Workshop Organizers. | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
| 2008 | COMPSAC | CORCS 2008 Workshop Organization. | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
| 2008 | COMPSAC | Embedded Systems Resources: Views on Modeling and Analysis. | Aneta Vulgarakis, Cristina Cerschi Seceleanu |
| 2008 | ICST | Scheduling Timed Modules for Correct Resource Sharing. | Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson |
| 2005 | COMPSAC | Designing Controllers for Reachability. | Cristina Cerschi Seceleanu |
| 2004 | COMPSAC | Modular Design of Reactive Systems. | Cristina Cerschi Seceleanu, Tiberiu Seceleanu |
| 2002 | APSEC | Symbolic Simulation of Hybrid Systems. | Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm |