المؤلفون: Bonfanti, Silvia, Gargantini, Angelo M., Scandurra, Patrizia

المساهمون: Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo Michele, Riccobene, Elvinia, Scandurra, Patrizia

مصطلحات موضوعية: Abstract state machine, ASMETA, Automotive system modeling, Code generation, Self-adaptation, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: text; remote

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001226716000001; volume:26; issue:3; firstpage:379; lastpage:401; journal:INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER; https://hdl.handle.net/10446/274189; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85193681676

الاتاحة: https://hdl.handle.net/10446/274189
https://doi.org/10.1007/s10009-024-00751-4

المؤلفون: Dao, Tung Manh

Thesis Advisors: Computer Science and Applications, Meng, Na, Wang, Xiaoyin, Chung, Taejoong Tijay, Gulzar, Muhammad Ali, Ji, Bo

مصطلحات موضوعية: Software Engineering, Testing, Debugging, Fault Localization, Spectrum-based, Information Retrieval, Slicing, Coverage, Execution Information, Abstract State Machine, Cloud Computing

وصف الملف: ETD; application/pdf

الاتاحة: http://hdl.handle.net/10919/116510

المؤلفون: Bonfanti, Silvia, Scandurra, Patrizia

المساهمون: Glässer, Uwe, Creissac Campos, Jose, Méry, Dominique, Palanque, Philippe, Bonfanti, Silvia, Riccobene, Elvinia, Santandrea, Davide, Scandurra, Patrizia

مصطلحات موضوعية: Compositional I/O Abstract State Machine, Discrete Event, Systems modeling, ASMETA, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: text; remote

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-33162-6; info:eu-repo/semantics/altIdentifier/wos/WOS:001286412600008; ispartofbook:Rigorous State-Based Methods. 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings; ABZ 2023: 9th International Conference on Rigorous State-Based Methods, Nancy, France, 30 May – 2 June 2023; volume:14010; firstpage:107; lastpage:115; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Glässer, Uwe; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe; https://hdl.handle.net/10446/250709

الاتاحة: https://hdl.handle.net/10446/250709
https://doi.org/10.1007/978-3-031-33163-3_8

المؤلفون: Bonfanti, Silvia, Gargantini, Angelo, Scandurra, Patrizia

المساهمون: Tapia Tarifa, Silvia Lizeth, Proença, José, Bonfanti, Silvia, Gargantini, Angelo Michele, Riccobene, Elvinia, Scandurra, Patrizia

مصطلحات موضوعية: Abstract state machine, Mechanical ventilator milano, Models co-simulation, Models composition, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: remote

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-20871-3; info:eu-repo/semantics/altIdentifier/wos/WOS:000897928200001; ispartofbook:Formal Aspects of Component Software. 18th International Conference, FACS 2022. Virtual Event, November 10–11, 2022. Proceedings; FACS 2022: 18th International Conference on Formal Aspects of Component Software, Virtual Event, 10–11 November 2022; volume:13712; firstpage:3; lastpage:19; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Tapia Tarifa, Silvia Lizeth; Proença, José; https://hdl.handle.net/10446/235471; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85142747424

الاتاحة: https://hdl.handle.net/10446/235471
https://doi.org/10.1007/978-3-031-20872-0_1

المؤلفون: Valentini, Simone, Braghin, Chiara, Riccobene, Elvinia

المساهمون: S. Bonfanti, A. Gargantini, M. Leuschel, E. Riccobene, P. Scandurra, S. Valentini, C. Braghin

مصطلحات موضوعية: Blockchain, Ethereum, Smart contract verification, Abstract State Machine, Settore INF/01 - Informatica

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031637896; info:eu-repo/semantics/altIdentifier/isbn/9783031637902; info:eu-repo/semantics/altIdentifier/wos/WOS:001280303300013; ispartofbook:Rigorous State-Based Methods; International Conference on Rigorous State-Based Methods; volume:14759; firstpage:201; lastpage:207; numberofpages:7; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:S. Bonfanti, A. Gargantini, M. Leuschel, E. Riccobene, P. Scandurra; https://hdl.handle.net/2434/1091228

الاتاحة: https://hdl.handle.net/2434/1091228
https://doi.org/10.1007/978-3-031-63790-2_13

المؤلفون: Bonfanti, S., Gargantini, A.

المساهمون: Bonfanti, Silvia, Gargantini, Angelo Michele, Mashkoor, A.

مصطلحات موضوعية: abstract state machine, automatic code generation, C++, model-driven engineering, transformation validation, unit tests generation, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: remote

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000498160500001; volume:32; issue:2 (art. e2205); firstpage:1; lastpage:25; journal:JOURNAL OF SOFTWARE; http://hdl.handle.net/10446/150836; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075467384

