Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
1350420
biblio
An efficient algorithm for monitoring practical {TPTL} specifications
Submitted by el_wehby on Tue, 05/15/2018 - 11:40pm
1350420
biblio
Metric Interval Temporal Logic Specification Elicitation and Debugging
Submitted by el_wehby on Tue, 05/15/2018 - 11:40pm
1350420
biblio
Local Descent for Temporal Logic Falsification of Cyber-Physical Systems
Submitted by el_wehby on Tue, 05/15/2018 - 11:40pm
1350420
biblio
From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems
Submitted by el_wehby on Tue, 05/15/2018 - 11:40pm
1350420
biblio
AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS
Submitted by el_wehby on Tue, 05/15/2018 - 11:39pm
1350420
biblio
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems
Submitted by el_wehby on Tue, 05/15/2018 - 11:39pm
1350420
biblio
Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Submitted by el_wehby on Tue, 05/15/2018 - 11:39pm
1350420
biblio
Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers
Submitted by el_wehby on Tue, 05/15/2018 - 11:39pm
1446730
1350420
biblio
Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems
Submitted by el_wehby on Tue, 05/15/2018 - 11:39pm
1350420
biblio
Formal Requirements-Driven Analysis of Cyber Physical Systems
Submitted by el_wehby on Tue, 05/15/2018 - 11:39pm
1446730
1350420
« first
‹ previous
1
2
3
next ›
last »
