ACM Computing Surveys (CSUR)
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
On the modelling, analysis and design of protocols - a special class of software structures
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Communication protocols and error recovery procedures
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
Proving liveness for networks of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Modeling a transport layer protocol using first-order logic
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Tier automation representation of communication protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
An Acyclic Expansion Algorithm for Fast Protocol Validation
IEEE Transactions on Software Engineering
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
New communication protocols from old
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Self-Synchronizing Communication Protocols
IEEE Transactions on Computers
Towards dataflow analysis of communicating finite state machines
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Protocol validation in complex systems
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
To correct communicating finite state machines
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Starvation and Critical Race Analyzers for Ada
IEEE Transactions on Software Engineering
Constructing Protocols with Alternative Functions
IEEE Transactions on Computers - Special issue on protocol engineering
IEEE Transactions on Computers - Special issue on protocol engineering
A User Friendly Software Environment for Protocol Synthesis
IEEE Transactions on Computers - Special issue on protocol engineering
Data flow analysis of communicating finite state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
A real-time transition model for analyzing behavioral compatibility of telecommunications services
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Stochastic query optimization in distributed databases
ACM Transactions on Database Systems (TODS)
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Duplication, insertion and lossiness errors in unreliable communication channels
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
Automating process discovery through event-data analysis
Proceedings of the 17th international conference on Software engineering
Generalized fair reachability analysis for cyclic protocols
IEEE/ACM Transactions on Networking (TON)
Decidability of a class of dual communicating finite state machines
ACM SIGOPS Operating Systems Review
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deadlock detection in communicating finite state machines by even reachability analysis
Mobile Networks and Applications - Special issue: protocols for mobile environments
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Symbolic Verification of Communication Protocols with Infinite StateSpaces using QDDs
Formal Methods in System Design
Modeling physical layer protocols using communicating finite state machines
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
On the analysis of cooperation and antagonism in networks of communicating processes
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Closed Partition Lattice and Machine Decomposition
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Diagnosis of Active Systems by Automata-Based Reasoning Techniques
Applied Intelligence
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
Discrete Event Dynamic Systems
On optimization of continuous-time Markov networks in distributed computing
Journal of Global Optimization
χSuds-SDL: A Tool for Testing Software Architecture Specifications
Software Quality Control
Verifying lossy channel systems has nonprimitive recursive complexity
Information Processing Letters
Protocol Validation for Large-Scale Applications
IEEE Software
A Relational Algebraic Approach to Protocol Verification
IEEE Transactions on Software Engineering
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols
IEEE Transactions on Software Engineering
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph
IEEE Transactions on Software Engineering
Protocol Construction Using Genetic Search Techniques
Real-World Applications of Evolutionary Computing, EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight
On Verifying Fair Lossy Channel Systems
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Effective Recognizability and Model Checking of Reactive Fiffo Automata
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Infinite-State High-Level MSCs: Model-Checking and Realizability
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Verification of Embedded Reactive Fiffo Systems
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Reasoning about Probabilistic Lossy Channel Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Well-Abstracted Transition Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Channel Representations in Protocol Verification
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Safe Realizability of High-Level Message Sequence Charts
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Eliminating Queues from RT UML Model Representations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Model Checking Communication Protocols
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Well-abstracted transition systems: application to FIFO automata
Information and Computation
Reachability problems for sequential dynamical systems with threshold functions
Theoretical Computer Science - Mathematical foundations of computer science
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Verification in loosely synchronous queue-connected discrete timed automata
Theoretical Computer Science
The specification of distributed objects: liveness and locality
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
?SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
An exercise in constructing multi-phase communication protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
A technique for proving liveness of communicating finite state machines with examples
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Automatic Simulation to Predict Software Architecture Reliability
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Reachability Problems for Cyclic Protocols
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
On Reachability Analysis of Communicating Finite State Machines
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Using Hy+ for network management and distributed debugging
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Realizability of high-level message sequence charts: closing the gaps
Theoretical Computer Science
Modeling adaptable multimedia and self-modifying protocol execution
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
Formal Methods in System Design
Computation in networks of passively mobile finite-state sensors
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Maximal progress state exploration
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Theoretical Computer Science - Implementation and application of automata
Simulating perfect channels with probabilistic lossy channels
Information and Computation
Decidability of the termination problem for completely specified protocols
Distributed Computing
Tools for composite web services: a short overview
ACM SIGMOD Record
On implementation of global concurrent systems with local asynchronous controllers
CONCUR 2005 - Concurrency Theory
Compositional reasoning for port-based distributed systems
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Using Dominators to Extract Observable Protocol Contexts
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Verification of probabilistic systems with faulty communication
Information and Computation
Verification of programs with half-duplex communication
Information and Computation
A note on the attractor-property of infinite-state Markov chain
Information Processing Letters
Analysis of communication models in web service compositions
Proceedings of the 15th international conference on World Wide Web
ASDL: a wide spectrum language for designing web services
Proceedings of the 15th international conference on World Wide Web
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Infinite-state high-level MSCs: Model-checking and realizability
Journal of Computer and System Sciences
Quantitative analysis of probabilistic lossy channel systems
Information and Computation
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
Information and Computation
Computation in networks of passively mobile finite-state sensors
Distributed Computing - Special issue: PODC 04
An SDS modeling approach for simulation-based control
WSC '05 Proceedings of the 37th conference on Winter simulation
Message-passing automata are expressively equivalent to EMSO logic
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
A general approach to comparing infinite-state systems with their finite-state specifications
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Complexity of reachability problems for finite discrete dynamical systems
Journal of Computer and System Sciences
A diagnostic environment for automaton networks
Software—Practice & Experience
A Component-Based Approach to Automated Web Service Composition
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Simulation Based Validation Of Authentication Protocols
Journal of Integrated Design & Process Science
Testing object-oriented industrial software without precise oracles or results
Communications of the ACM
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties
ACM Transactions on Computational Logic (TOCL)
ACM Transactions on Computational Logic (TOCL)
On Communicating Automata with Bounded Channels
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Muller message-passing automata and logics
Information and Computation
Design, Implementation and Deployment of State Machines Using a Generative Approach
Architecting Dependable Systems V
Programming with Live Distributed Objects
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Quasi-Static Scheduling of Communicating Tasks
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Mixing Lossy and Perfect Fifo Channels
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
On the Computational Capacity of Parallel Communicating Finite Automata
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Towards compositional synthesis of evolving systems
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Journal of Systems and Software
Research on agent communication model and its application in electric system
WSEAS TRANSACTIONS on SYSTEMS
Research on WebGIS Based on Multi-agent
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Model-checking Timed Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying realizability and reachability in recursive interaction protocol specifications
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Research on WebGIS based on multi-agent
First International Workshop on Artificial Intelligence in Grid Computing
Abstract Interpretation of FIFO Replacement
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
An analytical model for end-to-end communication channel over PLCN based on QBDs
Information Processing Letters
Checking Protocol Compatibility using Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Intrinsic Monitoring Using Behaviour Models in IPv6 Networks
MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
An Approach for Test Selection for EFSMs Using a Theorem Prover
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Regularity Results for FIFO Channels
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of probabilistic systems with faulty communication
Information and Computation
Verification of programs with half-duplex communication
Information and Computation
Simulating perfect channels with probabilistic lossy channels
Information and Computation
Quantitative analysis of probabilistic lossy channel systems
Information and Computation
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
Information and Computation
A note on the attractor-property of infinite-state Markov chains
Information Processing Letters
Calibrating embedded protocols on asynchronous systems
Information Sciences: an International Journal
Verification of probabilistic systems with faulty communication
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Model checking lossy channels systems is probably decidable
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Quantitative analysis of probabilistic lossy channel systems
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A lower bound on web services composition
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Replaying play in and play out: synthesis of design models from scenarios by learning
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
A concurrency abstraction for reliable sensor network applications
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Non-interference properties for data-type reduction of communicating systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Mind the shapes: abstraction refinement via topology invariants
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Quantifying the discord: order discrepancies in message sequence charts
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Automata and logics for timed message sequence charts
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Propositional dynamic logic for message-passing systems
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Towards a theory of web service choreographies
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Journal of Systems and Software
Quasi-static scheduling of communicating tasks
Information and Computation
A flexible, object-centric approach for business process modelling
Service Oriented Computing and Applications
Realizability is controllability
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Undecidability and hierarchy results for parallel communicating finite automata
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Complexity of multi-head finite automata: Origins and directions
Theoretical Computer Science
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Choreography conformance via synchronizability
Proceedings of the 20th international conference on World wide web
Modelling and verification of web services business activity protocol
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
An interface theory for service-oriented design
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Global state estimates for distributed systems
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Modal interface theories for communication-safe component assemblies
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
An automaton over data words that captures EMSO logic
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
SMA: the smyle modeling approach
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Reachability Problems in Piecewise FIFO Systems
ACM Transactions on Computational Logic (TOCL)
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Analyzing the impact of protocol changes on tests
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
On metric temporal logic and faulty turing machines
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Constructing exponential-size deterministic zielonka automata
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Flat acceleration in symbolic model checking
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Stably computable properties of network graphs
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
Deciding choreography realizability
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Analysis of realizability conditions for web service choreographies
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A finite union of DFAs in symbolic model checking of infinite systems
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Communicating timed automata: the more synchronous, the more difficult to verify
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Compositional message sequence charts (CMSCs) are better to implement than MSCs
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Piecewise FIFO channels are analyzable
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
On the expressiveness of asynchronous cellular automata
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Temporal logics over transitive states
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Counterexample-based refinement for a boundedness test for CFSM languages
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
A parametric communication model for the verification of BPEL4WS compositions
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
A kleene theorem for a class of communicating automata with effective algorithms
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Conversation-based specification and composition of agent services
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Realizability of dynamic MSC languages
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
A livelock freedom analysis for infinite state asynchronous reactive systems
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Controller synthesis for MTL specifications
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Analysis of communicating automata
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Verification of communication protocols using abstract interpretation of FIFO queues
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Reachability analysis of communicating pushdown systems
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Synchronizability for verification of asynchronously communicating systems
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Refinement and asynchronous composition of modal petri nets
Transactions on Petri Nets and Other Models of Concurrency V
Checking the realizability of BPMN 2.0 choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Research: Probabilistic fuzzy timed protocol verification
Computer Communications
An approach to cyclic protocol validation
Computer Communications
Validation of protocols with temporal constraints
Computer Communications
On constructing communication protocols from component-based service specifications
Computer Communications
Testing in context: framework and test derivation
Computer Communications
A modular methodology to verify communication protocols
Computer Communications
Research: Specification, validation, and verification of time-critical systems
Computer Communications
Reachability and reverse reachability analysis of CFSMs
Computer Communications
Research: Protocol validation by simultaneous reachability analysis
Computer Communications
Design of simplified protocol converters through protocol complementation
Computer Communications
Symbolic consistency checking of OpenMp parallel programs
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Multiparty session types meet communicating automata
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Bounded phase analysis of message-passing programs
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
McScM: a general framework for the verification of communicating machines
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Context-sensitive diagnosis of discrete-event systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Applying formal description techniques to software architectural design
Computer Communications
Reliable contracts for unreliable half-duplex communications
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
A Perfect Model for Bounded Verification
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Compact Representations and Efficient Algorithms for Operating Guidelines
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
On Communicating Automata with Bounded Channels
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Finite automata with time-delay blocks
Proceedings of the tenth ACM international conference on Embedded software
SAS'07 Proceedings of the 14th international conference on Static Analysis
Asynchronous programs with prioritized task-buffers
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Inferring networked system models from behavior traces
Proceedings of the 2012 ACM conference on CoNEXT student workshop
Unidirectional channel systems can be tested
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Ordinal theory for expressiveness of well-structured transition systems
Information and Computation
Artificial Intelligence in Medicine
Reachability of communicating timed processes
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Collaborative data-driven workflows: think global, act local
Proceedings of the 32nd symposium on Principles of database systems
Stone age distributed computing
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Event clock message passing automata: a logical characterization and an emptiness checking algorithm
Formal Methods in System Design
Channel properties of asynchronously composed petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Towards an optimized software architecture for component adaptation at middleware level
ECSA'13 Proceedings of the 7th European conference on Software Architecture
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
An interface theory for service-oriented design
Theoretical Computer Science
Safety verification of asynchronous pushdown systems with shaped stacks
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Stochastic parity games on lossy channel systems
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
| Hi-index | 0.03 |