Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Assaf SchusterFederated Logic ConferenceList of computer science conferencesModel checking

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
About 6 percent of traffic accidents are related to lane changing. Moreover, on average 10% of traffic delay is caused by the… 
2018
2018
Robust Eco-Driving Control of Autonomous Vehicles Connected to Traffic Lights
This paper focuses on the speed planning problem for connected and automated vehicles (CAVs) communicating to traffic lights. The… 
2017
2017
Feasibility analysis of low-cost GNSS receivers for achieving required positioning performance in CAV applications
For Connected and Autonomous Vehicle (CAV) applications, the location solution is desired to provide better than 0.1m real-time… 
2014
2014
STUDIES ON THE MORPHOLOGY, ANATOMY AND ECOLOGY OF OPHRYS LUTEA CAV. SUBSP. MINOR (GUSS.) O. DANESCH & E. DANESCH EX GÖLZ & H.R. REINHARD (ORCHIDACEAE) IN TURKEY
In this study, morphological, anatomical and ecological characteristics of Ophrys lutea subsp. minor in Turkey were investigated… 
2011
2011
Compositionality Entails Sequentializability
We show that any concurrent program that is amenable to compositional reasoning can be effectively translated to a sequential… 
2010
2010
New module generation for higher lifetime
In the past decades, IGBTs and free wheeling diodes have become the components that define the performance of power modules for… 
2002
2002
A curve-theorem based approach for change detection and its application to Yellow River Delta
A curve-theorem based approach is proposed and is used to handle NDVI data. The curve-theorem based approach includes a general… 
1998
1998
Performance of fixed, air-side economizer, and neural network demand-controlled ventilation in CAV systems
The performance of four popular ventilation strategies in ten different US cities for a typical small office building with a… 
1993
1993
A practical technique for bounding the time between events in concurrent real-time systems
Showing that concurrent systems satisfy timing constraints on their behavior is difficult, but may be essential for critical… 
1976
1976
The perfect state of Pyricularia oryzae cav. in culture.
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)