Scorri Autori Unibg
Specifying, validating, and testing a traffic management system in the TRIO environment
1996-01-01 Gargantini, Angelo Michele; Liberati, Litia; Morzenti, Angelo; Zacchetti, Cristiano
TRIO specification of a steam boiler controller
1996-01-01 Gargantini, Angelo Michele; Morzenti, Angelo
Providing automated support to deductive analysis of time critical systems
1997-01-01 Alborghetti, Andrea; Gargantini, Angelo Michele; Morzenti, Angelo
A theory of implementation and refinement in timed Petri nets
1998-01-01 Felder, Miguel; Gargantini, Angelo Michele; Morzenti, Angelo
Dealing with Zero-Time Transitions in Axiom Systems
1999-01-01 Gargantini, Angelo Michele; Mandrioli, Dino; Morzenti, Angelo
Using model checking to generate tests from requirements specifications
1999-01-01 Gargantini, Angelo Michele; Heitmeyer, Constance
Encoding Abstract State Machines in PVS
2000-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia
Automated deductive requirements analysis of critical systems
2001-01-01 Gargantini, Angelo Michele; Morzenti, Angelo
ASM-based testing: Coverage criteria and automatic test sequence generation
2001-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia
ASM 2003. A double anniversary in Sicily
2003-01-01 Boerger, Egon; Gargantini, Angelo Michele; Riccobene, Elvinia
Automatic Model Driven Animation of SCR Specifications
2003-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia
Using spin to generate tests from ASM specifications
2003-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore
ViBBA: A Toolbox for Automatic Model Driven Animation
2005-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia
Conformance testing
2005-01-01 Gargantini, Angelo Michele
Exploiting the ASM method within the Model-driven Engineering paradigm
2006-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware
2006-01-01 Riccobene, Elvinia; Scandurra, Patrizia; Gargantini, Angelo Michele
Automated Verification of Continuous Time Systems by Discrete Temporal Induction
2006-01-01 Gargantini, Angelo Michele; Morzenti, Angelo
AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines
2007-01-01 Riccobene, Elvinia; Gargantini, Angelo Michele; Scandurra, Patrizia
A Metamodel-based Simulator for ASMs
2007-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Using Model Checking to Generate Fault Detecting Tests
2007-01-01 Gargantini, Angelo Michele
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-1996 | Specifying, validating, and testing a traffic management system in the TRIO environment | Gargantini, Angelo Michele; Liberati, Litia; Morzenti, Angelo; Zacchetti, Cristiano | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-1996 | TRIO specification of a steam boiler controller | Gargantini, Angelo Michele; Morzenti, Angelo | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-1997 | Providing automated support to deductive analysis of time critical systems | Alborghetti, Andrea; Gargantini, Angelo Michele; Morzenti, Angelo | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-1998 | A theory of implementation and refinement in timed Petri nets | Felder, Miguel; Gargantini, Angelo Michele; Morzenti, Angelo | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-1999 | Dealing with Zero-Time Transitions in Axiom Systems | Gargantini, Angelo Michele; Mandrioli, Dino; Morzenti, Angelo | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-1999 | Using model checking to generate tests from requirements specifications | Gargantini, Angelo Michele; Heitmeyer, Constance | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2000 | Encoding Abstract State Machines in PVS | Gargantini, Angelo Michele; Riccobene, Elvinia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2001 | Automated deductive requirements analysis of critical systems | Gargantini, Angelo Michele; Morzenti, Angelo | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2001 | ASM-based testing: Coverage criteria and automatic test sequence generation | Gargantini, Angelo Michele; Riccobene, Elvinia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2003 | ASM 2003. A double anniversary in Sicily | Boerger, Egon; Gargantini, Angelo Michele; Riccobene, Elvinia | 1.2 Contributi in volume - Book chapters::1.2.03 Brevi introduzioni - Introductions | |
1-gen-2003 | Automatic Model Driven Animation of SCR Specifications | Gargantini, Angelo Michele; Riccobene, Elvinia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2003 | Using spin to generate tests from ASM specifications | Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2005 | ViBBA: A Toolbox for Automatic Model Driven Animation | Gargantini, Angelo Michele; Riccobene, Elvinia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2005 | Conformance testing | Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2006 | Exploiting the ASM method within the Model-driven Engineering paradigm | Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2006 | Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware | Riccobene, Elvinia; Scandurra, Patrizia; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2006 | Automated Verification of Continuous Time Systems by Discrete Temporal Induction | Gargantini, Angelo Michele; Morzenti, Angelo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines | Riccobene, Elvinia; Gargantini, Angelo Michele; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | A Metamodel-based Simulator for ASMs | Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | Using Model Checking to Generate Fault Detecting Tests | Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile