On the complexity of partial order trace model checking

Authors:
Thierry Massart;Cédric Meuter;Laurent Van Begin
Affiliations:
Université Libre de Bruxelles (U.L.B.), Boulevard du Triomphe, CP-212, 1050 Bruxelles, Belgium;Université Libre de Bruxelles (U.L.B.), Boulevard du Triomphe, CP-212, 1050 Bruxelles, Belgium;Université Libre de Bruxelles (U.L.B.), Boulevard du Triomphe, CP-212, 1050 Bruxelles, Belgium
Venue:
Information Processing Letters
Year:
2008

Model checking

Model checking
Using Runtime Analysis to Guide Model Checking of Java Programs

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Detection of global predicates: techniques and their limitations

Distributed Computing
Testing Distributed Systems Through Symbolic Model Checking

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Monitoring distributed controllers: when an efficient LTL algorithm on sequences is needed to model-check traces

FM'06 Proceedings of the 14th international conference on Formal Methods

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

Hi-index	0.89