io-port.net

io-port 06085043 La Torre, Salvatore; Napoli, Margherita

A temporal logic for multi-threaded programs. (English)

Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 225-239 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06043097 Montanari, Angelo (ed.); Napoli, Magherita (ed.); Parente, Mimmo (ed.)

Special issue: Games, Automata, logic, and formal verification (GandALF 2010). Selected papers based on the presentations at the 1st symposium, Minori, Itay, June 17‒18, 2010. (English)

Int. J. Found. Comput. Sci. 23, No. 3, 555-711 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX

io-port 05945192 La Torre, Salvatore; Napoli, Margherita

Reachability of multistack pushdown systems with scope-bounded matching relations. (English)

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 ‒ concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 203-218 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70005400 La Torre, Salvatore; Napoli, Margherita

Reachability of multistack pushdown systems with scope-bounded matching relations (English)

CONCUR, 203-218 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70275273 Napoli, Margherita; Parente, Mimmo

Graded CTL model checking for test generation (English)

SpringSim (TMS-DEVS), 59-66 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05870673 Faella, Marco; Napoli, Margherita; Parente, Mimmo

Graded alternating-time temporal logic. (English)

Fundam. Inform. 105, No. 1-2, 189-210 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05834040 Faella, Marco; Napoli, Margherita; Parente, Mimmo

Graded alternating-time temporal logic. (English)

Clarke, Edmund M. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 ‒ May 1, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17510-7/pbk). Lecture Notes in Computer Science 6355. Lecture Notes in Artificial Intelligence, 192-211 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05772671 Ferrante, Alessandro; Memoli, Maurizio; Napoli, Margherita; Parente, Mimmo; Sorrentino, Francesco

A NuSMV extension for graded-CTL model checking. (English)

Touili, Tayssir (ed.) et al., Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14294-9/pbk). Lecture Notes in Computer Science 6174, 670-673 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05767064 Montanari, Angelo; Napoli, Margherita; Parente, Mimmo

Proceedings first symposium on games, automata, logic, and formal verification. (English)

Comput. Res. Repos. 2010, Article No. 1006.1711 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05712471 Di Giampaolo, Barbara; La Torre, Salvatore; Napoli, Margherita

Parametric metric interval temporal logic. (English)

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 4th international conference, LATA 2010, Trier, Germany, May 24‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13088-5/pbk). Lecture Notes in Computer Science 6031, 249-260 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70150410 Di Giampaolo, Barbara; La Torre, Salvatore; Napoli, Margherita

Parametric metric interval temporal logic (English)

LATA, 249-260 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70210674 Faella, Marco; Napoli, Margherita; Parente, Mimmo

Graded alternating-time temporal logic (English)

LPAR (Dakar), 192-211 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70759785 Ferrante, Alessandro; Memoli, Maurizio; Napoli, Margherita; Parente, Mimmo; Sorrentino, Francesco

A nusmv extension for graded-CTL model checking (English)

CAV, 670-673 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05666780 Ferrante, Alessandro; Napoli, Margherita; Parente, Mimmo

Model checking for graded CTL. (English)

Fundam. Inform. 96, No. 3, 323-339 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05635816 Ferrante, Alessandro; Napoli, Margherita; Parente, Mimmo

Graded-CTL: Satisfiability and symbolic model checking. (English)

Breitman, Karin (ed.) et al., Formal methods and software engineering. 11th international conference on formal engineering methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9‒12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10372-8/pbk). Lecture Notes in Computer Science 5885, 306-325 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70052050 Ferrante, Alessandro; Napoli, Margherita; Parente, Mimmo

Graded-CTL: satisfiability and symbolic model checking (English)

ICFEM, 306-325 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05498351 Murano, Aniello; Napoli, Margherita; Parente, Mimmo

Program complexity in hierarchical module checking. (English)

Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22‒27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 318-332 (2008).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05369259 Ferrante, Alessandro; Napoli, Margherita; Parente, Mimmo

CTL model-checking with graded quantifiers. (English)

Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20‒23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 18-32 (2008).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05349805 La Torre, Salvatore; Napoli, Margherita; Parente, Mimmo; Parlato, Gennaro

Verification of scope-dependent hierarchical state machines. (English)

Inf. Comput. 206, No. 9-10, 1161-1177 (2008).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70210807 Murano, Aniello; Napoli, Margherita; Parente, Mimmo

Program complexity in hierarchical module checking (English)

LPAR, 318-332 (2008).

20

PDF XML AMS-TeX TEXT BIBTeX DOI