E-LIB Suche - Ergebnisse für: Baleani, Massimo

1

An Application of SMC to continuous validation of heterogen..:

, In: Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques,

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto... - p. 76-85 , 2016

2

Semantics-Preserving Design of Embedded Control Software fr..:

Mangeruca, Leonardo ; Baleani, Massimo ; Ferrari, Alberto.
IEEE Transactions on Software Engineering. 33 (2007) 8 - p. 497-509 , 2007

Link: https://doi.org/10.1109/..

3

Uniprocessor scheduling under precedence constraints for em..:

Mangeruca, Leonardo ; Baleani, Massimo ; Ferrari, Alberto.
ACM Transactions on Embedded Computing Systems. 7 (2007) 1 - p. 1-30 , 2007

Link: https://doi.org/10.1145/..

4

Uniprocessor scheduling under precedence constraints for em..:

Mangeruca, Leonardo ; Baleani, Massimo ; Ferrari, Alberto.
ACM Transactions on Embedded Computing Systems (TECS). 7 (2007) 1 - p. 1-30 , 2007

Link: https://dl.acm.org/doi/1..

5

HW/SW partitioning and code generation of embedded control ..:

, In: Proceedings of the tenth international symposium on Hardware/software codesign,

Baleani, Massimo ; Gennari, Frank ; Jiang, Yunjian... - p. 151-156 , 2002

Link: https://dl.acm.org/doi/1..

6

An Application of SMC to continuous validation of heterogen..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/semantics/altIdentifier/doi/10.4108/eai.1-2-2017.152154. , 2017

Link: https://hal.inria.fr/hal..

7

An Application of SMC to continuous validation of heterogen..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/semantics/altIdentifier/doi/10.4108/eai.1-2-2017.152154. , 2017

Link: https://inria.hal.scienc..

8

An Application of SMC to continuous validation of heterogen..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/semantics/altIdentifier/doi/10.4108/eai.1-2-2017.152154. , 2017

Link: https://inria.hal.scienc..

9

An Application of SMC to continuous validation of heterogen..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/semantics/altIdentifier/doi/10.4108/eai.1-2-2017.152154. , 2017

Link: https://inria.hal.scienc..

10

An Application of SMC to continuous validation of heterogen..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/grantAgreement/EC/FP7/287716/EU/Designing for Adaptability and evolutioN in System of systems Engineering/DANSE. , 2016

Link: https://inria.hal.scienc..

11

An Application of SMC to continuous validation of heterogen..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/grantAgreement/EC/FP7/287716/EU/Designing for Adaptability and evolutioN in System of systems Engineering/DANSE. , 2016

Link: https://inria.hal.scienc..

12

An Application of SMC to continuous validation of heterogen..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/grantAgreement/EC/FP7/287716/EU/Designing for Adaptability and evolutioN in System of systems Engineering/DANSE. , 2016

Link: https://hal.inria.fr/hal..

13

An Application of SMC to continuous validation of heterogen..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/grantAgreement/EC/FP7/287716/EU/Designing for Adaptability and evolutioN in System of systems Engineering/DANSE. , 2016

Link: https://inria.hal.scienc..

14

Statistical Model Checking of Systems of Systems: An Indust..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/grantAgreement/EC/FP7/287716/EU/Designing for Adaptability and evolutioN in System of systems Engineering/DANSE. , 2015

Link: https://inria.hal.scienc..

15

Statistical Model Checking of Systems of Systems: An Indust..:

Arnold, Alexandre ; Baleani, Massimo ; Ferrari, Alberto...
info:eu-repo/grantAgreement/EC/FP7/287716/EU/Designing for Adaptability and evolutioN in System of systems Engineering/DANSE. , 2015

Link: https://inria.hal.scienc..