Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Buy, Ugo A. - Department of Computer Science, University of Illinois at Chicago
[15] M. A. Saunders, ``MINOS system manual,'' Tech. Rep. SOL 7731, Stanford University, Department of Operations Research, 1977.
required to build the proof lattices in the example set considered so far. We believe that the practicality of the proposed approach is enhanced by the structure
Proceedings of the DIMACS Workshop on Computer Aided Verification
Integer Programming in the Analysis of Concurrent Systems 1
Manuscript accepted by Automated Software Engineering. Automatic RealTime Analysis of Reactive Systems with the PARTS Toolset
[15] R. H. Sloan and U. Buy. Stubborn sets for realtime Petri nets. Submitted to 15th IEEE RealTime Systems
Accepted for publication, pending minor corrections, in Formal Methods in System Design. Stubborn Sets for RealTime Petri Nets
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada
A SpecificationBased Approach to Concurrency Analysis Ugo Buy \Lambda
Submitted for publication to Acta Informatica. Reduction Rules for Time Petri Nets
Experiments with an Improved Constrained Expression Toolset George S. Avrunin \Lambda Ugo A. Buy \Lambda James C. Corbett \Lambda Laura K. Dillon y Jack C. Wileden \Lambdaz
A PetriNetBased Approach to RealTime Program Analysis Ugo Buy \Lambda Robert Sloan y
