Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,253,481 papers from all fields of science
Search
Sign In
Create Free Account
Computer Aided Verification
Known as:
CAV
Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Assaf Schuster
Federated Logic Conference
List of computer science conferences
Model checking
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
A Guidence Method for Lane Change Detection at Signalized Intersections in Connected Vehicle Environment
Tao Wang
,
Liangjie Xu
,
Guojun Chen
,
Wei Zhao
International Conference on Transportation…
2019
Corpus ID: 204939901
About 6 percent of traffic accidents are related to lane changing. Moreover, on average 10% of traffic delay is caused by the…
Expand
2018
2018
Robust Eco-Driving Control of Autonomous Vehicles Connected to Traffic Lights
Chao Sun
,
Jacopo Guanetti
,
F. Borrelli
,
S. Moura
2018
Corpus ID: 85557402
This paper focuses on the speed planning problem for connected and automated vehicles (CAVs) communicating to traffic lights. The…
Expand
2017
2017
Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification
Liangze Yin
,
Wei Dong
,
Wanwei Liu
,
Ji Wang
arXiv.org
2017
Corpus ID: 4548497
Bounded model checking is among the most efficient techniques for the automatic verification of concurrent programs. However…
Expand
2014
2014
Seismic high-frequency content loads on structures and components within nuclear facilities
C. Rydell
2014
Corpus ID: 106861484
Sweden is generally considered to be a low seismicity area, but for structures within nuclear power facilities, the safety level…
Expand
2011
2011
Compositionality Entails Sequentializability
P. Garg
,
P. Madhusudan
International Conference on Tools and Algorithms…
2011
Corpus ID: 816677
We show that any concurrent program that is amenable to compositional reasoning can be effectively translated to a sequential…
Expand
2010
2010
New module generation for higher lifetime
Alexander Cilioxa
,
Jens Görlicha
,
+6 authors
Frank Umbachb
2010
Corpus ID: 43271282
In the past decades, IGBTs and free wheeling diodes have become the components that define the performance of power modules for…
Expand
2002
2002
A curve-theorem based approach for change detection and its application to Yellow River Delta
T. Yue
,
Songcan Chen
,
+4 authors
Q. Ye
2002
Corpus ID: 15276219
A curve-theorem based approach is proposed and is used to handle NDVI data. The curve-theorem based approach includes a general…
Expand
2002
2002
Developing security protocols in ?-Spaces
F. Crazzolara
,
Giuseppe Milicia
2002
Corpus ID: 1255549
It is of paramount importance that a security protocol effectively enforces the desired security requirements. The apparent…
Expand
2001
2001
The Apoptin gene of chicken anemia virus in the induction of apoptosis in human tumorigenic cells and in gene therapy of cancer *
M. Noteborn
,
A. V. Oorschot
,
A. Van
,
Derankova Eb
2001
Corpus ID: 8815636
Apoptosis i s an act ive physiological process for the e l iminat ion of superf luous or al tered cel ls from a developing or…
Expand
1993
1993
A practical technique for bounding the time between events in concurrent real-time systems
J. Corbett
,
G. Avrunin
International Symposium on Software Testing and…
1993
Corpus ID: 1916146
Showing that concurrent systems satisfy timing constraints on their behavior is difficult, but may be essential for critical…
Expand