الاتاحة: http://hdl.handle.net/10446/150836
https://doi.org/10.1002/smr.2205

المؤلفون: Braghin C., Lilli M., Riccobene E.

المساهمون: C. Braghin, M. Lilli, E. Riccobene

مصطلحات موضوعية: Z-Wave protocol, IoT security, MITM, formal verification, abstract state machine, ASMETA, Settore INF/01 - Informatica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000946758300001; volume:127; firstpage:1; lastpage:16; numberofpages:16; journal:COMPUTERS & SECURITY; https://hdl.handle.net/2434/961510; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85147542746

الاتاحة: https://hdl.handle.net/2434/961510
https://doi.org/10.1016/j.cose.2022.103037

المؤلفون: Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo

المساهمون: Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo Michele, Lei, Yu, Duan, Feng

مصطلحات موضوعية: abstract state machine, formal Method, IEEE 11073 PHD protocol, mechanical ventilator, model-based testing, refinement, test execution, Asmeta, testing implementation, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: remote

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000899608000001; volume:33; issue:2 (art. e1835); firstpage:1; lastpage:34; journal:SOFTWARE TESTING VERIFICATION & RELIABILITY; https://hdl.handle.net/10446/235470; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85144165814

الاتاحة: https://hdl.handle.net/10446/235470
https://doi.org/10.1002/stvr.1835

المؤلفون: P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene

المساهمون: P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene

مصطلحات موضوعية: Medical device software, Hemodialysis device, Certification, Abstract State Machine, Formal analysis, Settore INF/01 - Informatica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000431163000009; volume:158; firstpage:148; lastpage:167; numberofpages:20; journal:SCIENCE OF COMPUTER PROGRAMMING; http://hdl.handle.net/2434/585005; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85026764594

الاتاحة: http://hdl.handle.net/2434/585005
https://doi.org/10.1016/j.scico.2017.07.003

المؤلفون: Schewe, Klaus-Dieter, Wang, Qing

المصدر: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

مصطلحات موضوعية: Keywords: Abstract state machines, Database transformation, synchronous parallelism, Artificial intelligence Abstract State Machine, bounded exploration

جغرافية الموضوع: Pisa Italy

Relation: International Conference on Abstract State Machines, Alloy, B, VDM, and Z 2012; http://hdl.handle.net/1885/68732

الاتاحة: http://hdl.handle.net/1885/68732
https://doi.org/10.1007/978-3-642-30885-7_27

المؤلفون: Börger, Egon, Schewe, Klaus-Dieter

المصدر: JUCS - Journal of Universal Computer Science, 23((2)), 129-145, (2017-02-28)

مصطلحات موضوعية: distributed system, concurrency, Abstract State Machine, communication

Relation: oai:zenodo.org:5504833

الاتاحة: https://doi.org/10.3217/jucs-023-02-0129

المؤلفون: P. Arcaini, A. Gargantini, E. Riccobene

المساهمون: P. Arcaini, A. Gargantini, E. Riccobene

مصطلحات موضوعية: Abstract State Machine, Landing Gear System, Refinement, Validation and verification, Model based testing, Runtime verification, Settore INF/01 - Informatica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000398167200007; International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ); volume:19; issue:2; firstpage:247; lastpage:269; numberofpages:23; journal:INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER; http://hdl.handle.net/2434/373617; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84938650937

الاتاحة: http://hdl.handle.net/2434/373617
https://doi.org/10.1007/s10009-015-0394-x

المؤلفون: ARCAINI, Paolo, SCANDURRA, Patrizia

المساهمون: Arcaini, Paolo, Riccobene, Elvinia, Scandurra, Patrizia

مصطلحات موضوعية: Abstract state machine, Formal modeling and analysi, Functional requirements assurance, MAPE pattern, MAPE-K loop, Self-adaptation, Control and Systems Engineering, Software, Computer Science, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni

وصف الملف: text; remote

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000395848000006; volume:11; issue:4 (art. n. 25); firstpage:1; lastpage:35; journal:ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS; http://hdl.handle.net/10446/80697; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85009236676

الاتاحة: http://hdl.handle.net/10446/80697
https://doi.org/10.1145/3019598

المؤلفون: Paulweber, Philipp, Pescosta, Emmanuel, Zdun, Uwe

المصدر: Rigorous State-Based Methods

مصطلحات موضوعية: CASM, Trait, Structure, Abstract State Machine, Article, Modularization

URL الوصول: https://explore.openaire.eu/search/publication?articleId=pmc_________::98cb13b257e48dc54aaab261bebf8017
http://europepmc.org/articles/PMC7242048

المؤلفون: Lilli M., Braghin C., Riccobene E.

المساهمون: S. De Capitani di Vimercati, P. Samarati, M. Lilli, C. Braghin, E. Riccobene

