|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | |
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018  |
MT@CPSWeek  |
2018 |
DBLP BibTeX RDF |
|
| 1 | Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards |
Time-Staging Enhancement of Hybrid System Falsification. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi |
Applying Valued Booleans in Testing of Cyber-Physical Systems. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns |
Cyber-Physical Doping Tests. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Avon, Thao Dang 0001 |
Stimulus Generator for Circuit Model Generation. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Waga, Ichiro Hasuo, Kohei Suenaga |
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Doron Peled, Dogan Ulus |
DejaVu: A Monitoring Tool for First-Order Temporal Logic. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Lukina, Ashish Tiwari 0001, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu |
Resilient Control and Safety for Cyber-Physical Systems. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova |
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Koki Kato, Fuyuki Ishikawa, Shinichi Honiden |
Falsification of Cyber-Physical Systems with Reinforcement Learning. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Radoslav Ivanov, James Weimer, Insup Lee 0001 |
Towards Context-Aware Cyber-Physical Systems. |
MT@CPSWeek |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license