Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Leonardo Mangeruca"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 133, Iss Proc. AiSoS 2013, Pp 67-83 (2013)
Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for sys
Externí odkaz:
https://doaj.org/article/13d25bf1c73f453096159bd0ee2e62ee
Publikováno v:
GandALF
Seeking the largest solution to an expression of the form A x
In Proceedings GandALF 2020, arXiv:2009.09360
In Proceedings GandALF 2020, arXiv:2009.09360
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a4a9ba1a4e07a651209e76be17e3c64
http://hdl.handle.net/11562/1033403
http://hdl.handle.net/11562/1033403
Autor:
Christos Sofronis, Alberto Ferrari, Cong Liu, Leonardo Mangeruca, Orlando Ferrante, Eelco Scholte, C. Pinello
Publikováno v:
SAE International Journal of Aerospace. 9:140-150
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f791e34cda9efc0f0fbee8a56ae72e9e
https://doi.org/10.4271/2016-01-2053
https://doi.org/10.4271/2016-01-2053
Autor:
Leonardo Mangeruca, Alessandro Ulisse, Giulio M. Mancuso, Stefano Boccabella, Luigi Di Guglielmo, Alberto Ferrari, Alessandro Mignogna, Fabio Cremona
Publikováno v:
2018 Modeling and Simulation Technologies Conference
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df216c97622de06dd6093ac6e3d86375
https://doi.org/10.2514/6.2018-3893
https://doi.org/10.2514/6.2018-3893
Publikováno v:
Handbook of Parallel Constraint Reasoning ISBN: 9783319635156
Handbook of Parallel Constraint Reasoning
Handbook of Parallel Constraint Reasoning
Model checking has reached a maturity level that allows its techniques to be applied to the verification of industrial systems. Several algorithms and methods have been proposed to increase its effectiveness to tackle models of increasing complexity.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdc8f6cd8cba87524b7bc9ee1094bce8
https://doi.org/10.1007/978-3-319-63516-3_16
https://doi.org/10.1007/978-3-319-63516-3_16
Autor:
Leonardo Mangeruca, Marcel Gottschall, Laura Albiol-Tendillo, Gilberto Burgio, Virgilio Valdivia-Guerrero, Sören Reglitz, Jann-Eve Stavesand, Lionel Yapi, Andreas Himmler, Alberto Ferrari, Olaf Oelsner, Parithi Govindaraju, Marco Carloni
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c71d72245ca6613125f5e365453c3426
https://doi.org/10.4271/2017-01-2115
https://doi.org/10.4271/2017-01-2115
Autor:
Thomas Peikenkamp, Werner Damm, François Terrier, Sébastien Gérard, Arnaud Cuccuru, Leonardo Mangeruca, Susanne Graf, I. Ben Hafaiedh, Albert Benveniste, Roberto Passerone, Bernhard Josko, Alberto Sangiovanni-Vincentelli, Daniela Cancila, Alberto Ferrari
Publikováno v:
IEEE Design & Test of Computers. 26:38-53
This article provides an overview of current efforts in Europe for using metamodeling in the integrated development of critical systems such as automotive electronics. It distinguishes between lightweight versus heavyweight approaches, surveys a numb
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::186d0d71ce1e9580fd8de14e156fb7d1
https://doi.org/10.1109/mdt.2009.64
https://doi.org/10.1109/mdt.2009.64
Publikováno v:
ACM Transactions on Embedded Computing Systems. 7:1-30
In this paper, we present a novel approach to the constrained scheduling problem, while addressing a more general class of constraints that arise from the timing requirements on real-time embedded controllers. We provide general necessary and suffici
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e80d5008d38eede3d129e1adb808cb2
https://doi.org/10.1145/1324969.1324975
https://doi.org/10.1145/1324969.1324975
Publikováno v:
IEEE Transactions on Software Engineering. 33:497-509
The design of embedded controllers is experiencing a growth in complexity as embedded systems increase their functionality while they become ubiquitous in electronic appliances, cars, airplanes, etc. As requirements become more challenging, mathemati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2b56440822bd0ac641f727a3e92a982
https://doi.org/10.1109/tse.2007.70718
https://doi.org/10.1109/tse.2007.70718
Publikováno v:
Real-Time Systems. 32:73-104
This paper addresses the problem of loop iteration number estimation, applied to linear loops. This is important to statically put an upper bound on the execution time of real-time systems and implement timing constraint verification. In our approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59b741984d43372428e1e7a0bc67558a
https://doi.org/10.1007/s11241-006-5317-1
https://doi.org/10.1007/s11241-006-5317-1