Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 88 (showing 1 - 50)

Book (3)

Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue (Jan 2015)
Cristina Seceleanu, Paul Pettersson
Special Issue: The 23rd Nordic Workshop on Programming Theory (NWPT 2011) (JLAP-NWPT)

Real-Time Systems (Feb 2010)
Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet , Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu

A Methodology for Constructing Correct Reactive Systems (Jan 2005)
Cristina Seceleanu

Book chapter (1)

A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs (Jul 2015)
Raluca Marinescu, Cristina Seceleanu, Helene Le Guen , Paul Pettersson
Advances in Computers, vol.98 (AC)

Journal article (8)

Analyzing a wind turbine system: From simulation to formal verification (Oct 2016)
Cristina Seceleanu, Morgan Johansson , Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson
Science of Computer Programming, Elsevier (SCICO)

Adaptive Task Automata with Earliest-Deadline-First Scheduling (Nov 2014)
Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson
Electronic Communications of the EASST Volume 70: Automated Verification of Critical Systems (EASST'14)

Component Models for Reasoning (Nov 2013)
Cristina Seceleanu, Ivica Crnkovic
The Computer Journal (Comput. J.)

A methodology for formal analysis and verification of EAST-ADL models (Jul 2013)
Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens , Paul Pettersson
Reliability Engineering & System Safety, vol. 120 (RE&SSvol120)

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Feb 2013)
Leo Hatvani, Cristina Seceleanu, Paul Pettersson
Special Issue on the 4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2012) (SIGBEDRevV10N1)

A Formal Analysis Framework for AADL (Nov 2011)
Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
The Journal of Science and Technology

Service based communication for MPSoC platform-SegBus (Nov 2011)
Khalid Latif , Tiberiu Seceleanu, Cristina Seceleanu, Hannu Tenhunen
Microprocessors and Microsystems

Synchronization Can Improve Reactive Systems Control and Modularity (Oct 2004)
Cristina Seceleanu, Tiberiu Seceleanu
Journal of Universal Computer Science (JUCS)

Conference/Workshop Paper (57)

Customized Real-Time Data Management for Automotive Systems: A Case Study (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)

DAGGTAX: A Taxonomy of Data Aggregation Processes (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
7th International Conference on Model and Data Engineering (MEDI 2017)

A Novel Integrated Architecture for Ambient Assisted Living Systems (Jul 2017)
Ashalatha Kunnappilly, Alexandru Sorici , Imad Alex Awada , Irina Mocanu , Cristina Seceleanu, Adina Magda Florea
The 41st IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017)

Design of Cloud Monitoring Systems via DAGGTAX: a Case Study (May 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017)

Analyzing Ambient Assisted Living Solutions: A Research Perspective (Apr 2017)
Ashalatha Kunnappilly, Axel Legay , Tiziana Margaria , Cristina Seceleanu, Bernhard Steffen , Louis-Marie Tranonouez
12th International Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS 2017)

SMT-based Consistency Analysis of Industrial Systems Requirements (Apr 2017) -- Best Paper Award--
Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu
32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL (Mar 2017)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

