Weakest Congruence Results Concerning "Any-Lock"
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Checking for CFFD-Preorder with Tester Processes
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Weakest-Congruence Results for Livelock-Preserving Equivalences
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Analysis and Verification Queries over Object-Oriented Petri Nets
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A Generalised Sweep-Line Method for Safety Properties
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Stubborn Sets for Standard Properties
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Incremental State Space Construction for Coloured Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
The Challenge of Object Orientation for the Analysis of Concurrent Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Unfoldings of Coloured Petri Nets
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Model checking: a tutorial overview
Modeling and verification of parallel processes
Modeling and verification of parallel processes
Automated test case generation for the stress testing of multimedia systems
Software—Practice & Experience
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Automatic verification for a class of distributed systems
Distributed Computing
Improved on-the-fly verification with testers
Nordic Journal of Computing
Merged processes: a new condensed representation of Petri net behaviour
CONCUR 2005 - Concurrency Theory
A Proposal For Relative Time Petri Nets
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Fast verification of the class of stop-and-wait protocols modelled by coloured Petri nets
Nordic Journal of Computing
JCPNet tool and automated analysis of distributed systems
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Question-guided stubborn set methods for state properties
Formal Methods in System Design
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Narrowing Petri Net State Spaces Using the State Equation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Proceedings of the 20th annual conference on Integrated circuits and systems design
Groebner bases computation in Boolean rings for symbolic model checking
MOAS'07 Proceedings of the 18th conference on Proceedings of the 18th IASTED International Conference: modelling and simulation
The Design of a Multicore Extension of the SPIN Model Checker
IEEE Transactions on Software Engineering
Model-Based Testing Service on the Web
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Symbolic Step Encodings for Object Based Communicating State Machines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Microprocessors & Microsystems
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
Proceedings of the 16th International SPIN Workshop on Model Checking Software
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Completeness and optimality preserving reduction for planning
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Fundamenta Informaticae - Petri Nets 2008
Groebner bases computation in Boolean rings for symbolic model checking
MS '07 The 18th IASTED International Conference on Modelling and Simulation
Dynamic State Space Partitioning for External Memory Model Checking
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Testing from Structured Algebraic Specifications: The Veritas Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
A hybrid DVS scheduling approach for hard real-time systems
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Improved question-guided stubborn set methods for state properties
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Model checking safety properties in modular high-level nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Analysing properties of the resource reservation protocol
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Using Petri net invariants in state space construction
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Behaviour-preserving transition insertions in unfolding prefixes
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Combining decomposition and unfolding for STG synthesis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
The ComBack method: extending hash compaction with backtracking
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Process compliance measurement based on behavioural profiles
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Similarity of business process models: Metrics and evaluation
Information Systems
Trustworthy organic computing systems: challenges and perspectives
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Reduction of interrupt handler executions for model checking embedded software
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Generalised computation of behavioural profiles based on petri-net unfoldings
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Process compliance analysis based on behavioural profiles
Information Systems
An algorithm for direct construction of complete merged processes
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On the origin of events: branching cells as stubborn sets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Self-reconfigurable modular robots and their symbolic configuration space
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Understanding failures through facts
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Checking order constraints in collaborative workflow with invariant analysis
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Verification of orchestration systems using compositional partial order reduction
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Security analysis of the secure authentication protocol by means of coloured petri nets
CMS'05 Proceedings of the 9th IFIP TC-6 TC-11 international conference on Communications and Multimedia Security
Sweep-Line analysis of TCP connection management
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
State space exploration of object-based systems using equivalence reduction and the sweepline method
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Using parametric automata for the verification of the stop-and-wait class of protocols
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Crawling Ajax-Based Web Applications through Dynamic Analysis of User Interface State Changes
ACM Transactions on the Web (TWEB)
Applying step coverability trees to communicating component-based systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
High level petri nets analysis with helena
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Improving spin's partial-order reduction for breadth-first search
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
A perspective on explicit state space exploration of coloured petri nets: past, present, and future
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
The sweep-line state space exploration method
Theoretical Computer Science
Smaller abstractions for ∀CTL* without next
Concurrency, Compositionality, and Correctness
AlPiNA: an algebraic petri net analyzer
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
MDA and analysis of web applications
TEAA'05 Proceedings of the 31st VLDB conference on Trends in Enterprise Application Architecture
A parametric state space for the analysis of the infinite class of stop-and-wait protocols
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Partial-Order reduction for general state exploring algorithms
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Unfoldings of bounded hybrid petri nets
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Towards a model based approach for integration testing
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Step coverability algorithms for communicating systems
Science of Computer Programming
Supporting domain-specific state space reductions through local partial-order reduction
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Exploiting step semantics for efficient bounded model checking of asynchronous systems
Science of Computer Programming
Analysis of the Petri net model of parallel manufacturing processes with shared resources
Information Sciences: an International Journal
Petri nets state space analysis in the cloud
Proceedings of the 34th International Conference on Software Engineering
Modelling trusted web applications
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Fundamenta Informaticae - Petri Nets 2008
Abstractions for validation in action
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Narrowing Petri Net State Spaces Using the State Equation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Fundamenta Informaticae
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets
Fundamenta Informaticae
Searching for pareto-optimal randomised algorithms
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Software simulation and verification to increase the reliability of Intelligent Environments
Advances in Engineering Software
Dynamic state space partitioning for external memory state space exploration
Science of Computer Programming
Abstract interpretation of microcontroller code: Intervals meet congruences
Science of Computer Programming
A low complexity coordination architecture for networked supervisory medical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Abstraction and Idealization in the Formal Verification of Software Systems
Minds and Machines
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
A symbolic model checking approach to verifying satellite onboard software
Science of Computer Programming
Hi-index | 0.00 |