المؤلفون: Melatti, Igor, Mari, Federico, Mancini, Toni, Prodanovic, Milan, Tronci, Enrico

المصدر: IEEE Transactions on Industrial Electronics, 2021

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Artificial Intelligence, 90C90, I.2.8, J.2, C.3

URL الوصول: http://arxiv.org/abs/2108.06735

المؤلفون: Sinisi, Stefano, Alimguzhin, Vadim, Mancini, Toni, Tronci, Enrico, Mari, Federico, Leeners, Brigitte

المصدر: Fundamenta Informaticae, 174(3-4):283-310, 2020

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Quantitative Biology - Quantitative Methods, 68T20 (Primary), I.2.8, I.6.3

URL الوصول: http://arxiv.org/abs/2106.10684

المؤلفون: Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

المصدر: EPTCS 193, 2015, pp. 86-99

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Systems and Control

URL الوصول: http://arxiv.org/abs/1509.07201

المؤلفون: Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Systems and Control

URL الوصول: http://arxiv.org/abs/1210.2276

المؤلفون: Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Systems and Control, D.2.2, D.2.4

URL الوصول: http://arxiv.org/abs/1207.4474

المؤلفون: Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

مصطلحات موضوعية: Computer Science - Systems and Control, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1207.4098

المؤلفون: Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Systems and Control

URL الوصول: http://arxiv.org/abs/1107.5638

المؤلفون: Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

مصطلحات موضوعية: Computer Science - Systems and Control, Computer Science - Logic in Computer Science, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1106.0468

المؤلفون: Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

مصطلحات موضوعية: Computer Science - Systems and Control, Mathematics - Optimization and Control

URL الوصول: http://arxiv.org/abs/1105.5640

المؤلفون: Innocenti, Lorenzo, Romano, Chiara, Greco, Giuseppe, Nuccio, Stefano, Bellini, Alessio, Mari, Federico, Silvestri, Sergio, Schena, Emiliano, Sacchetti, Massimo, Massaroni, Carlo, Nicolò, Andrea

المصدر: Sensors (14248220); Jul2024, Vol. 24 Issue 14, p4571, 17p

مصطلحات موضوعية: WEARABLE technology, SOCCER fields, RESPIRATION, HIGH-intensity interval training

المؤلفون: Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

المساهمون: FP7 Information and Communication Technologies

المصدر: Applied Artificial Intelligence ; volume 35, issue 5, page 353-372 ; ISSN 0883-9514 1087-6545

الاتاحة: http://dx.doi.org/10.1080/08839514.2020.1843833
https://www.tandfonline.com/doi/pdf/10.1080/08839514.2020.1843833

المؤلفون: MARI, FEDERICO

المساهمون: Bertei, Antonio, Bischi, Aldo

المصدر: http://etd.adm.unipi.it/theses/available/etd-04282023-133459/.

مصطلحات موضوعية: INGEGNERIA CIVILE E INDUSTRIALE

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

Relation: http://etd.adm.unipi.it/theses/available/etd-04282023-133459/

الاتاحة: http://etd.adm.unipi.it/theses/available/etd-04282023-133459/

المؤلفون: MANCINI, Toni, MARI, FEDERICO, MASSINI, Annalisa, MELATTI, IGOR, SALVO, Ivano, TRONCI, Enrico

المساهمون: Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

مصطلحات موضوعية: Explicit model checking, Formal method, Formal verification, Software engineering, System-level formal verification, Theoretical Computer Science, Signal Processing, Information Systems

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000399506600002; volume:122; firstpage:8; lastpage:16; numberofpages:9; journal:INFORMATION PROCESSING LETTERS; http://hdl.handle.net/11573/941556; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85013018705

الاتاحة: http://hdl.handle.net/11573/941556
https://doi.org/10.1016/j.ipl.2017.02.001

المؤلفون: MANCINI, Toni, MARI, FEDERICO, MELATTI, IGOR, SALVO, Ivano, TRONCI, Enrico, Gruber, Jorn Klaas, Hayes, Barry, Prodanovic, Milan, Elmegaard, Lars

المساهمون: Mancini, Toni, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico, Gruber, Jorn Klaa, Hayes, Barry, Prodanovic, Milan, Elmegaard, Lars

مصطلحات موضوعية: Grid State Estimation, Peak Shaving, Policy Robustness Verification, Price Policy Synthesi, Information Systems

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781467380355; info:eu-repo/semantics/altIdentifier/wos/WOS:000382382300069; ispartofbook:Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015; 18th Euromicro Conference on Digital System Design, DSD 2015; firstpage:478; lastpage:485; numberofpages:8; http://hdl.handle.net/11573/869371; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84958211717

الاتاحة: http://hdl.handle.net/11573/869371
https://doi.org/10.1109/DSD.2015.35

المؤلفون: Buzzi, Fulvio Paolo, Mari, Federico, Bertei, Antonio, Mauri, Roberto, Bischi, Aldo

مصطلحات موضوعية: zero-dimensional modelling, flow battery, solid boosters

Relation: https://zenodo.org/communities/eu; https://doi.org/10.5281/zenodo.8138094; https://doi.org/10.5281/zenodo.8138095; oai:zenodo.org:8138095

الاتاحة: https://doi.org/10.5281/zenodo.8138095

المؤلفون: MANCINI, Toni, MARI, FEDERICO, MASSINI, Annalisa, MELATTI, IGOR, TRONCI, Enrico

المساهمون: Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

مصطلحات موضوعية: Hardware in the loop simulation, Model checking driven simulation, Model Checking of Hybrid System, Computer Networks and Communication, Hardware and Architecture, Software, Artificial Intelligence

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000370456500002; volume:41; firstpage:12; lastpage:28; numberofpages:17; journal:MICROPROCESSORS AND MICROSYSTEMS; http://hdl.handle.net/11573/864155; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84954475986

الاتاحة: http://hdl.handle.net/11573/864155
https://doi.org/10.1016/j.micpro.2015.10.010

المؤلفون: MANCINI, Toni, MARI, FEDERICO, MASSINI, Annalisa, MELATTI, IGOR, TRONCI, Enrico

المساهمون: Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

مصطلحات موضوعية: Distributed Multi-Core Hardware in the Loop Simulation, Hybrid System, Model Checking, System Level Formal Verification, Verification as a Service, Theoretical Computer Science, Algebra and Number Theory, Information System, Computational Theory and Mathematics

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000391744500005; volume:149; issue:1-2; firstpage:101; lastpage:132; numberofpages:32; journal:FUNDAMENTA INFORMATICAE; http://hdl.handle.net/11573/928859; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85008315342; http://www.iospress.nl/

الاتاحة: http://hdl.handle.net/11573/928859
https://doi.org/10.3233/FI-2016-1444
http://www.iospress.nl/

المؤلفون: Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

المساهمون: Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

مصطلحات موضوعية: Formal verification, Simulation based formal verification, Formal verification of cyber-physical systems, System-level formal verification

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000632385700002; volume:120; firstpage:100640; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; https://hdl.handle.net/11573/1549368; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85099785572

الاتاحة: https://hdl.handle.net/11573/1549368
https://doi.org/10.1016/j.jlamp.2021.100640

المؤلفون: Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Merli, Fabio, Tronci, Enrico

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 296-312 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642397981 9783642397998

الاتاحة: http://dx.doi.org/10.1007/978-3-642-39799-8_21
http://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_21

المؤلفون: Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 180-195 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642142949 9783642142956

الاتاحة: http://dx.doi.org/10.1007/978-3-642-14295-6_20
http://link.springer.com/content/pdf/10.1007/978-3-642-14295-6_20.pdf