Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/asm:"
download as .bib file
@inproceedings{DBLP:conf/asm/AbiteboulDM05,
author = {Serge Abiteboul and
Susan B. Davidson and
Tova Milo},
title = {Active {XML} and Data Activation},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {11--16},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/AbiteboulDM05.ps},
timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
biburl = {https://dblp.org/rec/conf/asm/AbiteboulDM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Abrial05,
author = {Jean{-}Raymond Abrial},
title = {Refinement, Decomposition and Instantiation of Discrete Models},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {17--40},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/ref\_dcp\_ins\_final2.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Abrial05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AndaryPV05,
author = {Philippe Andary and
Bruno Patrou and
Pierre Valarcher},
title = {About Implementation of Primitive Recursive Algorithms},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {77--90},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/andary.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/AndaryPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BanachPJS05,
author = {Richard Banach and
Michael Poppleton and
Czeslaw Jeske and
Susan Stepney},
title = {Retrenchment and the Mondex Electronic Purse},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {41--48},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/ret.asm.mondex.short.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BanachPJS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BeauquierBS05,
author = {Dani{\`{e}}le Beauquier and
Egon B{\"{o}}rger and
Anatol Slissenko},
title = {Introduction},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {5--10},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/IntroProcAsm05.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BeauquierBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BienemannKST05,
author = {Alexander Bienemann and
Zalan Kramer and
Peggy Schmidt and
Bernhard Thalheim},
title = {{ASM} Support for Validation of Specifications: Lessons Learned from
an eGovernment Project},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {417},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/asm05BinKraSchTha.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BienemannKST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Borger05,
author = {Egon B{\"{o}}rger},
title = {The {ASM} Method: a Cornerstone in Computer Science Education},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {49--56},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/TeachAsm.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Borger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Borger05a,
author = {Egon B{\"{o}}rger},
title = {Design Pattern Abstractions and Abstract State Machines},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {91--100},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/DesignPattern.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Borger05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BrantinghamGKSV05,
author = {Patricia L. Brantingham and
Uwe Gl{\"{a}}sser and
B. Kinney and
Komal Singh and
Mona Vajihollahi},
title = {Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract
State Machines},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {101--118},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/brantingham.ps},
timestamp = {Tue, 09 Apr 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BrantinghamGKSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ButlerLS05,
author = {Michael J. Butler and
Michael Leuschel and
Colin F. Snook},
title = {Tools for System Validation with {B} Abstract Machines},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {57--69},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/asm-mjb.ps},
timestamp = {Tue, 05 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/ButlerLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/CampbellV05,
author = {Colin Campbell and
Margus Veanes},
title = {State Exploration with Multiple State Groupings},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {119--130},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/groupings.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/CampbellV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ComandurSB05,
author = {Seshadhri Comandur and
Anil Seth and
Somenath Biswas},
title = {{RAM} Simulation of {BGS} Model of Abstract State Machines},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {377--386},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/seshadhri.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/ComandurSB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Comon-Lundh05,
author = {Hubert Comon{-}Lundh},
title = {Normal Attacks on Security Protocols},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {70},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/comon.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Comon-Lundh05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Cook05,
author = {Byron Cook},
title = {Finding Bugs in Device Drivers with Static Driver Verifier},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {71},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/abstract-cook.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Cook05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FahlandR05,
author = {Dirk Fahland and
Wolfgang Reisig},
title = {ASM-based Semantics for {BPEL:} The Negative Control Flow},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {131--152},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/fahland\_bpel\_event\_fault.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FahlandR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FarahbodGG05,
author = {Roozbeh Farahbod and
Vincenzo Gervasi and
Uwe Gl{\"{a}}sser},
title = {CoreASM: An Extensible {ASM} Execution Engine},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {153--166},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/CoreASM-ASM2005.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FarahbodGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FilatovY05,
author = {Vladimir Filatov and
Rostislav Yavorskiy},
title = {Scenario based Analysis of Linear Computations},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {167--174},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/Filatov.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FilatovY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Fruja05,
author = {Nicu G. Fruja},
title = {A Modular Design for the Common Language Runtime {(CLR)} Architecture},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {175--200},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/fruja.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Fruja05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GawanmehHT05,
author = {Amjad Gawanmeh and
Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {Embedding and Verification of {PSL} using AsmL},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {201--216},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/gawanmeh.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GawanmehHT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GrafP05,
author = {Susanne Graf and
Andreas Prinz},
title = {Time in State Machines},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {217--232},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/GrafPrinzASM2005-pgnb.pdf},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/GrafP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Gurevich05,
author = {Yuri Gurevich},
title = {Behavioral Computation Theory 2005},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {72},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/gurevich.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Gurevich05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HabibiT05,
author = {Ali Habibi and
Sofi{\`{e}}ne Tahar},
title = {AsmL Semantics in Fixpoint},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {233--246},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/habibi05AsmL.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/HabibiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HanebergGRS05,
author = {Dominik Haneberg and
Holger Grandy and
Wolfgang Reif and
Gerhard Schellhorn},
title = {Verifying Security Protocols: An {ASM} Approach},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {247--262},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/haneberg.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/HanebergGRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Jula05,
author = {Horatiu Jula},
title = {{ASM} Semantics for {C++} 2.0},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {263--274},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/jula.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Jula05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/JulaF05,
author = {Horatiu Jula and
Nicu G. Fruja},
title = {An Executable Specification of {C++}},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {275--288},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/jula-fruja.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/JulaF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Kardos05,
author = {Martin Kardos},
title = {An Approach to Model Checking AsmL Specifications},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {289--304},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/kardos.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Kardos05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Leino05,
author = {K. Rustan M. Leino},
title = {Program Verification and Programming Methodology},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {73},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/krml154.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Leino05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/NovikovY05,
author = {Andrey Novikov and
Rostislav Yavorskiy},
title = {Applying Formal Semantics of an Object-oriented Language to Program
Invariant Checking},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {305--312},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/novikov.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/NovikovY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Nowack05,
author = {Antje Nowack},
title = {A Polynomial-Time Slicing Algorithm},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {313--328},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/antjeNowack.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Nowack05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/PaivaTFV05,
author = {Ana C. R. Paiva and
Nikolai Tillmann and
Jo{\~{a}}o C. P. Faria and
Raul F. A. M. Vidal},
title = {Modeling and Testing Hierarchical GUIs},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {329--344},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/AnaCRPaiva.ps},
timestamp = {Mon, 16 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/PaivaTFV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ScandurraGGGR05,
author = {Patrizia Scandurra and
Angelo Gargantini and
Claudia Genovese and
Tiziana Genovese and
Elvinia Riccobene},
title = {A Concrete Syntax Derived From the Abstract State Machine Metamodel},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {345--368},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/scandurra.ps.gz},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/ScandurraGGGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Schellhorn05,
author = {Gerhard Schellhorn},
title = {ASMs and Refinement of State-based Systems},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {74--75},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/abstract-schellhorn.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Schellhorn05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ScheweZ05,
author = {Klaus{-}Dieter Schewe and
Jane Zhao},
title = {{ASM} Ground Model and Refinement for Data Warehouses},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {369--376},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/KDSchewe.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/ScheweZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SlissenkoC05,
author = {Anatol Slissenko and
Jo{\"{e}}lle Cohen},
title = {On Implementations of Instantaneous Actions Real-Time {ASM} by {ASM}
with Delays},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {387--396},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/slissenko.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/SlissenkoC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/TangT05,
author = {Calvin Kai Fan Tang and
Eugenia Ternovska},
title = {Model Checking Abstract State Machines with Answer Set Programming},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {397--416},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/tang-ternovska.ps},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/TangT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Woodcock05,
author = {Jim Woodcock},
title = {Unifying Program Refinement Calculi},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {76},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/woodcock.ps},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Woodcock05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2005,
title = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
year = {2005},
timestamp = {Thu, 26 Jul 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Bussche04,
author = {Jan Van den Bussche},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Finite Cursor Machines in Database Query Processing},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {61},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_5},
doi = {10.1007/978-3-540-24773-9\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Bussche04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/CavarraK04,
author = {Alessandra Cavarra and
Juliana K{\"{u}}ster Filipe},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Formalizing Liveness-Enriched Sequence Diagrams Using ASMs},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {62--77},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_6},
doi = {10.1007/978-3-540-24773-9\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/CavarraK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FarahbodGV04,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Specification and Validation of the Business Process Execution Language
for Web Services},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {78--94},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_7},
doi = {10.1007/978-3-540-24773-9\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FarahbodGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FisherL04,
author = {Michael Fisher and
Alexei Lisitsa},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Monodic ASMs and Temporal Verification},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {95--110},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_8},
doi = {10.1007/978-3-540-24773-9\_8},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FisherL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Fruja04,
author = {Nicu G. Fruja},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Specification and Implementation Problems for C{\#}},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {127--143},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_10},
doi = {10.1007/978-3-540-24773-9\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Fruja04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Glesner04,
author = {Sabine Glesner},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {An {ASM} Semantics for {SSA} Intermediate Representations},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {144--160},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_11},
doi = {10.1007/978-3-540-24773-9\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Glesner04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Gurevich04,
author = {Yuri Gurevich},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Intra-step Interaction},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {1--5},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_1},
doi = {10.1007/978-3-540-24773-9\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Gurevich04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurevichY04,
author = {Yuri Gurevich and
Rostislav Yavorskiy},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Observations on the Decidability of Transitions},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {161--168},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_12},
doi = {10.1007/978-3-540-24773-9\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GurevichY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Hanisch04,
author = {Hans{-}Michael Hanisch},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Closed-Loop Modeling and Related Problems of Embedded Control Systems
in Engineering},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {6--19},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_2},
doi = {10.1007/978-3-540-24773-9\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Hanisch04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Langmaack04,
author = {Hans Langmaack},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {An ALGOL-View on Turbo {ASM}},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {20--37},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_3},
doi = {10.1007/978-3-540-24773-9\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Langmaack04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/NanchenS04,
author = {Stanislas Nanchen and
Robert F. St{\"{a}}rk},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {A Security Logic for Abstract State Machines},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {169--185},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_13},
doi = {10.1007/978-3-540-24773-9\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/NanchenS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Nowack04,
author = {Antje Nowack},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Slicing Abstract State Machines},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {186--201},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_14},
doi = {10.1007/978-3-540-24773-9\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Nowack04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/RiccobeneS04,
author = {Elvinia Riccobene and
Patrizia Scandurra},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Towards an Interchange Language for ASMs},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {111--126},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_9},
doi = {10.1007/978-3-540-24773-9\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/RiccobeneS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/RosenzweigR04,
author = {Dean Rosenzweig and
Davor Runje},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {The Cryptographic Abstract Machine},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {202--217},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_15},
doi = {10.1007/978-3-540-24773-9\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/RosenzweigR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Rust04,
author = {Heinrich Rust},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard
Reals},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {218--233},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_16},
doi = {10.1007/978-3-540-24773-9\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Rust04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/StarkB04,
author = {Robert F. St{\"{a}}rk and
Egon B{\"{o}}rger},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {An {ASM} Specification of C{\#} Threads and the .NET Memory Model},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {38--60},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_4},
doi = {10.1007/978-3-540-24773-9\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/StarkB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2004,
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98118},
doi = {10.1007/B98118},
isbn = {3-540-22094-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ArthoDGHLPRV03,
author = {Cyrille Artho and
Doron Drusinsky and
Allen Goldberg and
Klaus Havelund and
Michael R. Lowry and
Corina S. Pasareanu and
Grigore Rosu and
Willem Visser},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Experiments with Test Case Generation and Runtime Analysis},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {87--107},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_5},
doi = {10.1007/3-540-36498-6\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/ArthoDGHLPRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AsmundoR03,
author = {Marianna Nicolosi Asmundo and
Elvinia Riccobene},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Consistent Integration for Sequential Abstract State Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {324--340},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_19},
doi = {10.1007/3-540-36498-6\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/AsmundoR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/AwhadW03,
author = {Varsha Awhad and
Charles Wallace},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {A Unified Formal Specification and Analysis of the New Java Memory
Models},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {166--185},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_9},
doi = {10.1007/3-540-36498-6\_9},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/AwhadW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarnettST03,
author = {Michael Barnett and
Wolfram Schulte and
Nikolai Tillmann},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Using AsmL for Runtime Verification},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {407},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_24},
doi = {10.1007/3-540-36498-6\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BarnettST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BeierleK03,
author = {Christoph Beierle and
Gabriele Kern{-}Isberner},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Modelling Conditional Knowledge Discovery and Belief Revision by Abstract
State Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {186--203},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_10},
doi = {10.1007/3-540-36498-6\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BeierleK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BenczurGL03,
author = {Andr{\'{a}}s A. Bencz{\'{u}}r and
Uwe Gl{\"{a}}sser and
Tam{\'{a}}s Lukovszki},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Formal Description of a Distributed Location Service for Mobile Ad
Hoc Networks},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {204--217},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_11},
doi = {10.1007/3-540-36498-6\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BenczurGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Bertolino03,
author = {Antonia Bertolino},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Software Testing Research and Practice},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {1--21},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_1},
doi = {10.1007/3-540-36498-6\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Bertolino03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Binemann-ZdanowiczT03,
author = {Aleksander Binemann{-}Zdanowicz and
Bernhard Thalheim},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Modeling Information Services on the Basis of {ASM} Semantics},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {408--410},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_25},
doi = {10.1007/3-540-36498-6\_25},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Binemann-ZdanowiczT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BolognesiB03,
author = {Tommaso Bolognesi and
Egon B{\"{o}}rger},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Abstract State Processes},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {22--32},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_2},
doi = {10.1007/3-540-36498-6\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BolognesiB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerB03,
author = {Egon B{\"{o}}rger and
Tommaso Bolognesi},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Remarks on Turbo ASMs for Functional Equations and Recursion Schemes},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {218--228},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_12},
doi = {10.1007/3-540-36498-6\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/CavarraRS03,
author = {Alessandra Cavarra and
Elvinia Riccobene and
Patrizia Scandurra},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Integrating {UML} Static and Dynamic Views and Formalizing the Interaction
Mechanismof {UML} State Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {229--243},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_13},
doi = {10.1007/3-540-36498-6\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/CavarraRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/CuadradoKR03,
author = {Daniel L{\'{a}}zaro Cuadrado and
Peter Koch and
Anders P. Ravn},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {AsmL Specification of a Ptolemy {II} Scheduler},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {417},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_31},
doi = {10.1007/3-540-36498-6\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/CuadradoKR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DerrickB03,
author = {John Derrick and
Eerke A. Boiten},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Recent Advances in Refinement},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {33--56},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_3},
doi = {10.1007/3-540-36498-6\_3},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/DerrickB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FalcarinC03,
author = {Paolo Falcarin and
Alessandra Cavarra},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Designing the Parlay Call-Control Using ASMs},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {411--412},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_26},
doi = {10.1007/3-540-36498-6\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FalcarinC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FrujaS03,
author = {Nicu G. Fruja and
Robert F. St{\"{a}}rk},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {The Hidden Computation Stepsof Turbo Abstract State Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {244--262},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_14},
doi = {10.1007/3-540-36498-6\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FrujaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GargantiniRR03,
author = {Angelo Gargantini and
Elvinia Riccobene and
Salvatore Rinzivillo},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Using Spin to Generate Testsfrom {ASM} Specifications},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {263--277},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_15},
doi = {10.1007/3-540-36498-6\_15},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GargantiniRR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GawanmehTW03,
author = {Amjad Gawanmeh and
Sofi{\`{e}}ne Tahar and
Kirsten Winter},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Interfacing {ASM} with the {MDG} Tool},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {278--292},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_16},
doi = {10.1007/3-540-36498-6\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GawanmehTW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Glesner03,
author = {Sabine Glesner},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {ASMs versus Natural Semantics: {A} Comparison with New Insights},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {293--308},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_17},
doi = {10.1007/3-540-36498-6\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Glesner03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GradelN03,
author = {Erich Gr{\"{a}}del and
Antje Nowack},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Quantum Computing and Abstract State Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {309--323},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_18},
doi = {10.1007/3-540-36498-6\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GradelN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GrieskampNTV03,
author = {Wolfgang Grieskamp and
Lev Nachmanson and
Nikolai Tillmann and
Margus Veanes},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Test Case Generation from AsmL Specifications},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {413},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_27},
doi = {10.1007/3-540-36498-6\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GrieskampNTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurevichT03,
author = {Yuri Gurevich and
Nikolai Tillmann},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Partial Updates Exploration {II}},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {57--86},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_4},
doi = {10.1007/3-540-36498-6\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GurevichT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HugginsMW03,
author = {James K. Huggins and
Jean Mayo and
Charles Wallace},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate
Education},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {414},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_28},
doi = {10.1007/3-540-36498-6\_28},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/HugginsMW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/KalinovKPPS03,
author = {Alexey Ya. Kalinov and
Alexander S. Kossatchev and
Alexander K. Petrenko and
Mikhail Posypkin and
Vladimir Shishkov},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Using {ASM} Specifications for Compiler Testing},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {415},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_29},
doi = {10.1007/3-540-36498-6\_29},
timestamp = {Sat, 20 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/KalinovKPPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/KardosN03,
author = {Martin Kardos and
Ulrich Nickel},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {ASMs as Integration Platform towards Verification and Validation of
Distributed Production Control Systems at Multiple Levels of Abstraction},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {416},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_30},
doi = {10.1007/3-540-36498-6\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/KardosN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Meyer03,
author = {Bertrand Meyer},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {A Framework for Proving Contract-Equipped Classes},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {108--125},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_6},
doi = {10.1007/3-540-36498-6\_6},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Meyer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Nowack03,
author = {Antje Nowack},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Deciding the Verification Problem for Abstract State Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {341--355},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_20},
doi = {10.1007/3-540-36498-6\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Nowack03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Ober03,
author = {Ileana Ober},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {An {ASM} Semantics of {UML} Derived from the Meta-model and Incorporating
Actions},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {356--371},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_21},
doi = {10.1007/3-540-36498-6\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Ober03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/PrinzT03,
author = {Andreas Prinz and
Bernhard Thalheim},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {{ASM} Specification of Database Systems},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {418},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_32},
doi = {10.1007/3-540-36498-6\_32},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/PrinzT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Reisig03,
author = {Wolfgang Reisig},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {The Computable Kernel of {ASM}},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {421--422},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_33},
doi = {10.1007/3-540-36498-6\_33},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Reisig03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/RomanP03,
author = {Gruia{-}Catalin Roman and
Jamie Payton},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Mobile {UNITY} Schemas for Agent Coordination},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {126--150},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_7},
doi = {10.1007/3-540-36498-6\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/RomanP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/RosenzweigRS03,
author = {Dean Rosenzweig and
Davor Runje and
Neva Slani},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Privacy, Abstract Encryption and Protocols: An {ASM} Model - Part
{I}},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {372--390},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_22},
doi = {10.1007/3-540-36498-6\_22},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/RosenzweigRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Rust03,
author = {Heinrich Rust},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {A Non-standard Approach to Operational Semantics for Timed Systems},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {423--424},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_34},
doi = {10.1007/3-540-36498-6\_34},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Rust03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Schulte03,
author = {Wolfram Schulte},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Parallelism versus Nondeterminism - On the Semantics of Abstract State
Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {425},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_35},
doi = {10.1007/3-540-36498-6\_35},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Schulte03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Stevens03,
author = {Perdita Stevens},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {{UML} and Concurrency},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {151--165},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_8},
doi = {10.1007/3-540-36498-6\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Stevens03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ZimmermannD03,
author = {Wolf Zimmermann and
Axel Dold},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {A Framework for Modeling the Semantics of Expression Evaluation with
Abstract State Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {391--406},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_23},
doi = {10.1007/3-540-36498-6\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/ZimmermannD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2003,
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6},
doi = {10.1007/3-540-36498-6},
isbn = {3-540-00624-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Anlauff00,
author = {Matthias Anlauff},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {{XASM} - An Extensible, Component-Based {ASM} Language},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {69--90},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_6},
doi = {10.1007/3-540-44518-8\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Anlauff00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarnettBGSV00,
author = {Michael Barnett and
Egon B{\"{o}}rger and
Yuri Gurevich and
Wolfram Schulte and
Margus Veanes},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Using Abstract State Machines at Microsoft: {A} Case Study},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {367--379},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_21},
doi = {10.1007/3-540-44518-8\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BarnettBGSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Blass00,
author = {Andreas Blass},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Abstract State Machines and Pure Mathematics},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {9--21},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_2},
doi = {10.1007/3-540-44518-8\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Blass00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BlassGB00,
author = {Andreas Blass and
Yuri Gurevich and
Jan Van den Bussche},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Abstract State Machines and Computationally Complete Query Languages},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {22--33},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_3},
doi = {10.1007/3-540-44518-8\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BlassGB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Borger00,
author = {Egon B{\"{o}}rger},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Abstract State Machines at the Cusp of the Millenium},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {1--8},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_1},
doi = {10.1007/3-540-44518-8\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Borger00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerCR00,
author = {Egon B{\"{o}}rger and
Alessandra Cavarra and
Elvinia Riccobene},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Modeling the Dynamics of {UML} State Machines},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {223--241},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_13},
doi = {10.1007/3-540-44518-8\_13},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerCR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BorgerPS00,
author = {Egon B{\"{o}}rger and
Peter P{\"{a}}ppinghaus and
Joachim Schmid},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Report on a Practical Application of ASMs in Software Design},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {361--366},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_20},
doi = {10.1007/3-540-44518-8\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BorgerPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/CaterH00,
author = {Steven C. Cater and
James K. Huggins},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {An {ASM} Dynamic Semantics for Standard {ML}},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {203--222},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_12},
doi = {10.1007/3-540-44518-8\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/CaterH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/CohenS00,
author = {Jo{\"{e}}lle Cohen and
Anatol Slissenko},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {On Verification of Refinements of Timed Distributed Algorithms},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {34--49},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_4},
doi = {10.1007/3-540-44518-8\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/CohenS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/EschbachGGP00,
author = {Robert Eschbach and
Uwe Gl{\"{a}}sser and
Reinhard Gotzhein and
Andreas Prinz},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {On the Formal Semantics of {SDL-2000:} {A} Compilation Approach Based
on an Abstract {SDL} Machine},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {242--265},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_14},
doi = {10.1007/3-540-44518-8\_14},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/EschbachGGP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GargantiniR00,
author = {Angelo Gargantini and
Elvinia Riccobene},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Encoding Abstract State Machines in {PVS}},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {303--322},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_17},
doi = {10.1007/3-540-44518-8\_17},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GargantiniR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GoosZ00,
author = {Gerhard Goos and
Wolf Zimmermann},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Verifying Compilers and ASMs},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {177--202},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_11},
doi = {10.1007/3-540-44518-8\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GoosZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurevichR00,
author = {Yuri Gurevich and
Dean Rosenzweig},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Partially Ordered Runs: {A} Case Study},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {131--150},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_9},
doi = {10.1007/3-540-44518-8\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GurevichR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurevichSW00,
author = {Yuri Gurevich and
Wolfram Schulte and
Charles Wallace},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Investigating Java Concurrency Using Abstract State Machines},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {151--176},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_10},
doi = {10.1007/3-540-44518-8\_10},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GurevichSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Odersky00,
author = {Martin Odersky},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Objects + Views = Components?},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {50--68},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_5},
doi = {10.1007/3-540-44518-8\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Odersky00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Reisig00,
author = {Wolfgang Reisig},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Towards an {ASM} Thesis for Unconventional Algorithms},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {112--130},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_8},
doi = {10.1007/3-540-44518-8\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Reisig00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Shankar00,
author = {Natarajan Shankar},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Symbolic Analysis of Transition Systems},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {287--302},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_16},
doi = {10.1007/3-540-44518-8\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Shankar00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Spielmann00,
author = {Marc Spielmann},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Model Checking Abstract State Machines and Beyond},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {323--340},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_18},
doi = {10.1007/3-540-44518-8\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Spielmann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/TeichKW00,
author = {J{\"{u}}rgen Teich and
Philipp W. Kutter and
Ralph Weper},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Description and Simulation of Microprocessor Instruction Sets Using
ASMs},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {266--286},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_15},
doi = {10.1007/3-540-44518-8\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/TeichKW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Winter00,
author = {Kirsten Winter},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Towards a Methodology for Model Checking {ASM:} Lessons Learned from
the {FLASH} Case Study},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {341--360},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_19},
doi = {10.1007/3-540-44518-8\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Winter00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Zamulin00,
author = {Alexandre V. Zamulin},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Generic Facilities in Object-Oriented ASMs},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {91--111},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_7},
doi = {10.1007/3-540-44518-8\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Zamulin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2000,
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8},
doi = {10.1007/3-540-44518-8},
isbn = {3-540-67959-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BellaR98,
author = {Giampaolo Bella and
Elvinia Riccobene},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {A Realistic Environment for Crypto-Protocol Analyses by ASMs},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {127--138},
year = {1998},
timestamp = {Tue, 15 Mar 2016 17:22:56 +0100},
biburl = {https://dblp.org/rec/conf/asm/BellaR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Castillo98,
author = {Giuseppe Del Castillo},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {The {ASM} Workbench: an Open and Extensible Tool Environment for Abstract
State Machines},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {139--154},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Castillo98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DiesenST98,
author = {Dag Diesen and
Trond Ove Svendsen and
Bj{\o}rn Thorstensen},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {Developing New ASM-tools},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {155--158},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/DiesenST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DoldGVZ98,
author = {Axel Dold and
Thilo Gaul and
Vincent Vialard and
Wolf Zimmermann},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {ASM-based Mechanized Verification of Compiler Back-Ends},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {50--67},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/DoldGVZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Durand98,
author = {Arnaud Durand},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {Modeling Cache Coherence Protocol - {A} Case Study with {FLASH}},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {111--126},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Durand98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HerberleL98,
author = {Andreas Heberle and
Welf L{\"{o}}we},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {On ASM-Based Specification of Programming Language Semantics and Reusable
Correct Compilations},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {68--90},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/HerberleL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/MaiaIB98,
author = {Marcelo de Almeida Maia and
Vladimir Oliveira Di Iorio and
Roberto da Silva Bigonha},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {Interacting Abstract State Machines},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {37--49},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/MaiaIB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Schonfeld98,
author = {Wolfgang Sch{\"{o}}nfeld},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {Interacting Abstract State Machines},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {22--36},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Schonfeld98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Tonino98,
author = {Hans Tonino},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {A Sound and Complete SOS-Semantics for Non-Distributed Deterministic
Abstract State Machines},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {91--110},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Tonino98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Zamulin98,
author = {Alexandre V. Zamulin},
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {Object-Oriented Abstract State Machines},
booktitle = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
pages = {1--21},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Zamulin98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/1998,
editor = {Uwe Gl{\"{a}}sser and
Peter H. Schmitt},
title = {Fifth International Workshop on Abstract State Machines, {ASM} 1998,
Magdeburg, Germany, September 21-22, Proceedings},
year = {1998},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/asm/1993eap,
editor = {Egon B{\"{o}}rger},
title = {Specification and validation methods},
publisher = {Oxford University Press},
year = {1995},
isbn = {0-19-853854-5},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/1993eap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/Apt93,
author = {Krzysztof R. Apt},
editor = {Egon B{\"{o}}rger},
title = {Program verification and Prolog},
booktitle = {Specification and validation methods},
pages = {55--95},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 18:03:07 +0100},
biburl = {https://dblp.org/rec/conf/asm/Apt93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/Borger93,
author = {Egon B{\"{o}}rger},
editor = {Egon B{\"{o}}rger},
title = {Annotated bibliography on evolving algebras},
booktitle = {Specification and validation methods},
pages = {37--51},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Borger93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/BorgerS93,
author = {Egon B{\"{o}}rger and
Rosario F. Salamone},
editor = {Egon B{\"{o}}rger},
title = {{CLAM} specification for provably correct compilation of {CLP(} {R}
{)} programs},
booktitle = {Specification and validation methods},
pages = {96--130},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/BorgerS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/DammJS93,
author = {Werner Damm and
Bernhard Josko and
Rainer Schl{\"{o}}r},
editor = {Egon B{\"{o}}rger},
title = {Specification and verification of VHDL-based system-level hardware
designs},
booktitle = {Specification and validation methods},
pages = {331--409},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/DammJS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/Gurevich93,
author = {Yuri Gurevich},
editor = {Egon B{\"{o}}rger},
title = {Evolving algebras 1993: Lipari guide},
booktitle = {Specification and validation methods},
pages = {9--36},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Gurevich93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/GurevichM93,
author = {Yuri Gurevich and
Raghu Mani},
editor = {Egon B{\"{o}}rger},
title = {Group membership protocol: specification and verification},
booktitle = {Specification and validation methods},
pages = {295--328},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/GurevichM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/Huggins93,
author = {James K. Huggins},
editor = {Egon B{\"{o}}rger},
title = {Kermit: specification and verification},
booktitle = {Specification and validation methods},
pages = {247--293},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Huggins93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/MannaP93,
author = {Zohar Manna and
Amir Pnueli},
editor = {Egon B{\"{o}}rger},
title = {Verification of parameterized programs},
booktitle = {Specification and validation methods},
pages = {167--230},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/MannaP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/RosenzweigBG93,
author = {Dean Rosenzweig and
Egon B{\"{o}}rger and
Yuri Gurevich},
editor = {Egon B{\"{o}}rger},
title = {The bakery algorithm: yet another specification and verification},
booktitle = {Specification and validation methods},
pages = {231--243},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/RosenzweigBG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/Russinoff93,
author = {David M. Russinoff},
editor = {Egon B{\"{o}}rger},
title = {Specification and verification of gate-level {VHDL} models of synchronous
and asynchronous circuits},
booktitle = {Specification and validation methods},
pages = {411--460},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/Russinoff93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/asm/Wallace93,
author = {Charles Wallace},
editor = {Egon B{\"{o}}rger},
title = {The semantics of the {C++} programming language},
booktitle = {Specification and validation methods},
pages = {131--164},
publisher = {Oxford University Press},
year = {1993},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Wallace93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-23 14:03 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
