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
32 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
37 Specifying and reasoning about dynamic access-control policies – Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi - 2006
A knowledge-based verification method for dynamic – Masoud Koleini, Mark Ryan
Appendix B – Federica Paci, Fabio Massacci, Elisa Chiarani (unitn Michael, Zoltan Micskei (bme, Armstrong Nhlabatsi, Yijun Yu (ou, Work Package Wp
20 A Logic for State-Modifying Authorization Policies – Moritz Y. Becker, Sebastian Nanz - 2007
6 The Timed Abstract State Machine Language: An Executable Specification Language for Reactive Real-Time Systems – Martin Ouimet, Kristina Lundqvist - 2007
7 Distributed Abstract State Machines and their Expressive Power – Andreas Glausch, Wolfgang Reisig - 2006
2 Monodic ASMs and temporal verification – Michael Fisher, Alexei Lisitsa - 2004
Model Checking and Refinement of ASM Models Using SMV – Meral Shirazipour, Yassine Mokhtari, Sofiene Tahar
Embedding and Verification of PSL using AsmL – Amjad Gawanmeh , Ali Habibi, Sofiène Tahar - 2005
31 Model Checking Support for the ASM High-Level Language – Giuseppe Del Castillo, Kirsten Winter - 2000
3 Formal Verification of ASM Designs Using the MDG Tool – Amjad Gawanmeh, Sofiene Tahar, Kirsten Winter - 2003
5 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