The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

Algebraic Methodology and Software Technology (AMAST) (amast)
1997 (conf/amast/1997)

  1. Slim Ben Lamine, John Plaice
    Software Configuration with Information Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:1-15 [Conf]
  2. Yves Bertot
    Head-Tactics Simplification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:16-29 [Conf]
  3. Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes
    Iteration 2-Theories: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:30-44 [Conf]
  4. Glenn Bruns, Ian Sutherland
    Model Checking and Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:45-59 [Conf]
  5. Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
    Deadlock Analysis for a Fault-Tolerant System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:60-74 [Conf]
  6. Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
    From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:75-90 [Conf]
  7. Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
    Permissive Subsorted Partial Logic in CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:91-107 [Conf]
  8. Antonio Cerone, George J. Milne
    Specification of Timing Constraints within the Circal Process Algebra. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:108-122 [Conf]
  9. Xiao Jun Chen, Flavio Corradini
    On the Specification and Verification of Performance Properties for a Timed Process Algebra. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:123-137 [Conf]
  10. Patrick Cousot, Radhia Cousot
    Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:138-154 [Conf]
  11. Martin de Groot, Ken Robinson
    Modular Refinement and Model Building. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:155-169 [Conf]
  12. Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
    A Linear Temporal Logic Approach to Objects with Transactions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:170-184 [Conf]
  13. Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka
    Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:185-198 [Conf]
  14. Colin J. Fidge
    Refinement Rules for Real-Time Multi-tasking Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:199-215 [Conf]
  15. Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant
    Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:216-230 [Conf]
  16. Roberto Giacobazzi, Francesco Ranzato
    Completeness in Abstract Interpretation: A Domain Perspective. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:231-245 [Conf]
  17. John Harrison
    Floating Point Verification in HOL Light: The Exponential Function. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:246-260 [Conf]
  18. Jozef Hooman
    Verification of Distributed Real-Time and Fault-Tolerant Protocols. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:261-275 [Conf]
  19. Bart Jacobs
    Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:276-291 [Conf]
  20. Tomasz Janowski
    On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:292-306 [Conf]
  21. Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
    Span(Graph): A Categorial Algebra of Transition Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:307-321 [Conf]
  22. Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
    Representing Place/Transition Nets in Span(Graph). [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:322-336 [Conf]
  23. David Lesens
    Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:337-350 [Conf]
  24. Nicole Lévy, Jeanine Souquières
    Modelling Specification Construction by Successive Approximations. [Citation Graph (1, 0)][DBLP]
    AMAST, 1997, pp:351-364 [Conf]
  25. Sébastien Limet, Frédéric Saubion
    On Partial Validation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:365-379 [Conf]
  26. Antónia Lopes, José Luiz Fiadeiro
    Preservation and Reflection in Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:380-394 [Conf]
  27. Richard F. Paige
    Case Studies in Using a Meta-Method for Formal Method Integration. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:395-408 [Conf]
  28. Joachim Parrow, Björn Victor
    The Update Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:409-423 [Conf]
  29. Frank Piessens, Eric Steegmans
    Selective Attribute Elimination for Categorial Data Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:424-436 [Conf]
  30. Sreeranga P. Rajan, Masahiro Fujita
    ATM Switch Design: Parametric High-Level Modeling and Formal Verification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:437-450 [Conf]
  31. Arno Schönegge
    The Hidden Function Question Revisited. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:451-464 [Conf]
  32. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Synchronization of Logics with Mixed Rules: Completeness Preservation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:465-478 [Conf]
  33. Carron Shankland, Muffy Thomas
    Symbolic Bisimulation for Full LOTOS. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:479-493 [Conf]
  34. Martin Simons, Michel Sintzoff
    Algebraic Composition and Refinement of Proofs. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:494-508 [Conf]
  35. Alastair Telford, David Turner
    Ensuring Streams Flow. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:509-523 [Conf]
  36. Irek Ulidowski, Shoji Yuen
    Extending Process Languages with Time. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:524-538 [Conf]
  37. Farn Wang, Pao-Ann Hsiung
    Parametric Analysis of Computer Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:539-553 [Conf]
  38. José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira
    CAMILA: Prototyping and Refinement of Constructive Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:554-559 [Conf]
  39. Bettina Buth
    PAMELA + PVS. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:560-562 [Conf]
  40. Antonio Cerone, Alex J. Cowie, George J. Milne
    The Circal System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:563-564 [Conf]
  41. Rowan Davies
    Refinement-Type Checker for Standard ML. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:565-566 [Conf]
  42. Jim Grundy, Thomas Långbacka
    Recording HOL Proofs in a Structured Browsable Format. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:567-571 [Conf]
  43. C. K. Low
    Analysing Multi-Agent System Traces with IDaF. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:572-573 [Conf]
  44. Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant
    DOVE: A Tool for Design Oriented Verification and Evaluation. [Citation Graph (1, 0)][DBLP]
    AMAST, 1997, pp:574-575 [Conf]
  45. Ken Robinson
    The B Method and the B Toolkit. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:576-580 [Conf]
  46. Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima
    An Algebraic Language Processing Environment. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:581-585 [Conf]
  47. Owen Traynor, Daniel Hazel, Peter Kearney, Andrew Martin, Ray Nickson, Luke Wildman
    The Cogito Development System. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:586-591 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002