Object-oriented analysis for evolving systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Inductive definitions, semantics and abstract interpretations
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiler correctness for parallel languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Relational transducers for electronic commerce
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Branching time controllers for discrete event systems
Theoretical Computer Science
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Theoretical Computer Science
Operational and abstract semantics of the query language G-Log
Theoretical Computer Science
Using a Programming Language for Digital System Design
IEEE Design & Test
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Persistent Turing Machines as a Model of Interactive Computation
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Designing the Minimal Structure of Hidden Markov Model by Bisimulation
EMMCVPR '01 Proceedings of the Third International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition
Generating Type Systems for Process Graphs
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Process-Algebraic Foundations of Aspect-Oriented Programming
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Interaction as a Framework for Modeling
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Logical Specification of Operational Semantics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Equivalence notions and model minimization in Markov decision processes
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
A format for semantic equivalence comparison
Theoretical Computer Science
Specifying temporal data models for semistructured data by a constraint-based approach
Proceedings of the 2004 ACM symposium on Applied computing
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
Type inference for record concatenation and subtyping
Information and Computation
Automatic discovery of covariant read-only fields
ACM Transactions on Programming Languages and Systems (TOPLAS)
Small bisimulations for reasoning about higher-order imperative programs
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A verification methodology for concurrent software with synchronous communication
Formal methods and models for system design
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
A bulk-synchronous parallel process algebra
Computer Languages, Systems and Structures
Theoretical Computer Science
Bi-inductive Structural Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
ACTLW - An action-based computation tree logic with unless operator
Information Sciences: an International Journal
Model-Based Implementation of Real-Time Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Branching Bisimulation Congruence for Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending Symmetry Reduction by Exploiting System Architecture
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Bi-inductive structural semantics
Information and Computation
Model checking communicative agent-based systems
Knowledge-Based Systems
Idea: Action Refinement for Security Properties Enforcement
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
A transformational approach to binary translation of delayed branches with applications to SPARC® and PA-RISC instructions sets
Weak Bisimulation for Action-Type Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
A Generic Cost Model for Concurrent and Data-parallel Meta-computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability
Electronic Notes in Theoretical Computer Science (ENTCS)
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
"On the fly" input output conformance verification
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Bisimulation and the reduction of Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Discounting the future in systems theory
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
An incremental bisimulation algorithm
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
A compositional trace semantics for Orc
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Closure operators for order structures
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
Automatica (Journal of IFAC)
Verification and implementation of software for dependable controllers
International Journal of Critical Computer-Based Systems
Subtyping, declaratively: an exercise in mixed induction and coinduction
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Model refinement using bisimulation quotients
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
Preserving security properties under refinement
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Communications of the ACM
Computing the maximum bisimulation with spiking neural P systems
Computation, cooperation, and life
Differencing labeled transition systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A generalisation of a relational structures model of concurrency
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Timed weak simulation verification and its application to stepwise refinement of real-time software
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Structural operational semantics of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
On cool congruence formats for weak bisimulations
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A characterisation of weak bisimulation congruence
Processes, Terms and Cycles
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
Exploiting Labels in Structural Operational Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Unique parallel decomposition in branching and weak bisimulation semantics
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
A framework for automatic generation of security controller
Software Testing, Verification & Reliability
A declarative framework for work process configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
The power of well-structured systems
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Quantitative reactive modeling and verification
Computer Science - Research and Development
| Hi-index | 0.02 |