Skip to contents Prevosto, Virgile [Editor]; Seceleanu, Cristina [Editor] Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings - [1st ed. 2023.] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023. Published in: Lecture Notes in Computer Science ; 14066 Cavalcanti, Ana [Editor]; Seceleanu, Cristina [Editor] 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 Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10471 Kofroň, Jan [Editor]; Margaria-Steffen, Tiziana [Editor]; Seceleanu, Cristina [Editor] Engineering of computer-based systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023 : proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer Nature Switzerland, 2024 ; Cham: Imprint: Springer, 2024 Published in: Lecture notes in computer science ; 14390 Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (2018), Seite 323-326 Huisman, Marieke; Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2022 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022), Seite 417-421 Huisman, Marieke; Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: Verification and Validation of Concurrent and Distributed Systems (Track Summary) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2020 Published in: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (2020), Seite 421-425 Seceleanu, Cristina; Crnkovic, Ivica Component Models for Reasoning Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2013 Published in: Computer, 46 (2013) 11, Seite 40-47 Enoiu, Eduard Paul; Seceleanu, Cristina Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2020 Published in: Designs, 4 (2020) 1, Seite 5 Seceleanu, Tiberiu; Xiong, Ning; Enoiu, Eduard Paul; Seceleanu, Cristina Engineering of Computer-Based Systems: Building a Digital Twin Framework for Dynamic and Robust Distributed Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2024 Published in: Engineering of Computer-Based Systems (2024), Seite 254-258 Latif, Khalid; Seceleanu, Tiberiu; Seceleanu, Cristina; Tenhunen, Hannu Service based communication for MPSoC platform-SegBus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2011 Published in: Microprocessors and Microsystems, 35 (2011) 7, Seite 643-655 Backeman, Peter; Kunnappilly, Ashalatha; Seceleanu, Cristina Supporting 5G service orchestration with formal verification Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. National Library of Serbia, 2023 Published in: Computer Science and Information Systems, 20 (2023) 1, Seite 329-357 Kunnappilly, Ashalatha; Marinescu, Raluca; Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation. Verification: Correction to: Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2019 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification (2019), Seite C1-C1 Foughali, Mohammed; Ingrand, Félix; Seceleanu, Cristina Model Checking Software: Statistical Model Checking of Complex Robotic Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2019 Published in: Model Checking Software (2019), Seite 114-134 Kunnappilly, Ashalatha; Marinescu, Raluca; Seceleanu, Cristina A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2019 Published in: Sensors, 19 (2019) 22, Seite 5057 Kunnappilly, Ashalatha; Marinescu, Raluca; Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation. Verification: Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018), Seite 457-476 Mahmud, Nesredin; Seceleanu, Cristina; Ljungkrantz, Oscar Software Engineering and Formal Methods: Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2017 Published in: Software Engineering and Formal Methods (2017), Seite 332-348 Mahmud, Nesredin; Seceleanu, Cristina; Ljungkrantz, Oscar ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking Conference Proceedings View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IEEE, 2016 Published in: Annals of Computer Science and Information Systems (2016) Kunnappilly, Ashalatha; Seceleanu, Cristina; Lindén, Maria Ubiquitous Computing and Ambient Intelligence: Do We Need an Integrated Framework for Ambient Assisted Living? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2016 Published in: Ubiquitous Computing and Ambient Intelligence (2016), Seite 52-63 Čaušević, Aida; Seceleanu, Cristina; Pettersson, Paul Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2014 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (2014), Seite 74-87 Hatvani, Leo; Seceleanu, Cristina; Pettersson, Paul Modeling and analysis of adaptive embedded systems using adaptive task automata Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2013 Published in: ACM SIGBED Review, 10 (2013) 1, Seite 43-47
Prevosto, Virgile [Editor]; Seceleanu, Cristina [Editor] Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings - [1st ed. 2023.] Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023. Published in: Lecture Notes in Computer Science ; 14066
Cavalcanti, Ana [Editor]; Seceleanu, Cristina [Editor] 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 Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10471
Kofroň, Jan [Editor]; Margaria-Steffen, Tiziana [Editor]; Seceleanu, Cristina [Editor] Engineering of computer-based systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023 : proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer Nature Switzerland, 2024 ; Cham: Imprint: Springer, 2024 Published in: Lecture notes in computer science ; 14390
Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (2018), Seite 323-326
Huisman, Marieke; Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2022 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022), Seite 417-421
Huisman, Marieke; Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: Verification and Validation of Concurrent and Distributed Systems (Track Summary) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2020 Published in: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (2020), Seite 421-425
Seceleanu, Cristina; Crnkovic, Ivica Component Models for Reasoning Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2013 Published in: Computer, 46 (2013) 11, Seite 40-47
Enoiu, Eduard Paul; Seceleanu, Cristina Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2020 Published in: Designs, 4 (2020) 1, Seite 5
Seceleanu, Tiberiu; Xiong, Ning; Enoiu, Eduard Paul; Seceleanu, Cristina Engineering of Computer-Based Systems: Building a Digital Twin Framework for Dynamic and Robust Distributed Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2024 Published in: Engineering of Computer-Based Systems (2024), Seite 254-258
Latif, Khalid; Seceleanu, Tiberiu; Seceleanu, Cristina; Tenhunen, Hannu Service based communication for MPSoC platform-SegBus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2011 Published in: Microprocessors and Microsystems, 35 (2011) 7, Seite 643-655
Backeman, Peter; Kunnappilly, Ashalatha; Seceleanu, Cristina Supporting 5G service orchestration with formal verification Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. National Library of Serbia, 2023 Published in: Computer Science and Information Systems, 20 (2023) 1, Seite 329-357
Kunnappilly, Ashalatha; Marinescu, Raluca; Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation. Verification: Correction to: Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2019 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification (2019), Seite C1-C1
Foughali, Mohammed; Ingrand, Félix; Seceleanu, Cristina Model Checking Software: Statistical Model Checking of Complex Robotic Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2019 Published in: Model Checking Software (2019), Seite 114-134
Kunnappilly, Ashalatha; Marinescu, Raluca; Seceleanu, Cristina A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2019 Published in: Sensors, 19 (2019) 22, Seite 5057
Kunnappilly, Ashalatha; Marinescu, Raluca; Seceleanu, Cristina Leveraging Applications of Formal Methods, Verification and Validation. Verification: Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification (2018), Seite 457-476
Mahmud, Nesredin; Seceleanu, Cristina; Ljungkrantz, Oscar Software Engineering and Formal Methods: Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2017 Published in: Software Engineering and Formal Methods (2017), Seite 332-348
Mahmud, Nesredin; Seceleanu, Cristina; Ljungkrantz, Oscar ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking Conference Proceedings View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. IEEE, 2016 Published in: Annals of Computer Science and Information Systems (2016)
Kunnappilly, Ashalatha; Seceleanu, Cristina; Lindén, Maria Ubiquitous Computing and Ambient Intelligence: Do We Need an Integrated Framework for Ambient Assisted Living? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2016 Published in: Ubiquitous Computing and Ambient Intelligence (2016), Seite 52-63
Čaušević, Aida; Seceleanu, Cristina; Pettersson, Paul Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2014 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (2014), Seite 74-87
Hatvani, Leo; Seceleanu, Cristina; Pettersson, Paul Modeling and analysis of adaptive embedded systems using adaptive task automata Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2013 Published in: ACM SIGBED Review, 10 (2013) 1, Seite 43-47
> Media type Skip to next facet Articles (48) Wert ausschließen Books (3) Wert ausschließen Conference Proceedings (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (14) Wert ausschließen Without Specification (38) Wert ausschließen Show more show less
> Language Skip to next facet English (28) Wert ausschließen Not determined (24) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (6) Wert ausschließen Technology (2) Wert ausschließen Mathmatics (1) Wert ausschließen Philosophy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Seceleanu, Cristina (46) Wert ausschließen Pettersson, Paul (9) Wert ausschließen Gu, Rong (8) Wert ausschließen Marinescu, Raluca (7) Wert ausschließen Cai, Simin (6) Wert ausschließen Gallina, Barbara (6) Wert ausschließen Lundqvist, Kristina (6) Wert ausschließen Nyström, Dag (6) Wert ausschließen Kunnappilly, Ashalatha (5) Wert ausschließen Enoiu, Eduard (4) Wert ausschließen Enoiu, Eduard Paul (4) Wert ausschließen Ljungkrantz, Oscar (4) Wert ausschließen Mahmud, Nesredin (4) Wert ausschließen Suryadevara, Jagadish (4) Wert ausschließen Čaušević, Aida (4) Wert ausschließen Burada Adrian (3) Wert ausschließen Despina Cristina (3) Wert ausschließen Filipovikj, Predrag (3) Wert ausschließen Seceleanu, Tiberiu (3) Wert ausschließen Spiridon Cosmin (3) Wert ausschließen Teodorof Liliana (3) Wert ausschließen Hatvani, Leo (2) Wert ausschließen Huisman, Marieke (2) Wert ausschließen Ibram Orhan (2) Wert ausschließen Larsson, Alf (2) Wert ausschließen Lönn, Henrik (2) Wert ausschließen Seceleanu-Odor Daniela (2) Wert ausschließen Tiganus Mihaela (2) Wert ausschließen Tudor Iuliana-Mihaela (2) Wert ausschließen IBRAM Orhan (1) Wert ausschließen SECELEANU ODOR Daniela (1) Wert ausschließen TUDOR Iuliana Mihaela (1) Wert ausschließen TUDOR Marian (1) Wert ausschließen Albano, Michele (1) Wert ausschließen Ameri, Afshin (1) Wert ausschließen Backeman, Peter (1) Wert ausschließen Baranov, Eduard (1) Wert ausschließen Bratfanof, Edward (1) Wert ausschließen Burada, Adrian (1) Wert ausschließen Cavalcanti, Ana (1) Wert ausschließen Cernisencu, Irina (1) Wert ausschließen Circo, E. (1) Wert ausschließen Crnkovic, Ivica (1) Wert ausschließen Cürüklü, Baran (1) Wert ausschließen DESPINA Cristina (1) Wert ausschließen Despina, Cristina (1) Wert ausschließen Doroftei Mihai (1) Wert ausschließen Dust, Lukas (1) Wert ausschließen Díaz, Iván González (1) Wert ausschließen Ekström, Mikael (1) Wert ausschließen Ellevseth, Stein-Erik (1) Wert ausschließen Ene, Antoaneta (1) Wert ausschließen Foughali, Mohammed (1) Wert ausschließen GEORGESCU Lucian P. (1) Wert ausschließen Ganta, Cristina (1) Wert ausschließen Georgescu Lucian Puiu (1) Wert ausschließen Georgescu, Lucian Puiu (1) Wert ausschließen Guldstrand Larsen, Kim (1) Wert ausschließen Håkansson, John (1) Wert ausschließen Ibadula, Sheila (1) Wert ausschließen Ibram, Orhan (1) Wert ausschließen Ingrand, Félix (1) Wert ausschließen Iticescu, Catalina (1) Wert ausschließen Jensen, Peter G. (1) Wert ausschließen Johansson, Morgan (1) Wert ausschließen Kang, Eun-Young (1) Wert ausschließen Kofroň, Jan (1) Wert ausschließen Lares, José Gabriel Urzaiz (1) Wert ausschließen Latif, Khalid (1) Wert ausschließen Legay, Axel (1) Wert ausschließen Lindén, Maria (1) Wert ausschließen Mallet, Frédéric (1) Wert ausschließen Margaria-Steffen, Tiziana (1) Wert ausschließen Mubeen, Saad (1) Wert ausschließen Naeem, Muhammad (1) Wert ausschließen Nielsen, Brian (1) Wert ausschließen Nyberg, Mattias (1) Wert ausschließen Poulsen, Danny B. (1) Wert ausschließen Prevosto, Virgile (1) Wert ausschließen Rodriguez-Navas, Guillermo (1) Wert ausschließen SPIRIDON Cosmin (1) Wert ausschließen Sapienza, Gaetana (1) Wert ausschließen Scrinic, Olesea (1) Wert ausschließen Seceleanu, Mihaela (1) Wert ausschließen Seceleanu-Odor, Daniela (1) Wert ausschließen Seceleanu_Odor Daniela (1) Wert ausschließen Slutej, Davor (1) Wert ausschließen Suliman Iasemin (1) Wert ausschließen TEODOROF Liliana (1) Wert ausschließen TOROK Liliana (1) Wert ausschließen Tenhunen, Hannu (1) Wert ausschließen Teodorof, Liliana (1) Wert ausschließen Trifanov, Cristian (1) Wert ausschließen Tudor Marian (1) Wert ausschließen Tudor iuliana-Mihaela (1) Wert ausschließen Tudor, Marian (1) Wert ausschließen Tudor, Mihaela-Iuliana (1) Wert ausschließen Xiong, Ning (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer International Publishing (CrossRef) (16) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (6) Wert ausschließen Elsevier BV (CrossRef) (5) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (5) Wert ausschließen DOAJ Directory of Open Access Journals (4) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (3) Wert ausschließen MDPI AG (CrossRef) (3) Wert ausschließen Springer Nature Switzerland (CrossRef) (3) Wert ausschließen Verbunddaten SWB (3) Wert ausschließen IEEE (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen National Library of Serbia (CrossRef) (1) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (1) Wert ausschließen Show more show less