Do we need an integrated framework for Ambient Assisted Living ? (Nov 2016)
Ashalatha Kunnappilly, Cristina Seceleanu, Maria Lindén
10th International Conference on Ubiquitous Computing & Ambient Intelligence & International Work-Conference on Ambient Assisted Living (UCAmI & IWAAL )

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking (Nov 2016)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
35th Annual IEEE Software Engineering Workshop (FedCSIS Conference) (SEW-36)

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems (Nov 2016)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn
21st International Symposium on Formal Methods (FM2016)

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation (Oct 2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
24th International Conference on Real-Time Networks and Systems (RTNS'16)

Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis (Sep 2016)
Raluca Marinescu, Saad Mubeen, Cristina Seceleanu
42nd Euromicro Conference series on Software Engineering and Advanced Applications (SEAA 2016)

Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain (Jun 2016)
Predrag Filipovikj, Trevor Jagerfield , Mattias Nyberg , Guillermo Rodriguez-Navas, Cristina Seceleanu
The 10th IEEE International Workshop on Quality Oriented Reuse of Software (QUORS'16)

Towards the Verification of Temporal Data Consistency in Real-Time Data Management (Apr 2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Second International Workshop on modeling, analysis and control of complex Cyber-Physical Systems (CPS Data 2016)

Cyber-physical Systems: Interoperability and Distributed Intelligence (Sep 2015)
Cristina Seceleanu
39th IEEE Annual Computer Software and Applications Conference (COMPSAC 2015)

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL (Jul 2015)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

Trading-off Data Consistency for Timeliness in Real-Time Database Systems (Jul 2015)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
27th Euromicro Conference on Real-Time Systems Work-in-Progress (WiP) session (ECRTS'15 (WiP))

ReSA: An Ontology-based Requirement Specification Language Tailored to Automotive Systems (Jun 2015)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
10th IEEE International Symposium on Industrial Embedded Systems (SIES'15)

Analyzing Industrial Architectural Models by Simulation and Model-Checking (Nov 2014)
Raluca Marinescu, Henrik Kaijser , Marius Mikuèionis , Cristina Seceleanu, Henrik Lönn , Alexandre David
Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2014)

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions (Nov 2014)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA)

Adaptive Task Automata with Earliest-Deadline-First Scheduling (Sep 2014)
Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson
Pre-proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)

A Model-Based Testing Framework for Automotive Embedded Systems (Aug 2014)
Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Seceleanu, Paul Pettersson
The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (Jun 2014)
Guillermo Rodriguez-Navas, Cristina Seceleanu, Hans Hansson, Mattias Nyberg , Oscar Ljungkrantz , Henrik Lönn
51st Annual Design Automation Conference on Design Automation Conference (DAC)

Wind Turbine System : An Industrial Case Study in Formal Modeling and Verification (Oct 2013)
Jagadish Suryadevara, Gaetana Sapienza, Cristina Seceleanu, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson
Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013)

Verifying MARTE/CCSL Mode Behaviors using UPPAAL (Sep 2013)
Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet , Paul Pettersson
11th International Conference on Software Engineering and Formal Methods

A Design Tool for Service-oriented Systems (May 2013)
Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu
Proceedings of the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)

An Analyzable Model of Automated Service Negotiation (Mar 2013)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
IEEE SOSE 2013: 7th International Symposium on Service Oriented System Engineering

An Integrated Framework for Component-based Analysis of Architectural System Models (Nov 2012)
Raluca Marinescu, Cristina Seceleanu, Paul Pettersson
Proceedings of the 24th IFIP International Conference on Testing Software and Systems (ICTSS12) Doctoral Workshop

Checking Correctness of Services Modeled as Priced Timed Automata (Oct 2012)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
Proceedings of 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ViTAL : A Verification Tool for EAST-ADL Models using UPPAAL PORT (Jul 2012)
Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Apr 2012)
Leo Hatvani, Cristina Seceleanu, Paul Pettersson
4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES2012)

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (Mar 2012)
Leo Hatvani, Paul Pettersson, Cristina Seceleanu
FASE12: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (Oct 2011)
Leo Hatvani, Paul Pettersson, Cristina Seceleanu
23rd Nordic Workshop on Programming Theory (NWPT'11)

Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator (Jul 2011)
Aneta Vulgarakis Feljan, Cristina Seceleanu, Paul Pettersson, Ivan Skuliber , Darko Huljenic
11th InternationalConference on Quality Software (QSIC 2011)

Pattern-driven Support for Designing Component-based Architectural Models (Apr 2011)
Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson
18th IEEE International Conference on Engineering of Computer-Based Systems (ECBS)

ABV – A Verifier for the Architecture Analysis and Design Language (AADL) (Apr 2011)
Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
Sixth IEEE International Workshop UML and AADL at ICECCS 2011

Resource-Aware Task Allocation and Scheduling for SegBus Platform (Dec 2010)
Khalid Latif , Tiberiu Seceleanu, Cristina Seceleanu, Hannu Tenhunen
The 17th IEEE International Conference on Electronics, Circuits, and Systems. Athens, Greece, December 12-15, 2010

Modeling and Reasoning about Service Behaviors and their Compositions (Oct 2010)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2010), Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing track

Items per page: