Active Bibliography

November 2006ASM Relational Transducer Security Policies – Leo A. Meyerovich, Joel H. W. Weinberger, Colin S. Gordon, Shriram Krishnamurthi, Leo Meyerovich, Joel Weinberger, Colin Gordon, Shriram Krishnamurthi
28 Specification and Verification of Data-driven Web Services – Alin Deutsch, Liying Sui, Victor Vianu
5 Evolving Databases: An Application to Electronic Commerce – Bradley Fordham, Serge Abiteboul, Yelena Yesha - 1997
29 Specifying and reasoning about dynamic access-control policies – Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi - 2006
United KingdomA Logic for State-Modifying Authorization Policies – Moritz Y. Becker, Sebastian Nanz, Moritz Y. Becker, Sebastian Nanz - 2007
18 S.: A logic for state-modifying authorization policies – Moritz Y. Becker, Sebastian Nanz - 2007
1 Monodic ASMs and temporal verification, in – Michael Fisher, Alexei Lisitsa - 2004
6 The Timed Abstract State Machine Language: An Executable Specification Language for Reactive Real-Time Systems – Martin Ouimet, Kristina Lundqvist - 2007
6 Distributed Abstract State Machines and their Expressive Power – Andreas Glausch, Wolfgang Reisig - 2006
Model Checking and Refinement of ASM Models Using SMV – Meral Shirazipour, Yassine Mokhtari, Sofiene Tahar
2 Formal Verification of ASM Designs Using the MDG Tool – Amjad Gawanmeh, Sofiene Tahar, Kirsten Winter - 2003
Embedding and Verification of PSL using AsmL – Amjad Gawanmeh , Ali Habibi, Sofiène Tahar - 2005
3 E.: Model checking abstract state machines with answer set programming – Calvin Kai Fan Tang
30 Model Checking Support for the ASM High-Level Language – Giuseppe Del Castillo, Kirsten Winter - 2000
4 AsmetaSMV: a way to link high-level ASM models to low-level – Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
3 A formal specification of PARLOG – Egon Börger, Elvinia Riccobene, V. Le Andrea Doria - 1993
5 Foundations of Object Oriented Database Concepts – Klaus-Dieter Schewe, Bernhard Thalheim, Ingrid Wetzel - 1992
13 Concepts of Object-Orientation – Hans-dieter Ehrich, Gunter Saake, Amilcar Sernadas - 1992
6 Local Referential Integrity – Gerti Kappel, Michael Schrefl, Inst Fur Wirtschaftsinformatik - 1992
6 Cooperation Contracts – Michael Schrefl, Gerti Kappel - 1991