مصطلحات موضوعية: Abstract State Machine, ASMETA, Formal Verification, IoT Security, MITM, Z-Wave Protocol, Settore INF/01 - Informatica

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-989-758-524-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000720102500016; ispartofbook:Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021; International Conference on Security and Cryptography, SECRYPT 2021; firstpage:198; lastpage:209; numberofpages:12; alleditors:S. De Capitani di Vimercati, P. Samarati; http://hdl.handle.net/2434/919589; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85111832033

الاتاحة: http://hdl.handle.net/2434/919589
https://doi.org/10.5220/0010553301980209

المؤلفون: Braghin C., Lilli M., Riccobene E.

المساهمون: A. Raschke, D. Méry, C. Braghin, M. Lilli, E. Riccobene

مصطلحات موضوعية: Abstract state machine, Cryptographic protocol, Security assurance, Settore INF/01 - Informatica

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-77542-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-77543-8; ispartofbook:Rigorous State-Based Methods; International Conference on Rigorous State-Based Methods; volume:12709; firstpage:17; lastpage:33; numberofpages:17; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:A. Raschke, D. Méry; http://hdl.handle.net/2434/919536; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85111372226

الاتاحة: http://hdl.handle.net/2434/919536
https://doi.org/10.1007/978-3-030-77543-8_2

المؤلفون: Gabriel SOFONEA, Marian Pompiliu CRISTESCU, Laurentiu CIOVICA

المصدر: Informatică economică, Vol X, Iss 4, Pp 44-48 (2006)

مصطلحات موضوعية: optimization, abstract state machine (evolving algebra), class annotation, Computer engineering. Computer hardware, TK7885-7895, Bibliography. Library science. Information resources

وصف الملف: electronic resource

Relation: http://www.revistaie.ase.ro/content/40/Sofonea_Cristescu.pdf; https://doaj.org/toc/1453-1305; https://doaj.org/toc/1842-8088

URL الوصول: https://doaj.org/article/16601ab55d3d48cea00afed3b3b101ce

المؤلفون: Paun, Vladimir-Alexandru, Monsuez, Bruno, Baufreton, Philippe

المساهمون: Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Sagem - SAFRAN Gr.

المصدر: IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ; https://hal.science/hal-01214957 ; IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan

مصطلحات موضوعية: WCET, abstract state machine, embedded systems, hard real-time, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Taipei, Taiwan

Relation: hal-01214957; https://hal.science/hal-01214957; https://hal.science/hal-01214957/document; https://hal.science/hal-01214957/file/Hierarchical%20Timed%20Symbolic%20Abstract%20State%20Machines%20for%20precise%20WCET%20estimation%20-%20Paun%20et%20all%20-%20final.pdf

الاتاحة: https://hal.science/hal-01214957
https://hal.science/hal-01214957/document
https://hal.science/hal-01214957/file/Hierarchical%20Timed%20Symbolic%20Abstract%20State%20Machines%20for%20precise%20WCET%20estimation%20-%20Paun%20et%20all%20-%20final.pdf

المؤلفون: P. Arcaini, E. Riccobene, A. Gargantini

المساهمون: P. Arcaini, A. Gargantini, E. Riccobene

مصطلحات موضوعية: Abstract State Machine, Component-based software engineering, Runtime monitoring, Settore INF/01 - Informatica

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781450313483; ispartofbook:Proceedings of the 17th international doctoral symposium on Components and Architecture WCOP; Doctoral Symposium on Components and Architecture (WCOP); firstpage:25; lastpage:30; http://hdl.handle.net/2434/209133; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84864032283

الاتاحة: http://hdl.handle.net/2434/209133
https://doi.org/10.1145/2304676.2304682

المؤلفون: Paun, Vladimir-Alexandru, Monsuez, Bruno

المساهمون: Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris)

المصدر: Proceedings Work-in-Progress Session of LCTES 2012 ; Languages, Compilers, Tools and Theory for Embedded Systems WiP ; https://hal.science/hal-01214943 ; Languages, Compilers, Tools and Theory for Embedded Systems WiP, Jun 2012, Beijing, China

مصطلحات موضوعية: WCET, Abstract State Machine, Symbolic Execution, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: Beijing, China

Relation: hal-01214943; https://hal.science/hal-01214943; https://hal.science/hal-01214943/document; https://hal.science/hal-01214943/file/Adaptable%20and%20Precise%20Worst%20Case%20Execution%20Time%20Estimation%20Tool%20-%20Paun%20and%20Monsuez.pdf

الاتاحة: https://hal.science/hal-01214943
https://hal.science/hal-01214943/document
https://hal.science/hal-01214943/file/Adaptable%20and%20Precise%20Worst%20Case%20Execution%20Time%20Estimation%20Tool%20-%20Paun%20and%20Monsuez.pdf