Cristina Cerschi Seceleanu

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 2

Top Topics

Ambient Assisted Living

Embedded Systems

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

J. Log. Algebraic Methods Program.

COMPSAC Workshops

Publications

Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez
Analyzing ambient assisted living solutions: A research perspective. DTIS (2017)
Predrag Filipovikj, Trevor Jagerfield, Mattias Nyberg, Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain. COMPSAC Workshops (2016)
Cristina Cerschi Seceleanu, Paul Pettersson
Foreword. J. Log. Algebraic Methods Program. 84 (1) (2015)
Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson
Adaptive Task Automata with Earliest-Deadline-First Scheduling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC (2014)
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. ISoLA (2) (2014)
Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Cerschi Seceleanu, Paul Pettersson
A Model-Based Testing Framework for Automotive Embedded Systems. EUROMICRO-SEAA (2014)
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson
An Analyzable Model of Automated Service Negotiation. SOSE (2013)
Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM (2013)
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Cerschi Seceleanu
A Design Tool for Service-oriented Systems. Electron. Notes Theor. Comput. Sci. 295 (2013)
Leo Hatvani, Cristina Cerschi Seceleanu, Paul Pettersson
Modeling and analysis of adaptive embedded systems using adaptive task automata. SIGBED Rev. 10 (1) (2013)
Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. FTSCS (2013)
Cristina Cerschi Seceleanu, Ivica Crnkovic
Component Models for Reasoning. Computer 46 (11) (2013)
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120 (2013)
Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. ICECCS (2012)
Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. FASE (2012)
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson
Checking Correctness of Services Modeled as Priced Timed Automata. ISoLA (2) (2012)
Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson
ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS (2011)
Khalid Latif, Tiberiu Seceleanu, Cristina Cerschi Seceleanu, Hannu Tenhunen
Service based communication for MPSoC platform-SegBus. Microprocess. Microsystems 35 (7) (2011)
Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. QSIC (2011)
Cristina Cerschi Seceleanu
Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction. COMPSAC (2011)
Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson
Pattern-Driven Support for Designing Component-Based Architectural Models. ECBS (2011)
Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Cerschi Seceleanu
Integrating Behavioral Descriptions into a Component Model for Embedded Systems. EUROMICRO-SEAA (2010)
Dinko Ivanov, Marin Orlic, Cristina Cerschi Seceleanu, Aneta Vulgarakis
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems. ASE (2010)
Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson
Modeling and Reasoning about Service Behaviors and Their Compositions. ISoLA (2) (2010)
Khalid Latif, Tiberiu Seceleanu, Cristina Cerschi Seceleanu, Hannu Tenhunen
Resource-aware task allocation and scheduling for segbus platform. ICECS (2010)
Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson
Bridging the Semantic Gap between Abstract Models of Embedded Systems. CBSE (2010)
Tiberiu Seceleanu, Ivica Crnkovic, Cristina Cerschi Seceleanu
Transaction Level Control for Application Execution on the SegBus Platform. COMPSAC (1) (2009)
Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson
REMES: A Resource Model for Embedded Systems. ICECCS (2009)
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson
Formal Semantics of the ProCom Real-Time Component Model. EUROMICRO-SEAA (2009)
Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson
Analyzing a Pattern-Based Model of a Real-Time Turntable System. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Aneta Vulgarakis, Cristina Cerschi Seceleanu
Embedded Systems Resources: Views on Modeling and Analysis. COMPSAC (2008)
Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson
Scheduling Timed Modules for Correct Resource Sharing. ICST (2008)
Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson
Message from the CORCS 2008 Workshop Organizers. COMPSAC (2008)
Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson
CORCS 2008 Workshop Organization. COMPSAC (2008)
Aida Causevic, Paul Pettersson, Cristina Cerschi Seceleanu
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability. CIMCA/IAWTIC/ISE (2008)
Fevzi Belli, Cristina Cerschi Seceleanu
Panel Description: 40 Years of Software Engineering. COMPSAC (2008)
Cristina Cerschi Seceleanu
Formal Development of Real-Time Priority-Based Schedulers. ECBS (2005)
Cristina Cerschi Seceleanu
Designing Controllers for Reachability. COMPSAC (1) (2005)
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
Modular Design of Reactive Systems. COMPSAC (2004)
Ralph-Johan Back, Cristina Cerschi Seceleanu
Contracts and Games in Controller Synthesis for Discrete Systems. ECBS (2004)
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
Synchronization Can Improve Reactive Systems Control and Modularity. J. Univers. Comput. Sci. 10 (10) (2004)
Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm
Symbolic Simulation of Hybrid Systems. APSEC (2002)