Cristina Cerschi Seceleanu
Orcid: 0000-0003-2870-2680Affiliations:
- Mälardalen University, Västeras, Sweden
According to our database1,
Cristina Cerschi Seceleanu
authored at least 117 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Theoretical Aspects of Software Engineering, 2024
Proceedings of the 6th IEEE/ACM International Workshop on Robotics Software Engineering, 2024
Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024
2023
Comput. Sci. Inf. Syst., 2023
PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems.
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023
Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin.
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems.
Sci. Comput. Program., 2022
Special issue on Ambient Intelligence in the IoT: Convergence Trends and Challenges (AmIIoT).
J. Ambient Intell. Humaniz. Comput., 2022
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022
2021
Specification and automated verification of atomic concurrent real-time transactions.
Softw. Syst. Model., 2021
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021
Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021
2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Formal Methods for Industrial Critical Systems, 2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Sensors, 2019
J. Ambient Intell. Humaniz. Comput., 2019
Computing, 2019
Proceedings of the Model Checking Software - 26th International Symposium, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019
Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments.
Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019
2018
CoRR, 2018
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
2017
Sci. Comput. Program., 2017
Model-Checking-based vs. SMT-based Consistency Analysis of Industrial Embedded Systems Requirements: Application and Experience.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2017
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Model and Data Engineering - 7th International Conference, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Proceedings of the 8th International Conference on Ambient Systems, 2017
2016
Proceedings of the Ubiquitous Computing and Ambient Intelligence, 2016
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016
CAMI - An Integrated Architecture Solution for Improving Quality of Life of the Elderly.
Proceedings of the Internet of Things Technologies for HealthCare, 2016
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016
Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016
Proceedings of the 2016 2nd International Workshop on Modelling, 2016
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs.
Adv. Comput., 2015
ReSA: An ontology-based requirement specification language tailored to automotive systems.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015
Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
2013
SIGBED Rev., 2013
Reliab. Eng. Syst. Saf., 2013
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013
2012
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2011
Microprocess. Microsystems, 2011
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator.
Proceedings of the 11th International Conference on Quality Software, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011
Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, 2010
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems.
Proceedings of the ASE 2010, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the 17th IEEE International Conference on Electronics, 2010
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010
2009
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
2008
Proceedings of the First International Conference on Software Testing, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008
2005
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
2004
J. Univers. Comput. Sci., 2004
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2002
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002