A formal technique for automated dialogue development
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Verifying systems with integer constraints and Boolean predicates: a composite approach
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Composite model-checking: verification with type-specific symbolic representations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
Bisimulation indexes and their applications
Theoretical Computer Science
Nivat's processes and their synchronization
Theoretical Computer Science
Using SPIN to verify protocols at the implementation level
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Checking Simple Properties of Transition Systems Defined by Thue Specifications
Journal of Automated Reasoning
Interactive Visualization of State Transition Systems
IEEE Transactions on Visualization and Computer Graphics
Synthesising elementary net systems with inhibitor arcs from step transition systems
Fundamenta Informaticae - Application of concurrency to system design
Traversal Techniques for Concurrent Systems
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Input/Output Compatibility of Reactive Systems
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Modular State Level Analysis of Distributed Systems Techniques and Tool Support
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
An Automated Analysis of Ping-Pong Interactions in E-mail Services
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Interactive Systems: From Folklore to Mathematics
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Synthesizing Distributed Transition Systems from Global Specification
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
A Formalization of the IWIM Model
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
On-the-Fly Verification of Linear Temporal Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Synchronized Products of Transition Systems and Their Analysis
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Synchronized Product of Linear Bounded Machines
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design
Concurrency and Hardware Design, Advances in Petri Nets
Visualization of State Transition Graphs
INFOVIS '01 Proceedings of the IEEE Symposium on Information Visualization 2001 (INFOVIS'01)
On temporal logic versus datalog
Theoretical Computer Science - Logic and complexity in computer science
Weak bisimulation for (max/+) automata and related models
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems
Scheduling hard sporadic tasks with regular languages and generating functions
Theoretical Computer Science - Implementation and application automata
On the Morality of Artificial Agents
Minds and Machines
Verification of timed circuits with symbolic delays
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Model Checking of Time Petri Nets Using the State Class Timed Automaton
Discrete Event Dynamic Systems
Uniform random sampling of traces in very large models
Proceedings of the 1st international workshop on Random testing
Towards integrated verification of timed transition models
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
A Timed Extension for ALTARICA
Fundamenta Informaticae
An Adaptation-based Approach to Incrementally Build Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams
IEEE Computer Graphics and Applications
A Game-theoretic Approach to Behavioural Visualisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Concurrent Systems with Parametric Delays Using Octahedra
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Transformational design of an interactive component straddling communication streams
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Transactions on Petri Nets and Other Models of Concurrency I
Active Objects and Distributed Components: Theory and Implementation
Formal Methods for Components and Objects
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Event strictness for components with complex bindings
Proceedings of the 2nd India software engineering conference
Formal verification of real-time systems with preemptive scheduling
Real-Time Systems
A new formalism for mathematical description and verification of component-based systems
The Journal of Supercomputing
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Supervisory Control of (max,+) Automata: A Behavioral Approach
Discrete Event Dynamic Systems
Transparent First-class Futures and Distributed Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic deployment of autonomous cars in a robotic urban-like environment (rule)
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Compositional Minimization in Span(Graph): Some Examples
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part
Fundamenta Informaticae
Term validation of distributed hard real-time applications
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
Unfolding concurrent well-structured transition systems
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Synthesis of elementary net systems with context arcs and localities
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Automated analysis of compositional multi-agent systems
International Journal of Agent-Oriented Software Engineering
What does the user want to see?: what do the data want to be?
Information Visualization
Weighted automata and weighted logics with discounting
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Electronic Notes in Theoretical Computer Science (ENTCS)
Coinduction in Concurrent Timed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Minimal Regions of ENL-Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Rbminer: a tool for discovering Petri nets from transition systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
A framework for run-time behavioural service adaptation in ubiquitous computing
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Kleene theorems for product systems
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
ECSA'11 Proceedings of the 5th European conference on Software architecture
An alternative definition for timed automata composition
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Weighted automata and weighted logics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Timed-arc petri nets vs. networks of timed automata
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Using process algebra to validate behavioral aspects of object-oriented models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Behavioural models for hierarchical components
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Transition systems of elementary net systems with localities
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Bounded analysis and decomposition for behavioural descriptions of components
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Synchronizing behavioural mismatch in software composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Weighted automata and weighted logics on infinite words
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part
Fundamenta Informaticae
Multi-Valued MSO Logics OverWords and Trees
Fundamenta Informaticae
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Verification of Concurrent Systems with Parametric Delays Using Octahedra
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Revising and extending the uppaal communication mechanism
SC'12 Proceedings of the 11th international conference on Software Composition
Towards Integrated Verification of Timed Transition Models
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
A Timed Extension for ALTARICA
Fundamenta Informaticae
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
Fundamenta Informaticae - Application of Concurrency to System Design
The AltaRica Formalism for Describing Concurrent Systems
Fundamenta Informaticae
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
A pseudometric in supervisory control of probabilistic discrete event systems
Discrete Event Dynamic Systems
A new formalism for describing concurrent systems
ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking
Visual inspection of multivariate graphs
EuroVis'08 Proceedings of the 10th Joint Eurographics / IEEE - VGTC conference on Visualization
A mechanized semantic framework for real-time systems
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 0.00 |