io-port.net

io-port 06053614 Derrick, John (ed.); Fitzgerald, John (ed.); Gnesi, Stefania (ed.); Khurshid, Sarfraz (ed.); Leuschel, Michael (ed.); Reeves, Steve (ed.); Riccobene, Elvinia (ed.)

Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. (English)

Lecture Notes in Computer Science 7316. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). xv, 378~p. EUR~57.78 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05901346 Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

A model-driven process for engineering a toolset for a formal method. (English)

Softw., Pract. Exper. 41, No. 2, 155-166 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50147484 Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

A model-driven process for engineering a toolset for a formal method (English)

Softw., Pract. Exper. 41, No. 2, 155-166 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70202042 Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia

Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (English)

ASE, 388-391 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70972115 Riccobene, Elvinia; Scandurra, Patrizia; Albani, Fabio

A modeling and executable language for designing and prototyping service-oriented applications (English)

EUROMICRO-SEAA, 4-11 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05674180 Riccobene, Elvinia; Scandurra, Patrizia

An executable semantics of the SystemC UML profile. (English)

Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 75-90 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05674179 Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia

AsmetaSMV: A way to link high-level ASM models to low-level NuSMV specifications. (English)

Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 61-74 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70045768 Riccobene, Elvinia; Scandurra, Patrizia

Specifying formal executable behavioral models for structural models of service-oriented components (English)

ACT4SOC, 29-41 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX

io-port 70992630 Riccobene, Elvinia; Scandurra, Patrizia

An executable semantics of the systemc UML profile (English)

ASM, 75-90 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70992659 Arcaini, Paolo; Gargantini, Angelo; Riccobene, Elvinia

Asmetasmv: A way to link high-level ASM models to low-level nusmv specifications (English)

ASM, 61-74 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05738627 Riccobene, Elvinia; Scandurra, Patrizia; Bocchio, Sara; Rosti, Alberto; Lavazza, Luigi; Mantellini, Luigi

Systemc/C-based model-driven design for embedded systems. (English)

ACM Trans Embed. Comput. Syst. 8, No. 4 (2009).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05663859 Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

Ten reasons to metamodel ASMs. (English)

Abrial, Jean-Raymond (ed.) et al., Rigorous methods for software construction and analysis. Essays dedicated to Egon Börger on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-11446-5/pbk). Lecture Notes in Computer Science 5115, 33-49 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05660997 Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

A semantic framework for metamodel-based languages. (English)

Autom. Softw. Eng. 16, No. 3-4, 415-454 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05659206 Riccobene, Elvinia; Scandurra, Patrizia

Model transformations in the UPES/UPSoC development process for embedded systems. (English)

Innov. Syst. Softw. Eng. 5, No. 1, 35-47 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50061689 Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

A semantic framework for metamodel-based languages (English)

Autom. Softw. Eng. 16, No. 3-4, 415-454 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70496339 Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

Integrating formal methods with model-driven engineering (English)

ICSEA, 86-92 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70701149 Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

Ten reasons to metamodel asms (English)

Rigorous Methods for Software Construction and Analysis, 33-49 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05368983 Gargantini, A.; Riccobene, E.; Scandurra, P.

A metamodel-based language and a simulation engine for abstract state machines. (English)

J. UCS 14, No. 12, 1949-1983, electronic only (2008).

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05364581 Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

Exploiting the ASM method for validation \& verification of embedded systems. (English)

Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16‒18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 348 (2008).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05364552 Carioni, Alessandro; Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia

A scenario-based validation language for ASMs. (English)

Börger, Egon (ed.) et al., Abstract state machines, B and Z. First international conference, ABZ 2008, London, UK, September 16‒18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87602-1/pbk). Lecture Notes in Computer Science 5238, 71-84 (2008).

20

PDF XML AMS-TeX TEXT BIBTeX DOI