Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Thomas Ball, Orna Kupferman, Greta Yorsh |
Abstraction for Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 67-81, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
79 | Cas J. F. Cremers |
Unbounded verification, falsification, and characterization of security protocols by pattern refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 119-128, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
falsification, security protocol analysis, unbounded verification, characterization |
77 | Yaroslav Shramko |
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(2-3), pp. 347-367, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
falsification, dual intuitionistic logic, kite of negations, Verification |
68 | Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi |
Induction-Guided Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 114-131, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ |
62 | Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel |
Fast falsification based on symbolic bounded property checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 1077-1082, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fast falsification, guiding, property checking |
51 | Amit Bhatia 0001, Emilio Frazzoli |
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, pp. 606-609, 2008, Springer, 978-3-540-78928-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
49 | Xu Su, Rajendra V. Boppana |
On identifying malicious nodes in ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing, IWCMC 2007, Honolulu, Hawaii, USA, August 12-16, 2007, pp. 254-259, 2007, ACM, 978-1-59593-695-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ad hoc networks, secure routing protocols |
46 | Yosuke Horiuchi, Osamu Uchida |
A Falsification Prevention Method for Face Authentication Using Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: Fifth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2009), Kyoto, Japan, 12-14 September, 2009, Proceedings, pp. 909-912, 2009, IEEE Computer Society, 978-1-4244-4717-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
falsification prevention, face detection, face authentication |
44 | Sidney W. A. Dekker, Erik Hollnagel |
Human factors and folk models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 6(2), pp. 79-86, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Falsification, Model, Human factors, Cognition, Explanation, Mind |
37 | Norihiro Kamide |
Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 32(7), pp. 971-1017, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
37 | Norihiro Kamide, Seidai Kanbe |
Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (3) ![In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 3, Online Streaming, February 3-5, 2022., pp. 242-252, 2022, SCITEPRESS, 978-989-758-547-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi |
Hybrid systems: from verification to falsification by combining motion planning and discrete search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 34(2), pp. 157-182, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Discrete search, Sampling-based planning, Hybrid system, Decomposition, Safety properties, Nonlinear dynamics, Robot motion planning |
35 | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi |
Falsification of LTL Safety Properties in Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 368-382, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Cas J. F. Cremers |
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 414-418, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Michael Gulbis, Erika Müller, Martin Steinebach |
Audio Integrity Protection and Falsification Estimation by Embedding Multiple Watermarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: Second International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2006), Pasadena, California, USA, December 18-20, 2006, Proceedings, pp. 469-472, 2006, IEEE Computer Society, 0-7695-2745-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Werner Damm, Guilherme Pinto, Stefan Ratschan |
Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 99-113, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Patrice Godefroid, Nils Klarlund |
Software Model Checking: Searching for Computations in the Abstract or the Concrete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 20-32, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Fu-Hau Hsu, Tzi-cker Chiueh |
A Path Information Caching and Aggregation Approach to Traffic Source Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA, pp. 332-339, 2003, IEEE Computer Society, 0-7695-1920-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Farhad Farmani, Mohssen Abbasi Jannat-Abad, Reza Berangi |
Detection of SSDF Attack Using SVDD Algorithm in Cognitive Radio Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICSyN ![In: Third International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2011, Bali, Indonesia, 26-28 July, 2011, pp. 201-204, 2011, IEEE Computer Society, 978-1-4577-0975-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Support Vector Data ?, Spectrum Sensing Data Falsification, Cognitive radio network, Description, Malicious nodes |
19 | Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson |
On Input Generators for Cyber-Physical Systems Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(4), pp. 1274-1287, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry |
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12642, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Atanu Kundu 0002, Sauvik Gon, Rajarshi Ray 0001 |
Data-Driven Falsification of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceedings of the 17th Innovations in Software Engineering Conference, ISEC 2024, Bangalore, India, February 22-24, 2024, pp. 10:1-10:5, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati |
Falsification using Reachability of Surrogate Koopman Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 27:1-27:13, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Alberto Huertas Celdrán, Pedro Miguel Sánchez Sánchez, Chao Feng, Gérôme Bovet, Gregorio Martínez Pérez, Burkhard Stiller |
Privacy-Preserving and Syscall-Based Intrusion Detection System for IoT Spectrum Sensors Affected by Data Falsification Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 10(10), pp. 8408-8415, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Chen Quan, Nandan Sriranga, Haodong Yang, Yunghsiang S. Han, Baocheng Geng, Pramod K. Varshney |
Efficient Ordered-Transmission Based Distributed Detection Under Data Falsification Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 30, pp. 145-149, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Goodness Oluchi Anyanwu, Cosmas Ifeanyi Nwakanma, Jae-Min Lee, Dong-Seong Kim 0002 |
Falsification Detection System for IoV Using Randomized Search Optimization Ensemble Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 24(4), pp. 4158-4172, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Shameek Bhattacharjee, Sajal K. Das 0001 |
Building a Unified Data Falsification Threat Landscape for Internet of Things/Cyberphysical Systems Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 56(3), pp. 20-31, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Devaprakash Muniraj, Mazen Farhood |
A Scalable Compositional Falsification Approach for Identifying Challenging Scenarios in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Syst. J. ![In: IEEE Syst. J. 17(3), pp. 4821-4832, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo |
A Robustness-Based Confidence Measure for Hybrid System Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5), pp. 1718-1731, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao 0001 |
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(4), pp. 1842-1859, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jarkko Peltomäki, Ivan Porres |
Requirement falsification for cyber-physical systems using generative models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.20493, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim 0005, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.03325, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Ali Baheri, Mykel J. Kochenderfer |
Joint Falsification and Fidelity Settings Optimization for Validation of Safety-Critical Systems: A Theoretical Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.06111, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zeshan M. Hussain, Ming-Chieh Shih, Michael Oberst, Ilker Demirel, David A. Sontag |
Falsification of Internal and External Validity in Observational Studies via Conditional Moment Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.13133, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Rob Cornish, Muhammad Faaiz Taufiq, Arnaud Doucet, Chris C. Holmes |
Causal Falsification of Digital Twins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.07210, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sara Shoouri, Shayan Jalili, Jiahong Xu, Isabelle Gallagher, Yuhao Zhang, Joshua Wilhelm, Necmiye Ozay, Jean-Baptiste Jeannin |
Falsification of a Vision-based Automatic Landing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.01925, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Norihiro Kamide |
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 32(3), pp. 395-440, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Erika Branchini, Roberto Burro, Ivana Bianchi |
Training people to think in opposites facilitates the falsification process in Wason's rule discovery task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
DOI RDF |
|
19 | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim 0005, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, pp. 253-265, 2023, Springer, 978-3-031-37705-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Guanqin Zhang |
Eager to Stop: Efficient Falsification of Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings, pp. 267-272, 2023, Springer, 978-981-99-7583-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos |
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 30:1-30:2, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos |
Stealthy attacks formalized as STL formulas for Falsification of CPS Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 15:1-15:8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Peter I. H. Karstensen, Roberto Galeazzi |
Data Falsification Attacks on Distributed Multi-Object Tracking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2023, Bucharest, Romania, June 13-16, 2023, pp. 1-7, 2023, IEEE, 978-3-907144-08-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Zahra Shahrooei, Mykel J. Kochenderfer, Ali Baheri |
Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2023, Bucharest, Romania, June 13-16, 2023, pp. 1-6, 2023, IEEE, 978-3-907144-08-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos |
Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 19th IEEE International Conference on Automation Science and Engineering, CASE 2023, Auckland, New Zealand, August 26-30, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-2069-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Xiaojun Wu, Zhenghan Tang, Yaya Lu, Daolong Wu, Haitao Xiao, Yong Tang |
Cooperative Spectrum Sensing Method against Spectrum Sensing Data Falsification Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: 24st Asia-Pacific Network Operations and Management Symposium, APNOMS 2023, Sejong, Korea, Republic of, September 6-8, 2023, pp. 66-70, 2023, IEEE, 978-89-950043-9-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Shruti Agarwal, Liwen Hu, Evonne Ng, Trevor Darrell, Hao Li 0015, Anna Rohrbach |
Watch Those Words: Video Falsification Detection Using Word-Conditioned Facial Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2023, Waikoloa, HI, USA, January 2-7, 2023, pp. 4699-4708, 2023, IEEE, 978-1-6654-9346-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Diego Aineto, Enrico Scala, Eva Onaindia, Ivan Serina |
Falsification of Cyber-Physical Systems Using PDDL+ Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic, pp. 2-6, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Pedro Miguel Sánchez Sánchez, Enrique Tomás Martínez Beltrán, Alberto Huertas Celdrán, Robin Wassink, Gérôme Bovet, Gregorio Martínez Pérez, Burkhard Stiller |
Stealth Spectrum Sensing Data Falsification Attacks Affecting IoT Spectrum Monitors on the Battlefield. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023, pp. 673-678, 2023, IEEE, 979-8-3503-2181-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Amar Taggu, Bryan Samuel Kharsohnoh |
Defense Against Spectrum Sensing Data Falsification Attacks Using Cluster Network Channeling with Distance-Based Attacker Detection in Cognitive Radio Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMU ![In: Fourteenth International Conference on Mobile Computing and Ubiquitous Network, ICMU 2023, Kyoto, Japan, November 29 - Dec. 1, 2023, pp. 1-5, 2023, IEEE, 978-4-907626-52-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman |
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings, pp. 141-157, 2023, Springer, 978-3-031-42625-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zeshan M. Hussain, Ming-Chieh Shih, Michael Oberst, Ilker Demirel, David A. Sontag |
Falsification of Internal and External Validity in Observational Studies via Conditional Moment Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: International Conference on Artificial Intelligence and Statistics, 25-27 April 2023, Palau de Congressos, Valencia, Spain., pp. 5869-5898, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Secil Ercan, Marwane Ayaida, Nadhir Messai |
Misbehavior Detection for Position Falsification Attacks in VANETs Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 1893-1904, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Saeid Iranmanesh, Forough Shirin Abkenar, Abbas Jamalipour, Raad Raad |
A Heuristic Distributed Scheme to Detect Falsification of Mobility Patterns in Internet of Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 9(1), pp. 719-727, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Shunyuan Xiao, Xiaohua Ge, Qing-Long Han, Yijun Zhang 0001 |
Secure and collision-free multi-platoon control of automated vehicles under data falsification attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 145, pp. 110531, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Norihiro Kamide |
Falsification-Aware Semantics and Sequent Calculi for Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 51(1), pp. 99-126, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | G. V. Pradeep Kumar, D. Krishna Reddy |
Hierarchical Cat and Mouse based ensemble extreme learning machine for spectrum sensing data falsification attack detection in cognitive radio network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 90, pp. 104523, April 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li |
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(2), pp. 238-251, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson |
Testing Cyber-Physical Systems Using a Line-Search Falsification Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(8), pp. 2393-2406, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Nikhil Marriwala, Himanshu Punj, Sunita Panda, Inderjeet Kaur, Deepak Rathore |
An Authentication Based Approach for Prevention of Spectrum Sensing Data Falsification Attacks in Cognitive Radio Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 124(1), pp. 119-145, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jarkko Peltomäki, Ivan Porres |
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.11057, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Dhanoop Karunakaran, Julie Stephany Berrio, Stewart Worrall, Eduardo M. Nebot |
Critical concrete scenario generation using scenario-based falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.13329, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zahra Ramezani, Knut Åkesson |
Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.07131, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zahra Ramezani, Kenan Sehic, Luigi Nardi, Knut Åkesson |
Falsification of Cyber-Physical Systems using Bayesian Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.06735, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zeshan M. Hussain, Michael Oberst, Ming-Chieh Shih, David A. Sontag |
Falsification before Extrapolation in Causal Effect Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.13708, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zahra Shahrooei, Mykel J. Kochenderfer, Ali Baheri |
Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.14118, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Harun Surej Ilango, Maode Ma, Rong Su 0001 |
A misbehavior detection system to detect novel position falsification attacks in the Internet of Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 116, pp. 105380, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Giacomo Mauro D'Ariano |
Quantum Epistemology and Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(4), pp. 434, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Miao Liu 0004, Xu Di, Zhuo-Miao Huo, Zhen-Xing Sun |
Research on spectrum sensing data falsification attack detection algorithm in cognitive Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 80(2), pp. 227-238, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Cimatti, Alberto Griggio, Enrico Magnago |
LTL falsification in infinite-state systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 289(Part), pp. 104977, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Sanskruti Joshi, Ruixiao Li, Shameek Bhattacharjee, Sajal K. Das 0001, Hayato Yamana |
Privacy-Preserving Data Falsification Detection in Smart Grids using Elliptic Curve Cryptography and Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMARTCOMP ![In: 2022 IEEE International Conference on Smart Computing, SMARTCOMP 2022, Helsinki, Finland, June 20-24, 2022, pp. 229-234, 2022, IEEE, 978-1-6654-8152-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Vinayak S. Prabhu, Meetkumar Savaliya |
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-11, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson |
Multi-Requirement Testing Using Focused Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022, pp. 4:1-4:11, 2022, ACM, 978-1-4503-9196-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Harun Surej Ilango, Maode Ma, Rong Su 0001 |
Novel Position Falsification Attacks Detection in the Internet of Vehicles using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 17th International Conference on Control, Automation, Robotics and Vision, ICARCV 2022, Singapore, Singapore, December 11-13, 2022, pp. 955-960, 2022, IEEE, 978-1-6654-7687-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jarkko Peltomäki, Ivan Porres |
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022, pp. 21-28, 2022, IEEE, 978-1-6654-9628-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Maryna Veksler, Clara Caspard, Kemal Akkaya |
Image-to-Image Translation Generative Adversarial Networks for Video Source Camera Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDF2C ![In: Digital Forensics and Cyber Crime - 13th EAI International Conference, ICDF2C 2022, Boston, MA, November 16-18, 2022, Proceedings, pp. 3-18, 2022, Springer, 978-3-031-36573-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Constantin Cronrath, Tom Philip Huck, Christoph Ledermann, Torsten Kröger, Bengt Lennartson |
Relevant Safety Falsification by Automata Constrained Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 18th IEEE International Conference on Automation Science and Engineering, CASE 2022, Mexico City, Mexico, August 20-24, 2022, pp. 2273-2280, 2022, IEEE, 978-1-6654-9042-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Norihiro Kamide |
Falsification-aware Semantics for Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 52nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2022, Dallas, TX, USA, May 18-20, 2022, pp. 100-105, 2022, IEEE, 978-1-6654-2395-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Norihiro Kamide |
Falsification-aware Twist Structures in Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 52nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2022, Dallas, TX, USA, May 18-20, 2022, pp. 119-124, 2022, IEEE, 978-1-6654-2395-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Zeshan M. Hussain, Michael Oberst, Ming-Chieh Shih, David A. Sontag |
Falsification before Extrapolation in Causal Effect Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022., 2022, 9781713871088. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Meriel von Stein, Sebastian G. Elbaum |
Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, pp. 136:1-136:5, 2022, ACM, 978-1-4503-9475-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Javier Antorán, Arno Blaas, Fan Feng, Sahra Ghalebikesabi, Ian Mason, Melanie F. Pradier, David Rohde, Francisco J. R. Ruiz, Aaron Schein (eds.) |
Proceedings on "I Can't Believe It's Not Better! - Understanding Deep Learning Through Empirical Falsification" at NeurIPS 2022 Workshops, 03 December 2022, New Orleans, Louisiana, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBINB ![PMLR The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Sebastian Biewer, Holger Hermanns |
On the Detection of Doped Software by Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, pp. 71-91, 2022, Springer, 978-3-030-99428-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Tina Nikoukhah |
La vie secrète des images JPEG: Détection de falsification via les traces de compression. (The secret life of JPEG images: Forgery detection using compression traces). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
19 | Rebecca Saul, Mohammad Mahmudul Alam, John Hurwitz, Edward Raff, Tim Oates 0001, James Holt |
Lempel-Ziv Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBINB ![In: Proceedings on `I Can't Believe It's Not Better! - Understanding Deep Learning Through Empirical Falsification` at NeurIPS 2022 Workshops, 03 December 2022, New Orleans, Louisiana, USA, pp. 1-11, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Abhishek Moturu, Sayali Joshi, Andrea S. Doria, Anna Goldenberg |
Volume-based Performance not Guaranteed by Promising Patch-based Results in Medical Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBINB ![In: Proceedings on `I Can't Believe It's Not Better! - Understanding Deep Learning Through Empirical Falsification` at NeurIPS 2022 Workshops, 03 December 2022, New Orleans, Louisiana, USA, pp. 85-93, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Gabriel Loaiza-Ganem, Brendan Leigh Ross, Luhuan Wu, John P. Cunningham, Jesse C. Cresswell, Anthony L. Caterini |
Denoising Deep Generative Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBINB ![In: Proceedings on `I Can't Believe It's Not Better! - Understanding Deep Learning Through Empirical Falsification` at NeurIPS 2022 Workshops, 03 December 2022, New Orleans, Louisiana, USA, pp. 41-50, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Simran Kaur 0001, Jeremy Cohen 0001, Zachary Chase Lipton |
On the Maximum Hessian Eigenvalue and Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBINB ![In: Proceedings on `I Can't Believe It's Not Better! - Understanding Deep Learning Through Empirical Falsification` at NeurIPS 2022 Workshops, 03 December 2022, New Orleans, Louisiana, USA, pp. 51-65, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Elre T. Oldewage, John Bronskill, Richard E. Turner |
Adversarial Attacks are a Surprisingly Strong Baseline for Poisoning Few-Shot Meta-Learners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBINB ![In: Proceedings on `I Can't Believe It's Not Better! - Understanding Deep Learning Through Empirical Falsification` at NeurIPS 2022 Workshops, 03 December 2022, New Orleans, Louisiana, USA, pp. 27-40, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Tatiana Likhomanenko, Ronan Collobert, Navdeep Jaitly, Samy Bengio |
Continuous Soft Pseudo-Labeling in ASR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBINB ![In: Proceedings on `I Can't Believe It's Not Better! - Understanding Deep Learning Through Empirical Falsification` at NeurIPS 2022 Workshops, 03 December 2022, New Orleans, Louisiana, USA, pp. 66-84, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Sheheryar Zaidi, Tudor Berariu, Hyunjik Kim, Jörg Bornschein, Claudia Clopath, Yee Whye Teh, Razvan Pascanu |
When Does Re-initialization Work? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBINB ![In: Proceedings on `I Can't Believe It's Not Better! - Understanding Deep Learning Through Empirical Falsification` at NeurIPS 2022 Workshops, 03 December 2022, New Orleans, Louisiana, USA, pp. 12-26, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Maurizio Mongelli |
Design of countermeasure to packet falsification in vehicle platooning by explainable artificial intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 179, pp. 166-174, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Joanna F. DeFranco, Jeffrey M. Voas |
Reproducibility, Fabrication, and Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 54(12), pp. 24-26, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Yoriyuki Yamagata, Shuang Liu 0007, Takumi Akazaki, Yihai Duan, Jianye Hao |
Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 47(12), pp. 2823-2840, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus |
A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 47(11), pp. 2534-2548, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Kesav Viswanadha, Edward Kim 0005, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia |
Parallel and Multi-Objective Falsification with Scenic and VerifAI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.04164, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Moumita Das, Rajarshi Ray 0001, Swarup Kumar Mohalik, Ansuman Banerjee |
Fast Falsification of Neural Networks using Property Directed Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.12418, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Shruti Agarwal, Liwen Hu, Evonne Ng, Trevor Darrell, Hao Li 0015, Anna Rohrbach |
Watch Those Words: Video Falsification Detection Using Word-Conditioned Facial Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.10936, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards |
Time-Staging Enhancement of Hybrid System Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR ![In: Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021., pp. 25-43, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Fabian Bauer-Marquart, Stefan Leue, Christian Schilling 0001 |
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.01917, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|