Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Cristina Cerschi Seceleanu
@proceedings{DBLP:conf/ecbseerc/2023,
editor = {Jan Kofron and
Tiziana Margaria and
Cristina Seceleanu},
title = {Engineering of Computer-Based Systems - 8th International Conference,
{ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14390},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-49252-5},
doi = {10.1007/978-3-031-49252-5},
isbn = {978-3-031-49251-8},
timestamp = {Thu, 07 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/BackemanKS23,
author = {Peter Backeman and
Ashalatha Kunnappilly and
Cristina Seceleanu},
title = {Supporting 5G service orchestration with formal verification},
journal = {Comput. Sci. Inf. Syst.},
volume = {20},
number = {1},
pages = {329--357},
year = {2023},
url = {https://doi.org/10.2298/csis211001059b},
doi = {10.2298/CSIS211001059B},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comsis/BackemanKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SalariESAS23,
author = {Mikael Ebrahimi Salari and
Eduard Paul Enoiu and
Cristina Seceleanu and
Wasif Afzal and
Filip Sebek},
title = {Automating Test Generation of Industrial Control Software Through
a PLC-to-Python Translation Framework and Pynguin},
booktitle = {30th Asia-Pacific Software Engineering Conference, {APSEC} 2023, Seoul,
Republic of Korea, December 4-7, 2023},
pages = {431--440},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/APSEC60848.2023.00054},
doi = {10.1109/APSEC60848.2023.00054},
timestamp = {Wed, 10 Apr 2024 20:58:45 +0200},
biburl = {https://dblp.org/rec/conf/apsec/SalariESAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/SeceleanuXES23,
author = {Tiberiu Seceleanu and
Ning Xiong and
Eduard Paul Enoiu and
Cristina Seceleanu},
editor = {Jan Kofron and
Tiziana Margaria and
Cristina Seceleanu},
title = {Building a Digital Twin Framework for Dynamic and Robust Distributed
Systems},
booktitle = {Engineering of Computer-Based Systems - 8th International Conference,
{ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14390},
pages = {254--258},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49252-5\_22},
doi = {10.1007/978-3-031-49252-5\_22},
timestamp = {Thu, 07 Dec 2023 14:16:20 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/SeceleanuXES23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/DustPEMSG23,
author = {Lukas Johannes Dust and
Emil Persson and
Mikael Ekstr{\"{o}}m and
Saad Mubeen and
Cristina Seceleanu and
Rong Gu},
title = {Experimental Evaluation of Callback Behavior in {ROS} 2 Executors},
booktitle = {28th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15,
2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ETFA54631.2023.10275668},
doi = {10.1109/ETFA54631.2023.10275668},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/DustPEMSG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/DustGSEM23,
author = {Lukas Johannes Dust and
Rong Gu and
Cristina Seceleanu and
Mikael Ekstr{\"{o}}m and
Saad Mubeen},
editor = {Alessandro Cimatti and
Laura Titolo},
title = {Pattern-Based Verification of {ROS} 2 Nodes Using {UPPAAL}},
booktitle = {Formal Methods for Industrial Critical Systems - 28th International
Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14290},
pages = {57--75},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43681-9\_4},
doi = {10.1007/978-3-031-43681-9\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/DustGSEM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SalariEAS23,
author = {Mikael Ebrahimi Salari and
Eduard Paul Enoiu and
Wasif Afzal and
Cristina Seceleanu},
title = {An Experiment in Requirements Engineering and Testing using {EARS}
Notation for {PLC} Systems},
booktitle = {{IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2023 - Workshops, Dublin, Ireland, April 16-20,
2023},
pages = {10--17},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSTW58534.2023.00016},
doi = {10.1109/ICSTW58534.2023.00016},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SalariEAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SalariEAS23,
author = {Mikael Ebrahimi Salari and
Eduard Paul Enoiu and
Wasif Afzal and
Cristina Seceleanu},
editor = {Jiman Hong and
Maart Lanperne and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}} and
Hossain Shahriar},
title = {PyLC: {A} Framework for Transforming and Validating {PLC} Software
using Python and Pynguin Test Generator},
booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
pages = {1476--1485},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3555776.3577698},
doi = {10.1145/3555776.3577698},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/SalariEAS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2023,
editor = {Virgile Prevosto and
Cristina Seceleanu},
title = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
UK, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14066},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38828-6},
doi = {10.1007/978-3-031-38828-6},
isbn = {978-3-031-38827-9},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaihc/GonzalezLS22,
author = {Iv{\'{a}}n Gonz{\'{a}}lez and
Jos{\'{e}} Gabriel Urzaiz Lares and
Cristina Seceleanu},
title = {Special issue on Ambient Intelligence in the IoT: Convergence Trends
and Challenges (AmIIoT)},
journal = {J. Ambient Intell. Humaniz. Comput.},
volume = {13},
number = {11},
pages = {5279--5281},
year = {2022},
url = {https://doi.org/10.1007/s12652-022-04406-7},
doi = {10.1007/S12652-022-04406-7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaihc/GonzalezLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GuJSEL22,
author = {Rong Gu and
Peter Gj{\o}l Jensen and
Cristina Seceleanu and
Eduard Enoiu and
Kristina Lundqvist},
title = {Correctness-guaranteed strategy synthesis and compression for multi-agent
autonomous systems},
journal = {Sci. Comput. Program.},
volume = {224},
pages = {102894},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102894},
doi = {10.1016/J.SCICO.2022.102894},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GuJSEL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GuJPSEL22,
author = {Rong Gu and
Peter Gj{\o}l Jensen and
Danny B{\o}gsted Poulsen and
Cristina Seceleanu and
Eduard Enoiu and
Kristina Lundqvist},
title = {Verifiable strategy synthesis for multiple autonomous agents: a scalable
approach},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {3},
pages = {395--414},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00657-z},
doi = {10.1007/S10009-022-00657-Z},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GuJPSEL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SalariEAS22,
author = {Mikael Ebrahimi Salari and
Eduard Paul Enoiu and
Wasif Afzal and
Cristina Seceleanu},
title = {Choosing a Test Automation Framework for Programmable Logic Controllers
in {CODESYS} Development Environment},
booktitle = {15th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops {ICST} Workshops 2022, Valencia, Spain, April
4-13, 2022},
pages = {277--284},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSTW55395.2022.00055},
doi = {10.1109/ICSTW55395.2022.00055},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SalariEAS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HuismanS22,
author = {Marieke Huisman and
Cristina Seceleanu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verification and Validation of Concurrent and Distributed Heterogeneous
Systems (Track Summary)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {417--421},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_24},
doi = {10.1007/978-3-031-19849-6\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HuismanS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CaiGNS21,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu},
title = {Specification and automated verification of atomic concurrent real-time
transactions},
journal = {Softw. Syst. Model.},
volume = {20},
number = {2},
pages = {557--589},
year = {2021},
url = {https://doi.org/10.1007/s10270-020-00819-0},
doi = {10.1007/S10270-020-00819-0},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/CaiGNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuXS21,
author = {Tiberiu Seceleanu and
Ning Xiong and
Cristina Seceleanu},
title = {Control as a Service - Intelligent Networking},
booktitle = {{IEEE} 45th Annual Computers, Software, and Applications Conference,
{COMPSAC} 2021, Madrid, Spain, July 12-16, 2021},
pages = {1887--1892},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/COMPSAC51774.2021.00285},
doi = {10.1109/COMPSAC51774.2021.00285},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuXS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/KunnappillyBS21,
author = {Ashalatha Kunnappilly and
Peter Backeman and
Cristina Seceleanu},
title = {From {UML} Modeling to {UPPAAL} Model checking of 5G Dynamic Service
Orchestration},
booktitle = {{ECBS} 2021: 7th Conference on the Engineering of Computer Based Systems,
Novi Sad, Serbia},
pages = {11:1--11:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459960.3459965},
doi = {10.1145/3459960.3459965},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/KunnappillyBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/SeceleanuECLSBC21,
author = {Cristina Seceleanu and
Eduard Paul Enoiu and
Jan Carlson and
Kristina Lundqvist and
S{\'{e}}verine Sentilles and
Moris Behnam and
Gabriele Capannini},
title = {Assured Cloud Platforms for Industrial Cyber-Physical Systems: The
{ACICS} Approach},
booktitle = {{ECBS} 2021: 7th Conference on the Engineering of Computer Based Systems,
Novi Sad, Serbia},
pages = {24:1--24:2},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459960.3459968},
doi = {10.1145/3459960.3459968},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/SeceleanuECLSBC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GuSEL21,
author = {Rong Gu and
Cristina Seceleanu and
Eduard Enoiu and
Kristina Lundqvist},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {676--694},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_37},
doi = {10.1007/978-3-030-90870-6\_37},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/GuSEL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/IsmaeelNSTES21,
author = {Khaled Ismaeel and
Alexandr Naumchev and
Andrey Sadovykh and
Dragos Truscan and
Eduard Paul Enoiu and
Cristina Seceleanu},
editor = {Tao Yue and
Mehdi Mirakhorli},
title = {Security Requirements as Code: Example from VeriDevOps Project},
booktitle = {29th {IEEE} International Requirements Engineering Conference Workshops,
{RE} 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021},
pages = {357--363},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/REW53955.2021.00063},
doi = {10.1109/REW53955.2021.00063},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/IsmaeelNSTES21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KunnappillyBS20,
author = {Ashalatha Kunnappilly and
Peter Backeman and
Cristina Seceleanu},
title = {UML-based Modeling and Analysis of 5G Service Orchestration},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {129--138},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00021},
doi = {10.1109/APSEC51365.2020.00021},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/KunnappillyBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GuESL20,
author = {Rong Gu and
Eduard Enoiu and
Cristina Seceleanu and
Kristina Lundqvist},
editor = {Maurice H. ter Beek and
Dejan Nickovic},
title = {Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents},
booktitle = {Formal Methods for Industrial Critical Systems - 25th International
Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {73--92},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58298-2\_2},
doi = {10.1007/978-3-030-58298-2\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/GuESL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GuESL20,
author = {Rong Gu and
Eduard Enoiu and
Cristina Seceleanu and
Kristina Lundqvist},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Probabilistic Mission Planning and Analysis for Multi-agent Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {350--367},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_20},
doi = {10.1007/978-3-030-61362-4\_20},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GuESL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HuismanS20,
author = {Marieke Huisman and
Cristina Seceleanu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verification and Validation of Concurrent and Distributed Systems
(Track Summary)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {421--425},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_24},
doi = {10.1007/978-3-030-61362-4\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HuismanS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GuES20,
author = {Rong Gu and
Eduard Enoiu and
Cristina Seceleanu},
editor = {Chih{-}Cheng Hung and
Tom{\'{a}}s Cern{\'{y}} and
Dongwan Shin and
Alessio Bechini},
title = {{TAMAA:} UPPAAL-based mission planning for autonomous agents},
booktitle = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
event, [Brno, Czech Republic], March 30 - April 3, 2020},
pages = {1624--1633},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3341105.3374001},
doi = {10.1145/3341105.3374001},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/GuES20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/CaiGNS19,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu},
title = {Data aggregation processes: a survey, a taxonomy, and design guidelines},
journal = {Computing},
volume = {101},
number = {10},
pages = {1397--1429},
year = {2019},
url = {https://doi.org/10.1007/s00607-018-0679-5},
doi = {10.1007/S00607-018-0679-5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computing/CaiGNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaihc/CaiGNSL19,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu and
Alf Larsson},
title = {Tool-supported design of data aggregation processes in cloud monitoring
systems},
journal = {J. Ambient Intell. Humaniz. Comput.},
volume = {10},
number = {7},
pages = {2519--2535},
year = {2019},
url = {https://doi.org/10.1007/s12652-018-0730-6},
doi = {10.1007/S12652-018-0730-6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaihc/CaiGNSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/KunnappillyMS19,
author = {Ashalatha Kunnappilly and
Raluca Marinescu and
Cristina Seceleanu},
title = {A Model-Checking-Based Framework for Analyzing Ambient Assisted Living
Solutions},
journal = {Sensors},
volume = {19},
number = {22},
pages = {5057},
year = {2019},
url = {https://doi.org/10.3390/s19225057},
doi = {10.3390/S19225057},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/KunnappillyMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/SalimiMLSSSDT19,
author = {Maghsood Salimi and
Amin Majd and
Mohammad Loni and
Tiberiu Seceleanu and
Cristina Seceleanu and
Marjan Sirjani and
Masoud Daneshtalab and
Elena Troubitsyna},
editor = {Maria{-}Iuliana Dascalu and
Ondrej Rysav{\'{y}} and
Constanta{-}Nicoleta Bodea and
Moshe Goldstein and
Miodrag Dukic},
title = {Multi-objective Optimization of Real-Time Task Scheduling Problem
for Distributed Environments},
booktitle = {Proceedings of the 6th Conference on the Engineering of Computer Based
Systems, {ECBS} 2019, Bucharest, Romania, September 2-3, 2019},
pages = {13:1--13:9},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3352700.3352713},
doi = {10.1145/3352700.3352713},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/SalimiMLSSSDT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/FilipovikjS19,
author = {Predrag Filipovikj and
Cristina Seceleanu},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Specifying Industrial System Requirements using Specification Patterns:
{A} Case Study of Evaluation with Practitioners},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {92--103},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007726600920103},
doi = {10.5220/0007726600920103},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/FilipovikjS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/KunnappillyCMS19,
author = {Ashalatha Kunnappilly and
Simin Cai and
Raluca Marinescu and
Cristina Seceleanu},
editor = {Ernesto Damiani and
George Spanoudakis and
Leszek A. Maciaszek},
title = {Architecture Modelling and Formal Analysis of Intelligent Multi-Agent
Systems},
booktitle = {Proceedings of the 14th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2019, Heraklion,
Crete, Greece, May 4-5, 2019},
pages = {114--126},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007730201140126},
doi = {10.5220/0007730201140126},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/enase/KunnappillyCMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CaiGNS19,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu},
title = {Statistical Model Checking for Real-Time Database Management Systems:
{A} Case Study},
booktitle = {24th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
2019},
pages = {306--313},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ETFA.2019.8869326},
doi = {10.1109/ETFA.2019.8869326},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/CaiGNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GuMSL19,
author = {Rong Gu and
Raluca Marinescu and
Cristina Seceleanu and
Kristina Lundqvist},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Towards a Two-Layer Framework for Verifying Autonomous Vehicles},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {186--203},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_12},
doi = {10.1007/978-3-030-20652-9\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/GuMSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FilipovikjRS19,
author = {Predrag Filipovikj and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Cristina Seceleanu},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Bounded invariance checking of simulink models},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {2168--2177},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297493},
doi = {10.1145/3297280.3297493},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/FilipovikjRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/FoughaliIS19,
author = {Mohammed Foughali and
F{\'{e}}lix Ingrand and
Cristina Seceleanu},
editor = {Fabrizio Biondi and
Thomas Given{-}Wilson and
Axel Legay},
title = {Statistical Model Checking of Complex Robotic Systems},
booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
Beijing, China, July 15-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11636},
pages = {114--134},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30923-7\_7},
doi = {10.1007/978-3-030-30923-7\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/FoughaliIS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MahmudRFMS18,
author = {Nesredin Mahmud and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Hamid Faragardix and
Saad Mubeen and
Cristina Seceleanu},
title = {Power-Aware Allocation of Fault-Tolerant Multirate {AUTOSAR} Applications},
booktitle = {25th Asia-Pacific Software Engineering Conference, {APSEC} 2018, Nara,
Japan, December 4-7, 2018},
pages = {199--208},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/APSEC.2018.00034},
doi = {10.1109/APSEC.2018.00034},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MahmudRFMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuK18,
author = {Cristina Seceleanu and
Keiji Kimura},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Message from the {CAP} Organizing Committee},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
pages = {667},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.00100},
doi = {10.1109/COMPSAC.2018.00100},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuMSL18,
author = {Rong Gu and
Raluca Marinescu and
Cristina Seceleanu and
Kristina Lundqvist},
editor = {Stefania Gnesi and
Nico Plat and
Paola Spoletini and
Patrizio Pelliccione},
title = {Formal verification of an autonomous wheel loader by model checking},
booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
2, 2018},
pages = {74--83},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3193992.3193999},
doi = {10.1145/3193992.3193999},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GuMSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Seceleanu18,
author = {Cristina Seceleanu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {ISoLA 2018 - Verification and Validation of Distributed Systems: Track
Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {323--326},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_21},
doi = {10.1007/978-3-030-03424-5\_21},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Seceleanu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CaiGNS18,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Effective Test Suite Design for Detecting Concurrency Control Faults
in Distributed Transaction Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {355--374},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_24},
doi = {10.1007/978-3-030-03424-5\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CaiGNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KunnappillyMS18,
author = {Ashalatha Kunnappilly and
Raluca Marinescu and
Cristina Seceleanu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assuring Intelligent Ambient Assisted Living Solutions by Statistical
Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {457--476},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_29},
doi = {10.1007/978-3-030-03421-4\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KunnappillyMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/CaiGNS18,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu},
title = {Specification and Formal Verification of Atomic Concurrent Real-Time
Transactions},
booktitle = {23rd {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2018, Taipei, Taiwan, December 4-7, 2018},
pages = {104--114},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PRDC.2018.00021},
doi = {10.1109/PRDC.2018.00021},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/CaiGNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-01089,
author = {Raluca Marinescu and
Predrag Filipovikj and
Eduard Paul Enoiu and
Jonatan Larsson and
Cristina Seceleanu},
title = {An Energy-aware Mutation Testing Framework for {EAST-ADL} Architectural
Models},
journal = {CoRR},
volume = {abs/1802.01089},
year = {2018},
url = {http://arxiv.org/abs/1802.01089},
eprinttype = {arXiv},
eprint = {1802.01089},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-01089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/FilipovikjRS17,
author = {Predrag Filipovikj and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Cristina Seceleanu},
title = {Model-Checking-based vs. SMT-based Consistency Analysis of Industrial
Embedded Systems Requirements: Application and Experience},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {75},
year = {2017},
url = {https://doi.org/10.14279/tuj.eceasst.75.1054},
doi = {10.14279/TUJ.ECEASST.75.1054},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/FilipovikjRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SeceleanuJSSSEP17,
author = {Cristina Seceleanu and
Morgan E. Johansson and
Jagadish Suryadevara and
Gaetana Sapienza and
Tiberiu Seceleanu and
Stein Erik Ellevseth and
Paul Pettersson},
title = {Analyzing a wind turbine system: From simulation to formal verification},
journal = {Sci. Comput. Program.},
volume = {133},
pages = {216--242},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.09.007},
doi = {10.1016/J.SCICO.2016.09.007},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SeceleanuJSSSEP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ant/CaiGNSL17,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu and
Alf Larsson},
editor = {Elhadi M. Shakshuki},
title = {Design of Cloud Monitoring Systems via {DAGGTAX:} a Case Study},
booktitle = {The 8th International Conference on Ambient Systems, Networks and
Technologies {(ANT} 2017) / The 7th International Conference on Sustainable
Energy Information Technology {(SEIT} 2017), 16-19 May 2017, Madeira,
Portugal},
series = {Procedia Computer Science},
volume = {109},
pages = {424--431},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.procs.2017.05.412},
doi = {10.1016/J.PROCS.2017.05.412},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ant/CaiGNSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuKS17,
author = {Cristina Seceleanu and
Hironori Kasahara and
Tiberiu Seceleanu},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Message from the {CAP} 2017 Organizing Committee},
booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
pages = {458},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/COMPSAC.2017.295},
doi = {10.1109/COMPSAC.2017.295},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KunnappillySAMS17,
author = {Ashalatha Kunnappilly and
Alexandru Sorici and
Imad Alex Awada and
Irina Mocanu and
Cristina Seceleanu and
Adina Magda Florea},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {A Novel Integrated Architecture for Ambient Assisted Living Systems},
booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
pages = {465--472},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/COMPSAC.2017.28},
doi = {10.1109/COMPSAC.2017.28},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/KunnappillySAMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuSSN17,
author = {Cristina Seceleanu and
Detlef Streitferdt and
Tiberiu Seceleanu and
Philipp Nenninger},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Message from {CORCS-IEESD} 2017 Workshop Chairs},
booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 2},
pages = {596},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/COMPSAC.2017.296},
doi = {10.1109/COMPSAC.2017.296},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuSSN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/KunnappillyLMSS17,
author = {Ashalatha Kunnappilly and
Axel Legay and
Tiziana Margaria and
Cristina Cerschi Seceleanu and
Bernhard Steffen and
Louis{-}Marie Traonouez},
title = {Analyzing ambient assisted living solutions: {A} research perspective},
booktitle = {12th International Conference on Design {\&} Technology of Integrated
Systems In Nanoscale Era, {DTIS} 2017, Palma de Mallorca, Spain, April
4-6, 2017},
pages = {1--7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DTIS.2017.7930168},
doi = {10.1109/DTIS.2017.7930168},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dtis/KunnappillyLMSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MarinescuESS17,
author = {Raluca Marinescu and
Eduard Paul Enoiu and
Cristina Seceleanu and
Daniel Sundmark},
title = {Automatic Test Generation for Energy Consumption of Embedded Systems
Modeled in {EAST-ADL}},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {69--76},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.19},
doi = {10.1109/ICSTW.2017.19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MarinescuESS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/CaiGNS17,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu},
title = {Customized real-time data management for automotive systems: {A} case
study},
booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics
Society, Beijing, China, October 29 - November 1, 2017},
pages = {8397--8404},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IECON.2017.8217475},
doi = {10.1109/IECON.2017.8217475},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/CaiGNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/CaiGNS17,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu},
editor = {Yassine Ouhammou and
Mirjana Ivanovic and
Alberto Abell{\'{o}} and
Ladjel Bellatreche},
title = {{DAGGTAX:} {A} Taxonomy of Data Aggregation Processes},
booktitle = {Model and Data Engineering - 7th International Conference, {MEDI}
2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10563},
pages = {324--339},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66854-3\_25},
doi = {10.1007/978-3-319-66854-3\_25},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medi/CaiGNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FilipovikjRNS17,
author = {Predrag Filipovikj and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Mattias Nyberg and
Cristina Seceleanu},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {SMT-based consistency analysis of industrial systems requirements},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1272--1279},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019787},
doi = {10.1145/3019612.3019787},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/FilipovikjRNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MahmudSL17,
author = {Nesredin Mahmud and
Cristina Seceleanu and
Oscar Ljungkrantz},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Specification and Semantic Analysis of Embedded Systems Requirements:
From Description Logic to Temporal Logic},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {332--348},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_21},
doi = {10.1007/978-3-319-66197-1\_21},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/MahmudSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2017,
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0},
doi = {10.1007/978-3-319-67113-0},
isbn = {978-3-319-67112-3},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SeceleanuY16,
author = {Cristina Seceleanu and
Kenichi Yoshida},
title = {Guest editorial foreword},
journal = {J. Syst. Softw.},
volume = {121},
pages = {125},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.08.047},
doi = {10.1016/J.JSS.2016.08.047},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/SeceleanuY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/FilipovikjJNRS16,
author = {Predrag Filipovikj and
Trevor Jagerfield and
Mattias Nyberg and
Guillermo Rodr{\'{\i}}guez{-}Navas and
Cristina Cerschi Seceleanu},
title = {Integrating Pattern-Based Formal Requirements Specification in an
Industrial Tool-Chain},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} Workshops 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {167--173},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.140},
doi = {10.1109/COMPSAC.2016.140},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/FilipovikjJNRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuMSBSM16,
author = {Tiberiu Seceleanu and
Tiziana Margaria and
Rajesh Subramanyan and
Michele Bugliesi and
Cristina Seceleanu and
Bruce M. McMillin},
title = {Messge from the {ECPE} Organizing Committee},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {281},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.249},
doi = {10.1109/COMPSAC.2016.249},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuMSBSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cspdata/CaiGNS16,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu},
title = {Towards the verification of temporal data consistency in Real-Time
Data Management},
booktitle = {2016 2nd International Workshop on Modelling, Analysis, and Control
of Complex CPS, {CPS} Data 2016, Vienna, Austria, April 11, 2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CPSData.2016.7496422},
doi = {10.1109/CPSDATA.2016.7496422},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cspdata/CaiGNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/MarinescuMS16,
author = {Raluca Marinescu and
Saad Mubeen and
Cristina Seceleanu},
title = {Pruning Architectural Models of Automotive Embedded Systems via Dependency
Analysis},
booktitle = {42th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2016, Limassol, Cyprus, August 31 - Sept. 2, 2016},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SEAA.2016.47},
doi = {10.1109/SEAA.2016.47},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/MarinescuMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/MahmudSL16,
author = {Nesredin Mahmud and
Cristina Seceleanu and
Oscar Ljungkrantz},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science and
Information Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September
11-14, 2016},
series = {Annals of Computer Science and Information Systems},
volume = {8},
pages = {1737--1746},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.15439/2016F404},
doi = {10.15439/2016F404},
timestamp = {Tue, 23 Apr 2024 09:56:26 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/MahmudSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FilipovikjMMSLL16,
author = {Predrag Filipovikj and
Nesredin Mahmud and
Raluca Marinescu and
Cristina Seceleanu and
Oscar Ljungkrantz and
Henrik L{\"{o}}nn},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Simulink to {UPPAAL} Statistical Model Checker: Analyzing Automotive
Industrial Systems},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {748--756},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_46},
doi = {10.1007/978-3-319-48989-6\_46},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/FilipovikjMMSLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/healthyIoT/SoriciAKMCMSF16,
author = {Alexandru Sorici and
Imad Alex Awada and
Ashalatha Kunnappilly and
Irina Mocanu and
Oana Cramariuc and
L. Malicki and
Cristina Seceleanu and
Adina Florea},
editor = {Mobyen Uddin Ahmed and
Shahina Begum and
Wasim Raad},
title = {{CAMI} - An Integrated Architecture Solution for Improving Quality
of Life of the Elderly},
booktitle = {Internet of Things Technologies for HealthCare - Third International
Conference, HealthyIoT 2016, V{\"{a}}ster{\aa}s, Sweden, October
18-19, 2016, Revised Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {187},
pages = {141--144},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-51234-1\_23},
doi = {10.1007/978-3-319-51234-1\_23},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/healthyIoT/SoriciAKMCMSF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/CaiGNS16,
author = {Simin Cai and
Barbara Gallina and
Dag Nystr{\"{o}}m and
Cristina Seceleanu},
editor = {Alain Plantec and
Frank Singhoff and
S{\'{e}}bastien Faucou and
Lu{\'{\i}}s Miguel Pinho},
title = {A Formal Approach for Flexible Modeling and Analysis of Transaction
Timeliness and Isolation},
booktitle = {Proceedings of the 24th International Conference on Real-Time Networks
and Systems, {RTNS} 2016, Brest, France, October 19-21, 2016},
pages = {3--12},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2997465.2997495},
doi = {10.1145/2997465.2997495},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtns/CaiGNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucami/KunnappillySL16,
author = {Ashalatha Kunnappilly and
Cristina Seceleanu and
Maria Lind{\'{e}}n},
editor = {Carmelo R. Garc{\'{\i}}a and
Pino Caballero{-}Gil and
Mike Burmester and
Alexis Quesada{-}Arencibia},
title = {Do We Need an Integrated Framework for Ambient Assisted Living?},
booktitle = {Ubiquitous Computing and Ambient Intelligence - 10th International
Conference, UCAmI 2016, San Bartolom{\'{e}} de Tirajana, Gran
Canaria, Spain, November 29 - December 2, 2016, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {10070},
pages = {52--63},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48799-1\_7},
doi = {10.1007/978-3-319-48799-1\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ucami/KunnappillySL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/MarinescuSGP15,
author = {Raluca Marinescu and
Cristina Seceleanu and
H{\'{e}}l{\`{e}}ne Le Guen and
Paul Pettersson},
title = {Chapter Three - {A} Research Overview of Tool-Supported Model-based
Testing of Requirements-based Designs},
journal = {Adv. Comput.},
volume = {98},
pages = {89--140},
year = {2015},
url = {https://doi.org/10.1016/bs.adcom.2015.03.003},
doi = {10.1016/BS.ADCOM.2015.03.003},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ac/MarinescuSGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SeceleanuP15,
author = {Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.11.002},
doi = {10.1016/J.JLAMP.2014.11.002},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SeceleanuP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuSSM15,
author = {Tiberiu Seceleanu and
Rajesh Subramanyan and
Cristina Seceleanu and
Bruce M. McMillin},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {Message from ECpE Symposium Organizing Committee},
booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.189},
doi = {10.1109/COMPSAC.2015.189},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuSSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Seceleanu15,
author = {Cristina Seceleanu},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {Cyber-physical Systems: Interoperability and Distributed Intelligence},
booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
pages = {45},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.336},
doi = {10.1109/COMPSAC.2015.336},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Seceleanu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/MarinescuES15,
author = {Raluca Marinescu and
Eduard Paul Enoiu and
Cristina Seceleanu},
title = {Statistical Analysis of Resource Usage of Embedded Systems Modeled
in {EAST-ADL}},
booktitle = {2015 {IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2015,
Montpellier, France, July 8-10, 2015},
pages = {380--385},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISVLSI.2015.103},
doi = {10.1109/ISVLSI.2015.103},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/MarinescuES15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/MahmudSL15,
author = {Nesredin Mahmud and
Cristina Seceleanu and
Oscar Ljungkrantz},
title = {ReSA: An ontology-based requirement specification language tailored
to automotive systems},
booktitle = {10th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2015, Siegen, Germany, June 8-10, 2015},
pages = {1--10},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SIES.2015.7185035},
doi = {10.1109/SIES.2015.7185035},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sies/MahmudSL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/HatvaniDSP14,
author = {Leo Hatvani and
Alexandre David and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Adaptive Task Automata with Earliest-Deadline-First Scheduling},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.975},
doi = {10.14279/TUJ.ECEASST.70.975},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/HatvaniDSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Rodriguez-NavasSHNLL14,
author = {Guillermo Rodr{\'{\i}}guez{-}Navas and
Cristina Cerschi Seceleanu and
Hans Hansson and
Mattias Nyberg and
Oscar Ljungkrantz and
Henrik L{\"{o}}nn},
title = {Automated Specification and Verification of Functional Safety in Heavy-Vehicles:
the VeriSpec Approach},
booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
Francisco, CA, USA, June 1-5, 2014},
pages = {95:1--95:4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593069.2602972},
doi = {10.1145/2593069.2602972},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Rodriguez-NavasSHNLL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/MarinescuSBSP14,
author = {Raluca Marinescu and
Mehrdad Saadatmand and
Alessio Bucaioni and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {A Model-Based Testing Framework for Automotive Embedded Systems},
booktitle = {40th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2014, Verona, Italy, August 27-29, 2014},
pages = {38--47},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SEAA.2014.70},
doi = {10.1109/SEAA.2014.70},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/MarinescuSBSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MarinescuKMSLD14,
author = {Raluca Marinescu and
Henrik Kaijser and
Marius Mikucionis and
Cristina Seceleanu and
Henrik L{\"{o}}nn and
Alexandre David},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Analyzing Industrial Architectural Models by Simulation and Model-Checking},
booktitle = {Formal Techniques for Safety-Critical Systems - Third International
Workshop, {FTSCS} 2014, Luxembourg, November 6-7, 2014. Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {476},
pages = {189--205},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17581-2\_13},
doi = {10.1007/978-3-319-17581-2\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/MarinescuKMSLD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CausevicSP14,
author = {Aida Causevic and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Distributed Energy Management Case Study: {A} Formal Approach to Analyzing
Utility Functions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {74--87},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_6},
doi = {10.1007/978-3-662-45231-8\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CausevicSP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/SeceleanuC13,
author = {Cristina Cerschi Seceleanu and
Ivica Crnkovic},
title = {Component Models for Reasoning},
journal = {Computer},
volume = {46},
number = {11},
pages = {40--47},
year = {2013},
url = {https://doi.org/10.1109/MC.2013.335},
doi = {10.1109/MC.2013.335},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/SeceleanuC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/KangEMSSP13,
author = {Eun{-}Young Kang and
Eduard Paul Enoiu and
Raluca Marinescu and
Cristina Cerschi Seceleanu and
Pierre{-}Yves Schobbens and
Paul Pettersson},
title = {A methodology for formal analysis and verification of {EAST-ADL} models},
journal = {Reliab. Eng. Syst. Saf.},
volume = {120},
pages = {127--138},
year = {2013},
url = {https://doi.org/10.1016/j.ress.2013.06.007},
doi = {10.1016/J.RESS.2013.06.007},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/KangEMSSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/HatvaniSP13,
author = {Leo Hatvani and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Modeling and analysis of adaptive embedded systems using adaptive
task automata},
journal = {{SIGBED} Rev.},
volume = {10},
number = {1},
pages = {43--47},
year = {2013},
url = {https://doi.org/10.1145/2492385.2492393},
doi = {10.1145/2492385.2492393},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/HatvaniSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SuryadevaraSSSEP13,
author = {Jagadish Suryadevara and
Gaetana Sapienza and
Cristina Cerschi Seceleanu and
Tiberiu Seceleanu and
Stein Erik Ellevseth and
Paul Pettersson},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Wind Turbine System: An Industrial Case Study in Formal Modeling and
Verification},
booktitle = {Formal Techniques for Safety-Critical Systems - Second International
Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {229--245},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05416-2\_15},
doi = {10.1007/978-3-319-05416-2\_15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/SuryadevaraSSSEP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SuryadevaraSMP13,
author = {Jagadish Suryadevara and
Cristina Cerschi Seceleanu and
Fr{\'{e}}d{\'{e}}ric Mallet and
Paul Pettersson},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Verifying {MARTE/CCSL} Mode Behaviors Using {UPPAAL}},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {1--15},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_1},
doi = {10.1007/978-3-642-40561-7\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SuryadevaraSMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/CausevicSP13,
author = {Aida Causevic and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {An Analyzable Model of Automated Service Negotiation},
booktitle = {Seventh {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2013, San Francisco, CA, USA, March 25-28, 2013},
pages = {125--136},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SOSE.2013.51},
doi = {10.1109/SOSE.2013.51},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/CausevicSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/HatvaniPS12,
author = {Leo Hatvani and
Paul Pettersson and
Cristina Cerschi Seceleanu},
editor = {Juan de Lara and
Andrea Zisman},
title = {Adaptive Task Automata: {A} Framework for Verifying Adaptive Embedded
Systems},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {115--129},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_9},
doi = {10.1007/978-3-642-28872-2\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/HatvaniPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/EnoiuMSP12,
author = {Eduard Paul Enoiu and
Raluca Marinescu and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Isabelle Perseil and
Karin K. Breitman and
Marc Pouzet},
title = {ViTAL: {A} Verification Tool for {EAST-ADL} Models Using {UPPAAL}
{PORT}},
booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
pages = {328--337},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.42},
doi = {10.1109/ICECCS.2012.42},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/EnoiuMSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CausevicSP12,
author = {Aida Causevic and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Checking Correctness of Services Modeled as Priced Timed Automata},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Applications and Case Studies - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7610},
pages = {308--322},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34032-1\_29},
doi = {10.1007/978-3-642-34032-1\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CausevicSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EnoiuMCS13,
author = {Eduard Paul Enoiu and
Raluca Marinescu and
Aida Causevic and
Cristina Cerschi Seceleanu},
editor = {Barbora Buhnova and
Lucia Kapov{\'{a}} Happe and
Jan Kofron},
title = {A Design Tool for Service-oriented Systems},
booktitle = {Proceedings the 9th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2012, Tallinn, Estonia,
March 31, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {295},
pages = {95--100},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.04.008},
doi = {10.1016/J.ENTCS.2013.04.008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EnoiuMCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2012,
editor = {Xiaoying Bai and
Fevzi Belli and
Elisa Bertino and
Carl K. Chang and
Atilla El{\c{c}}i and
Cristina Cerschi Seceleanu and
Haihua Xie and
Mohammad Zulkernine},
title = {36th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6340121/proceeding},
isbn = {978-1-4673-1990-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2012w,
editor = {Xiaoying Bai and
Fevzi Belli and
Elisa Bertino and
Carl K. Chang and
Atilla El{\c{c}}i and
Cristina Cerschi Seceleanu and
Haihua Xie and
Mohammad Zulkernine},
title = {36th Annual {IEEE} Computer Software and Applications Conference Workshops,
{COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6341241/proceeding},
isbn = {978-1-4673-2714-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/2012w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/LatifSST11,
author = {Khalid Latif and
Tiberiu Seceleanu and
Cristina Cerschi Seceleanu and
Hannu Tenhunen},
title = {Service based communication for MPSoC platform-SegBus},
journal = {Microprocess. Microsystems},
volume = {35},
number = {7},
pages = {643--655},
year = {2011},
url = {https://doi.org/10.1016/j.micpro.2011.06.006},
doi = {10.1016/J.MICPRO.2011.06.006},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/LatifSST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Seceleanu11,
author = {Cristina Cerschi Seceleanu},
title = {Panel {II} Formal Methods Applied in Industry: Success Stories, Limitations,
Perspectives - Panel Introduction},
booktitle = {Proceedings of the 35th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2011, Munich, Germany, 18-22
July 2011},
pages = {448--449},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/COMPSAC.2011.113},
doi = {10.1109/COMPSAC.2011.113},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Seceleanu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/SuryadevaraSP11,
author = {Jagadish Suryadevara and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Pattern-Driven Support for Designing Component-Based Architectural
Models},
booktitle = {18th {IEEE} International Conference and Workshops on the Engineering
of Computer-Based Systems, {ECBS} 2011, Las Vegas, NV, USA, 27-29
April, 2011},
pages = {187--196},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ECBS.2011.20},
doi = {10.1109/ECBS.2011.20},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/SuryadevaraSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BjornanderSLP11,
author = {Stefan Bj{\"{o}}rnander and
Cristina Cerschi Seceleanu and
Kristina Lundqvist and
Paul Pettersson},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {{ABV} - {A} Verifier for the Architecture Analysis and Design Language
{(AADL)}},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {355--360},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.43},
doi = {10.1109/ICECCS.2011.43},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BjornanderSLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/VulgarakisSPSH11,
author = {Aneta Vulgarakis and
Cristina Cerschi Seceleanu and
Paul Pettersson and
Ivan Skuliber and
Darko Huljenic},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Robert M. Hierons and
Mercedes G. Merayo},
title = {Validation of Embedded Systems Behavioral Models on a Component-Based
Ericsson Nikola Tesla Demonstrator},
booktitle = {Proceedings of the 11th International Conference on Quality Software,
{QSIC} 2011, Madrid, Spain, July 13-14, 2011},
pages = {156--165},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/QSIC.2011.11},
doi = {10.1109/QSIC.2011.11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/VulgarakisSPSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/SuryadevaraKSP10,
author = {Jagadish Suryadevara and
Eun{-}Young Kang and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Lars Grunske and
Ralf H. Reussner and
Frantisek Pl{\'{a}}sil},
title = {Bridging the Semantic Gap between Abstract Models of Embedded Systems},
booktitle = {Component-Based Software Engineering, 13th International Symposium,
{CBSE} 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6092},
pages = {55--73},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13238-4\_4},
doi = {10.1007/978-3-642-13238-4\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/SuryadevaraKSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/VulgarakisSCS10,
author = {Aneta Vulgarakis and
S{\'{e}}verine Sentilles and
Jan Carlson and
Cristina Cerschi Seceleanu},
title = {Integrating Behavioral Descriptions into a Component Model for Embedded
Systems},
booktitle = {36th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{SEAA} 2010, Lille, France, September 1-3, 2010},
pages = {113--118},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEAA.2010.48},
doi = {10.1109/SEAA.2010.48},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/VulgarakisSCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/LatifSST10,
author = {Khalid Latif and
Tiberiu Seceleanu and
Cristina Cerschi Seceleanu and
Hannu Tenhunen},
title = {Resource-aware task allocation and scheduling for segbus platform},
booktitle = {17th {IEEE} International Conference on Electronics, Circuits, and
Systems, {ICECS} 2010, Athens, Greece, 12-15 December, 2010},
pages = {523--526},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICECS.2010.5724564},
doi = {10.1109/ICECS.2010.5724564},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icecsys/LatifSST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CausevicSP10,
author = {Aida Causevic and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Modeling and Reasoning about Service Behaviors and Their Compositions},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {82--96},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_14},
doi = {10.1007/978-3-642-16561-0\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/CausevicSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/IvanovOSV10,
author = {Dinko Ivanov and
Marin Orlic and
Cristina Cerschi Seceleanu and
Aneta Vulgarakis},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {{REMES} tool-chain: a set of integrated tools for behavioral modeling
and analysis of embedded systems},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {361--362},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859076},
doi = {10.1145/1858996.1859076},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/IvanovOSV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HatvaniJSP10,
author = {Leo Hatvani and
Anton Jansen and
Cristina Seceleanu and
Paul Pettersson},
editor = {Steffen Becker and
Jens Happe and
Heiko Koziolek and
Paul Pettersson},
title = {An integrated tool for trade-off analysis of quality-of-service attributes},
booktitle = {Proceedings of the 2nd International Workshop on the Quality of Service-Oriented
Software Systems, {QUASOSS} '10, Oslo, Norway, October 4, 2010},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858263.1858266},
doi = {10.1145/1858263.1858266},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/HatvaniJSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuCS09,
author = {Tiberiu Seceleanu and
Ivica Crnkovic and
Cristina Cerschi Seceleanu},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {Transaction Level Control for Application Execution on the SegBus
Platform},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 1},
pages = {537--542},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.78},
doi = {10.1109/COMPSAC.2009.78},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/VulgarakisSCSP09,
author = {Aneta Vulgarakis and
Jagadish Suryadevara and
Jan Carlson and
Cristina Cerschi Seceleanu and
Paul Pettersson},
title = {Formal Semantics of the ProCom Real-Time Component Model},
booktitle = {35th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings},
pages = {478--485},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEAA.2009.53},
doi = {10.1109/SEAA.2009.53},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/VulgarakisSCSP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/SeceleanuVP09,
author = {Cristina Cerschi Seceleanu and
Aneta Vulgarakis and
Paul Pettersson},
title = {{REMES:} {A} Resource Model for Embedded Systems},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {84--94},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.49},
doi = {10.1109/ICECCS.2009.49},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/SeceleanuVP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SlutejHSSP09,
author = {Davor Slutej and
John H{\aa}kansson and
Jagadish Suryadevara and
Cristina Cerschi Seceleanu and
Paul Pettersson},
editor = {Jens Happe and
Barbora Zimmerov{\'{a}}},
title = {Analyzing a Pattern-Based Model of a Real-Time Turntable System},
booktitle = {Proceedings of the Sixth International Workshop on Formal Engineering
approches to Software Components and Architectures, FESCA@ETAPS 2009,
York, UK, April 28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {1},
pages = {161--178},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.034},
doi = {10.1016/J.ENTCS.2009.09.034},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SlutejHSSP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/CausevicPS08,
author = {Aida Causevic and
Paul Pettersson and
Cristina Cerschi Seceleanu},
editor = {Masoud Mohammadian},
title = {Analyzing Resource-Usage Impact on Component-Based Systems Performance
and Reliability},
booktitle = {2008 International Conferences on Computational Intelligence for Modelling,
Control and Automation {(CIMCA} 2008), Intelligent Agents, Web Technologies
and Internet Commerce {(IAWTIC} 2008), Innovation in Software Engineering
{(ISE} 2008), 10-12 December 2008, Vienna, Austria},
pages = {302--308},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CIMCA.2008.190},
doi = {10.1109/CIMCA.2008.190},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/CausevicPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/BelliS08,
author = {Fevzi Belli and
Cristina Cerschi Seceleanu},
title = {Panel Description: 40 Years of Software Engineering},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {7},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.42},
doi = {10.1109/COMPSAC.2008.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/BelliS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuPH08,
author = {Cristina Cerschi Seceleanu and
Paul Pettersson and
Hans Hansson},
title = {Message from the {CORCS} 2008 Workshop Organizers},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {1295},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.276},
doi = {10.1109/COMPSAC.2008.276},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuPH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuPH08a,
author = {Cristina Cerschi Seceleanu and
Paul Pettersson and
Hans Hansson},
title = {{CORCS} 2008 Workshop Organization},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {1296},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.277},
doi = {10.1109/COMPSAC.2008.277},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuPH08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/VulgarakisS08,
author = {Aneta Vulgarakis and
Cristina Cerschi Seceleanu},
title = {Embedded Systems Resources: Views on Modeling and Analysis},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {1321--1328},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.215},
doi = {10.1109/COMPSAC.2008.215},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/VulgarakisS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SeceleanuPH08,
author = {Cristina Cerschi Seceleanu and
Paul Pettersson and
Hans Hansson},
title = {Scheduling Timed Modules for Correct Resource Sharing},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {102--111},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.70},
doi = {10.1109/ICST.2008.70},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/SeceleanuPH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Seceleanu05,
author = {Cristina Cerschi Seceleanu},
title = {Designing Controllers for Reachability},
booktitle = {29th Annual International Computer Software and Applications Conference,
{COMPSAC} 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume
1},
pages = {196--203},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/COMPSAC.2005.68},
doi = {10.1109/COMPSAC.2005.68},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/Seceleanu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Seceleanu05,
author = {Cristina Cerschi Seceleanu},
title = {Formal Development of Real-Time Priority-Based Schedulers},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.40},
doi = {10.1109/ECBS.2005.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/Seceleanu05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/SeceleanuS04,
author = {Cristina Cerschi Seceleanu and
Tiberiu Seceleanu},
title = {Synchronization Can Improve Reactive Systems Control and Modularity},
journal = {J. Univers. Comput. Sci.},
volume = {10},
number = {10},
pages = {1429--1468},
year = {2004},
url = {https://doi.org/10.3217/jucs-010-10-1429},
doi = {10.3217/JUCS-010-10-1429},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/SeceleanuS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuS04,
author = {Cristina Cerschi Seceleanu and
Tiberiu Seceleanu},
title = {Modular Design of Reactive Systems},
booktitle = {28th International Computer Software and Applications Conference {(COMPSAC}
2004), Design and Assessment of Trustworthy Software-Based Systems,
27-30 September 2004, Hong Kong, China, Proceedings},
pages = {265--271},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CMPSAC.2004.1342842},
doi = {10.1109/CMPSAC.2004.1342842},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BackS04,
author = {Ralph{-}Johan Back and
Cristina Cerschi Seceleanu},
title = {Contracts and Games in Controller Synthesis for Discrete Systems},
booktitle = {11th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
pages = {307--315},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ECBS.2004.1316713},
doi = {10.1109/ECBS.2004.1316713},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/BackS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BackSW02,
author = {Ralph{-}Johan Back and
Cristina Cerschi Seceleanu and
Jan Westerholm},
title = {Symbolic Simulation of Hybrid Systems},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {147},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1182984},
doi = {10.1109/APSEC.2002.1182984},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BackSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-11 20:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
