Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Prasanna Thati, Carolyn L. Talcott, Gul Agha |
Techniques for Executing and Reasoning about Specification Diagrams. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus |
1 | Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch |
Deductive Verification of Distributed Groupware Systems. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Möller, Georg Struth |
Modal Kleene Algebra and Partial Correctness. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Heinemann |
A Hybrid Logic of Knowledge Supporting Topological Reasoning. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
logical frameworks for reasoning, reasoning about knowledge and topology, completeness, decidability, hybridization |
1 | Muffy Calder |
Abstraction for Safety, Induction for Liveness. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Don S. Batory |
A Science of Software Design. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Claude Marché, Nicole Rauch |
Formal Verification of a Commercial Smart Card Applet with Multiple Tools. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo |
Separate Compositional Analysis of Class-Based Object-Oriented Languages. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sun Meng, Luís Soares Barbosa |
On Refinement of Generic State-Based Software Components. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
coalgebraic models, Components, refinement |
1 | Bart Jacobs 0001, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk |
Counting Votes with Formal Methods. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink, Jan Friso Groote, Jun Pang 0001, Bahareh Badban, Jaco van de Pol |
Verifying a Sliding Window Protocol in µCRL. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John Derrick, Graeme Smith 0001 |
Linear Temporal Logic and Z Refinement. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel, Wendelin Serwe |
State Space Reduction for Process Algebra Specifications. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Küster Filipe |
Modelling Concurrent Interactions. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Jeannet, Wendelin Serwe |
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John-Jules Ch. Meyer |
Agent-Oriented Programming: Where Do We Stand?. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Ram Prasad Venkatesan |
A Generic Software Safety Document Generator. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olga Kouchnarenko, Arnaud Lanoix |
Verifying Invariants of Component-Based Systems through Refinement. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder, Till Mossakowski |
Generic Exception Handling and the Java Monad. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Stenzel |
A Formally Verified Calculus for Full Java Card. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cees Pierik, Frank S. de Boer |
Modularity and the Rule of Adaptation. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Igor Walukiewicz |
Automata and Games for Synthesis. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Reus |
Class-Based versus Object-Based: A Denotational Comparison. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kerry Trentelman, Marieke Huisman |
Extending JML Specifications with Temporal Logic. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tatiana Rybina, Andrei Voronkov |
BRAIN : Backward Reachability Analysis with Integers. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Irek Ulidowski |
Refusal Simulation and Interactive Games. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Adélaïde, Olivier F. Roux |
A Class of Decidable Parametric Hybrid Systems. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder, Till Mossakowski |
HASCASL: Towards Integrated Specification and Development of Functional Programs. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Transforming Processes to Check and Ensure Information Flow Security. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patricia M. Hill, Fausto Spoto |
A Foundation of Escape Analysis. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Antónia Lopes, José Luiz Fiadeiro |
Revisiting the Categorical Approach to Systems. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Guangyuan Guo, Ryszard Janicki |
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau |
An Algebra of Non-safe Petri Boxes. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
Petri nets, process algebra, operational semantics |
1 | Dusko Pavlovic, Douglas R. Smith |
Guarded Transitions in Evolving Specifications. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Axel Schairer, Dieter Hutter |
Proof Transformations for Evolutionary Formal Software Development. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Borgström, Uwe Nestmann |
On Bisimulations for the Spi Calculus. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Robert Giegerich, Carsten Meyer |
Algebraic Dynamic Programming. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa |
Tool-Assisted Specification and Verification of the JavaCard Platform. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christian Haack, Brian Howard, Allen Stoughton, Joe B. Wells |
Fully Automatic Adaptation of Software Components Based on Semantic Specifications. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon, Andy King |
Analyzing String Buffers in C. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Kirchner, Christophe Ringeissen (eds.) |
Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
A Method for Secure Smartcard Applications. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter D. Mosses |
Pragmatics of Modular SOS. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mats Skoglund |
Sharing Objects by Read-Only References. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
Removing Redundant Arguments of Functions. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Prasannaa Thati, Reza Ziaei, Gul Agha |
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer |
The Development Graph Manager MAYA. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Aspinall 0001, Donald Sannella |
From Specifications to Code in CASL. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
Equational Axioms for Probabilistic Bisimilarity. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | John G. Stell |
A Framework for Order-Sorted Algebra. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Bracciali, Roberto Bruni |
Bisimulation by Unification. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Hornus, Philippe Schnoebelen |
On Solving Temporal Logic Queries. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Cees-Bart Breunesse, Bart Jacobs 0001, Joachim van den Berg |
Specifying and Verifying a Decimal Representation in Java for Smart Cards. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Higher-Order Quantification and Proof Search. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan 0001, Scott A. Smolka |
Vacuity Checking in the Modal Mu-Calculus. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro |
Algebraic Support for Service-Oriented Architecture. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Oege de Moor, Jeremy Gibbons |
Invited Talk: Pointwise Relational Programming. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Eric Van Wyk |
Meta Languages in Algebraic Compilers. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Colin J. Fidge |
The Algebra of Multi-tasking. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Simone Tini, Andrea Maggiolo-Schettini |
A Causal Semantics for Timed Default Concurrent Constraint Programming. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy, Martin Wirsing |
Invited Talk: Algebraic State Machines. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Maura Cerioli, Gianna Reggio |
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Marielle Doche, Virginie Wiels |
Extended Institutions for Testing. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
formal specification, category theory, institutions, Functional test generation |
1 | Rocco De Nicola, Michele Loreti |
A Modal Logic for KLAIM. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jeannette M. Wing |
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
An ASM Semantics for UML Activity Diagrams. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Lorge Parnas |
Invited Talk: A Software Engineering Program of Lasting Value. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro |
Process Calculi for Coordination: From Linda to JavaSpaces. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Patricia M. Hill, Fausto Spoto |
Analysis of Downward Closed Properties of Logic Programs. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jules Desharnais, Bernhard Möller, Fairouz Tchier |
Kleene under a Demonic Star. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses |
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mingsheng Ying, Martin Wirsing |
Approximate Bisimilarity. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
Real Time ACP, Process Algebra, Bisimulation |
1 | Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum |
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001 |
The Extensibility of Maude's Module Algebra. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Michael Healy, Keith E. Williamson |
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Gurevich |
Invited Talk: ASM Formalware in the Software Engineering Cycle. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gianna Reggio, Lorenzo Repetto |
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona |
MIX(FL): A Kernel Language of Mixin Modules. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Martin Erwig |
Random Access to Abstract Data Types. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
adt, graph algorithm, category theory, catamorphism |
1 | Suzana Andova |
Time and Probability in Process Algebra. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Erik Poll |
A Monad for Basic Java Semantics. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Message Authentication through Non Interference. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Heinemann |
Generalizing the Modal and Temporal Logic of Linear Time. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Max Breitling, Jan Philipps |
Step by Step to Histories. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Rus (eds.) |
Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Sofia Guerra |
Distance Functions for Defaults in Reactive Systems. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Carolyn L. Talcott |
Towards a Toolkit for Actor System Specification. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cerone |
Process Algebra versus Axiomatic Specification of a Real-Time Protocol. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kamel Adi, Mourad Debbabi, Mohamed Mejri |
A New Logic for Electronic Commerce Protocols. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Patrícia D. L. Machado |
Testing from Structured Algebraic Specifications. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Coudert, Pascale Le Gall |
A Reuse-Oriented Framework for Hierarchical Specifications. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
formal structured specification, structured inference, typed equational logic, language theory, reuse, proof system, monoid |
1 | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
A Global Semantics for Views. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
mixed specifications, view formalism, global semantics |
1 | Clemens Fischer, Heike Wehrheim |
Behavioural Subtyping Relations for Object-Oriented Formalisms. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David Lorge Parnas |
Making Mathematical Methods More Practical for Software Developers (Invited Talk). |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Armando Martin Haeberer (eds.) |
Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings |
AMAST |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum |
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | T. S. E. Maibaum, Pauline Kan, Kevin Lano |
Systematising Reactive System Design. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alfio Martini, Uwe Wolter |
A Single Perspective on Arrows between Institutions. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Patrícia D. L. Machado |
On Oracles for Interpreting Test Results against Algebraic Specifications. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
formal verification, correctness, algebraic specification, specification based-testing, oracle |
1 | Hélène Kirchner, Peter D. Mosses |
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|