Searching for authors named "Elvinia Riccobene" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Logic + Control revisited: an interpreter for Godel programs
- … Informatica C.so Italia 40, I-56100 PISA boerger@(email omitted); Elvinia Riccobene Dip. di Matematica V…
- Add To MetaCart
-
A Realistic Environment for Crypto-Protocol Analyses by ASMs
- …A Realistic Environment for Crypto-Protocol Analyses by ASMs Giampaolo Bella 1 and Elvinia…
- Cited by 1 (1 self) – Add To MetaCart
-
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence Generation
- ….E.A.- Università di Catania Piazza Università, 2 - 95124 Catania, Italy a.gargantini@(email omitted);) Elvinia Riccobene…
- Cited by 9 (2 self) – Add To MetaCart
-
Automatic Model Driven Animation of SCR Specifications
- …Automatic Model Driven Animation of SCR Specifications Angelo Gargantini 1 and Elvinia Riccobene 2…
- Cited by 1 (1 self) – Add To MetaCart
-
Formal Analysis of the Kerberos Authentication System
- ….Bella@(email omitted);) Elvinia Riccobene (Dipartimento di Matematica, Universit`a di Catania Viale A.Doria, 6 - I-95125 Catania…
- Cited by 15 (7 self) – Add To MetaCart
-
Proving invariants of I/O automat with TAME
- … ELVINIA RICCOBENE riccobene@ dmi.unict.it Dipartimento di Matematica e lnjbrmatica, Universitt di Catania…
- Add To MetaCart
-
An ASM Semantics for UML Activity Diagrams
- …An ASM Semantics for UML Activity Diagrams Egon Börger 1 , Alessandra Cavarra 2 , and Elvinia…
- Cited by 34 (4 self) – Add To MetaCart
-
Capturing requirements by Abstract State Machines: The Light Control case study
- … Research, Redmond) Elvinia Riccobene (Universita di Catania, Dipartimento di Matematica e Informatica, I…
- Cited by 8 (5 self) – Add To MetaCart
-
Applying TAME to I/O Automata: A User's Perspective
- …Applying TAME to I/O Automata: A User's Perspective ? Elvinia Riccobene 1 , Myla Archer 2…
- Cited by 1 (0 self) – Add To MetaCart
-
Using TAME to Prove Invariants of Automata Models: Two Case Studies
- … heitmeyer@(email omitted); Elvinia Riccobene Dipartimento di Matematica e Informatica Universit a di…
- Cited by 7 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
