TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling inheritance as coercion in a symbolic computation system
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
On implementing behavioral rewriting
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Web-Based Support for Cooperative Software Engineering
Annals of Software Engineering
Specifying and verifying a railroad crossing with CafeOBJ
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Formal Verification of the Horn-Preneel Micropayment Protocol
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Hidden Specification of a Functional System
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Components, Contracts, and Connectors for the Unified Modelling Language UML
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Complete Categorical Equational Deduction
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Locally Effective Objects and Artificial Intelligence
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Formalising Ontologies and Their Relations
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Formal analysis of Suzuki & Kasami distributed mutual exclusion algorithm
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
Proceedings of the 16th IEEE international conference on Automated software engineering
Towards a semantic basis for Rosetta
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
A specification language for coordinated objects
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Formal design and verification of operational transformation algorithms for copies convergence
Theoretical Computer Science - Algebraic methodology and software technology
Equality of streams is a Π0 over 2-complete problem
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Component-Based Specification of Collaborative Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Science of Computer Programming
Modeling and verification of real-time systems based on equations
Science of Computer Programming
Closure properties for the class of behavioral models
Theoretical Computer Science
Expander2: Program Verification Between Interaction and Automation
Electronic Notes in Theoretical Computer Science (ENTCS)
Coalgebraic description of generalised binary methods
Mathematical Structures in Computer Science
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science (ENTCS)
Observational Refinement Process
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying Design with Proof Scores
Verified Software: Theories, Tools, Experiments
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Sheaves, Objects, and Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic Valuations as Behavioral Logical Matrices
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Circular Coinduction with Special Contexts
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Predicate and Relation Lifting for Parametric Algebraic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Inconsistency Management and View Updates
Electronic Notes in Theoretical Computer Science (ENTCS)
Communicating Concurrent Objects in HiddenCCS
Electronic Notes in Theoretical Computer Science (ENTCS)
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science (ENTCS)
On the algebraization of many-sorted logics
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
CafeOBJ as a tool for behavioral system verification
ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Toward specifications for reconfigurable component systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
CIRC: a circular coinductive prover
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
From ASN.1 into CafeOBJ: Some First Steps
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Action algebras and model algebras in denotational semantics
Semantics and algebraic specification
Characterising behavioural equivalence: three sides of one coin
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Diagrammatic logic applied to a parameterisation process
Mathematical Structures in Computer Science
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Coinduction for preordered algebra
Information and Computation
Formal modeling and verification of sensor network encryption protocol in the OTS/CafeOBJ method
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Formal Methods in Software and Systems Modeling
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Final semantics for event-pattern reactive programs
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Modal logics for reasoning about object-based component composition
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Behavioral validation of JFSL specifications through model synthesis
Proceedings of the 34th International Conference on Software Engineering
Towards a Behavioral Algebraic Theory of Logical Valuations
Fundamenta Informaticae - Logic, Language, Information and Computation
On the algebraic semantics of reactive rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Studia Logica
| Hi-index | 5.23 |