4167 search results - page 443 / 834 » Regression model checking |
168
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
216
Voted
DALT
2008
Springer
15 years 8 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
174
Voted
DATE
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
171
click to vote
FORMATS
2005
Springer
16 years 10 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
155
click to vote
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...