Cristina Cerschi Seceleanu

45 papers A* 2A 1B 12C 1Journal 7Unranked 21

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