NAPOLI, Margherita
NAPOLI, Margherita
Dipartimento di Informatica/DI
A Compositional Approach to Synchronize Two Dimensional Networks of Processors
2000 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
A Decidable Dense Branching-time Temporal Logic
2000 LA TORRE, Salvatore; Napoli, Margherita
A Model of Finite Automata on Timed omega-Trees
2001 LA TORRE, Salvatore; Napoli, Margherita
A NuSMV Extension for Graded-CTL Model Checking
2010 Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F.
A Temporal Logic for Multi-threaded Programs
2012 LA TORRE, Salvatore; Napoli, Margherita
A Unifying Approach for Multistack Pushdown Automata
2014 LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro
Automata-based Representations for Infinite Graphs
2001 LA TORRE, Salvatore; Napoli, Margherita
C-tree systolic automata
1988 E., Fachini; Napoli, Margherita
Coalitional Games with Priced-Resource Agents
2011 DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information
2000 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
CTL Model-Checking with Graded Quantifiers
2008 Ferrante, A.; Napoli, Margherita; Parente, Domenico
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks
2006 Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Finite automata on timed omega-trees.
2003 LA TORRE, Salvatore; Napoli, Margherita
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints
2001 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Graded Alternating Time Temporal Logic
2009 Faella, Marco; Napoli, Margherita; Parente, Domenico
Graded Alternating-Time Temporal Logic
2010 Parente, Domenico; Napoli, Margherita; Faella, M.
Graded Alternating-Time Temporal Logic
2010 Faella, M; Napoli, Margherita; Parente, Domenico
Graded CTL model checking for test generation.
2011 Napoli, Margherita; Parente, Domenico
Graded-CTL: Satisfiability and Symbolic Model Checking
2009 Alessandro, Ferrante; Napoli, Margherita; Parente, Domenico
Hierarchical and Recursive State Machines with Context-Dependent Properties
2003 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Compositional Approach to Synchronize Two Dimensional Networks of Processors | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
A Decidable Dense Branching-time Temporal Logic | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita | |
A Model of Finite Automata on Timed omega-Trees | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita | |
A NuSMV Extension for Graded-CTL Model Checking | 1-gen-2010 | Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F. | |
A Temporal Logic for Multi-threaded Programs | 1-gen-2012 | LA TORRE, Salvatore; Napoli, Margherita | |
A Unifying Approach for Multistack Pushdown Automata | 1-gen-2014 | LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
Automata-based Representations for Infinite Graphs | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita | |
C-tree systolic automata | 1-gen-1988 | E., Fachini; Napoli, Margherita | |
Coalitional Games with Priced-Resource Agents | 1-gen-2011 | DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico | |
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
CTL Model-Checking with Graded Quantifiers | 1-gen-2008 | Ferrante, A.; Napoli, Margherita; Parente, Domenico | |
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks | 1-gen-2006 | Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Finite automata on timed omega-trees. | 1-gen-2003 | LA TORRE, Salvatore; Napoli, Margherita | |
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Graded Alternating Time Temporal Logic | 1-gen-2009 | Faella, Marco; Napoli, Margherita; Parente, Domenico | |
Graded Alternating-Time Temporal Logic | 1-gen-2010 | Parente, Domenico; Napoli, Margherita; Faella, M. | |
Graded Alternating-Time Temporal Logic | 1-gen-2010 | Faella, M; Napoli, Margherita; Parente, Domenico | |
Graded CTL model checking for test generation. | 1-gen-2011 | Napoli, Margherita; Parente, Domenico | |
Graded-CTL: Satisfiability and Symbolic Model Checking | 1-gen-2009 | Alessandro, Ferrante; Napoli, Margherita; Parente, Domenico | |
Hierarchical and Recursive State Machines with Context-Dependent Properties | 1-gen-2003 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G. |