Search results for "Falsification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Thomas Ball, Orna Kupferman, Greta Yorsh	Abstraction for Falsification.	CAV	2005	DBLP DOI BibTeX RDF
79	Cas J. F. Cremers	Unbounded verification, falsification, and characterization of security protocols by pattern refinement.	CCS	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.	Stud Logica	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.	ICFEM	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.	DAC	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.	HSCC	2008	DBLP DOI BibTeX RDF
49	Xu Su, Rajendra V. Boppana	On identifying malicious nodes in ad hoc networks.	IWCMC	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.	IIH-MSP	2009	DBLP DOI BibTeX RDF	falsification prevention, face detection, face authentication
44	Sidney W. A. Dekker, Erik Hollnagel	Human factors and folk models.	Cogn. Technol. Work.	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.	Int. J. Softw. Eng. Knowl. Eng.	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.	ICAART (3)	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.	Formal Methods Syst. Des.	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.	TACAS	2009	DBLP DOI BibTeX RDF
35	Cas J. F. Cremers	The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols.	CAV	2008	DBLP DOI BibTeX RDF
35	Michael Gulbis, Erika Müller, Martin Steinebach	Audio Integrity Protection and Falsification Estimation by Embedding Multiple Watermarks.	IIH-MSP	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.	ATVA	2005	DBLP DOI BibTeX RDF
33	Patrice Godefroid, Nils Klarlund	Software Model Checking: Searching for Computations in the Abstract or the Concrete.	IFM	2005	DBLP DOI BibTeX RDF
33	Fu-Hau Hsu, Tzi-cker Chiueh	A Path Information Caching and Aggregation Approach to Traffic Source Identification.	ICDCS	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.	CICSyN	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	CoRR	2024	DBLP DOI BibTeX RDF
19	Atanu Kundu 0002, Sauvik Gon, Rajarshi Ray 0001	Data-Driven Falsification of Cyber-Physical Systems.	ISEC	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.	HSCC	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.	IEEE Internet Things J.	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.	IEEE Signal Process. Lett.	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.	IEEE Trans. Intell. Transp. Syst.	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.	Computer	2023	DBLP DOI BibTeX RDF
19	Devaprakash Muniraj, Mazen Farhood	A Scalable Compositional Falsification Approach for Identifying Challenging Scenarios in Cyber-Physical Systems.	IEEE Syst. J.	2023	DBLP DOI BibTeX RDF
19	Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo	A Robustness-Based Confidence Measure for Hybrid System Falsification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
19	Jarkko Peltomäki, Ivan Porres	Requirement falsification for cyber-physical systems using generative models.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
19	Rob Cornish, Muhammad Faaiz Taufiq, Arnaud Doucet, Chris C. Holmes	Causal Falsification of Digital Twins.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
19	Norihiro Kamide	Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.	J. Log. Lang. Inf.	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.		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.	CAV (1)	2023	DBLP DOI BibTeX RDF
19	Guanqin Zhang	Eager to Stop: Efficient Falsification of Deep Neural Networks.	ICFEM	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.	HSCC	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.	HSCC	2023	DBLP DOI BibTeX RDF
19	Peter I. H. Karstensen, Roberto Galeazzi	Data Falsification Attacks on Distributed Multi-Object Tracking Systems.	ECC	2023	DBLP BibTeX RDF
19	Zahra Shahrooei, Mykel J. Kochenderfer, Ali Baheri	Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization.	ECC	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.	CASE	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.	APNOMS	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.	WACV	2023	DBLP DOI BibTeX RDF
19	Diego Aineto, Enrico Scala, Eva Onaindia, Ivan Serina	Falsification of Cyber-Physical Systems Using PDDL+ Planning.	ICAPS	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.	MILCOM	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.	ICMU	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.	FORMATS	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.	AISTATS	2023	DBLP BibTeX RDF
19	Secil Ercan, Marwane Ayaida, Nadhir Messai	Misbehavior Detection for Position Falsification Attacks in VANETs Using Machine Learning.	IEEE Access	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.	IEEE Internet Things J.	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.	Autom.	2022	DBLP DOI BibTeX RDF
19	Norihiro Kamide	Falsification-Aware Semantics and Sequent Calculi for Classical Logic.	J. Philos. Log.	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.	Microprocess. Microsystems	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	Wirel. Pers. Commun.	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.	CoRR	2022	DBLP DOI BibTeX RDF
19	Dhanoop Karunakaran, Julie Stephany Berrio, Stewart Worrall, Eduardo M. Nebot	Critical concrete scenario generation using scenario-based falsification.	CoRR	2022	DBLP DOI BibTeX RDF
19	Zahra Ramezani, Knut Åkesson	Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems.	CoRR	2022	DBLP DOI BibTeX RDF
19	Zahra Ramezani, Kenan Sehic, Luigi Nardi, Knut Åkesson	Falsification of Cyber-Physical Systems using Bayesian Optimization.	CoRR	2022	DBLP DOI BibTeX RDF
19	Zeshan M. Hussain, Michael Oberst, Ming-Chieh Shih, David A. Sontag	Falsification before Extrapolation in Causal Effect Estimation.	CoRR	2022	DBLP DOI BibTeX RDF
19	Zahra Shahrooei, Mykel J. Kochenderfer, Ali Baheri	Falsification of Learning-Based Controllers through Multi-Fidelity Bayesian Optimization.	CoRR	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.	Eng. Appl. Artif. Intell.	2022	DBLP DOI BibTeX RDF
19	Giacomo Mauro D'Ariano	Quantum Epistemology and Falsification.	Entropy	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.	Telecommun. Syst.	2022	DBLP DOI BibTeX RDF
19	Alessandro Cimatti, Alberto Griggio, Enrico Magnago	LTL falsification in infinite-state systems.	Inf. Comput.	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.	SMARTCOMP	2022	DBLP DOI BibTeX RDF
19	Vinayak S. Prabhu, Meetkumar Savaliya	Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL.	MEMOCODE	2022	DBLP DOI BibTeX RDF
19	Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson	Multi-Requirement Testing Using Focused Falsification.	HSCC	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.	ICARCV	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.	ICST Workshops	2022	DBLP DOI BibTeX RDF
19	Maryna Veksler, Clara Caspard, Kemal Akkaya	Image-to-Image Translation Generative Adversarial Networks for Video Source Camera Falsification.	ICDF2C	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.	CASE	2022	DBLP DOI BibTeX RDF
19	Norihiro Kamide	Falsification-aware Semantics for Description Logics.	ISMVL	2022	DBLP DOI BibTeX RDF
19	Norihiro Kamide	Falsification-aware Twist Structures in Description Logic.	ISMVL	2022	DBLP DOI BibTeX RDF
19	Zeshan M. Hussain, Michael Oberst, Ming-Chieh Shih, David A. Sontag	Falsification before Extrapolation in Causal Effect Estimation.	NeurIPS	2022	DBLP BibTeX RDF
19	Meriel von Stein, Sebastian G. Elbaum	Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot.	ASE	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	ICBINB	2022	DBLP BibTeX RDF
19	Sebastian Biewer, Holger Hermanns	On the Detection of Doped Software by Falsification.	FASE	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).		2022	RDF
19	Rebecca Saul, Mohammad Mahmudul Alam, John Hurwitz, Edward Raff, Tim Oates 0001, James Holt	Lempel-Ziv Networks.	ICBINB	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.	ICBINB	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.	ICBINB	2022	DBLP BibTeX RDF
19	Simran Kaur 0001, Jeremy Cohen 0001, Zachary Chase Lipton	On the Maximum Hessian Eigenvalue and Generalization.	ICBINB	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.	ICBINB	2022	DBLP BibTeX RDF
19	Tatiana Likhomanenko, Ronan Collobert, Navdeep Jaitly, Samy Bengio	Continuous Soft Pseudo-Labeling in ASR.	ICBINB	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?	ICBINB	2022	DBLP BibTeX RDF
19	Maurizio Mongelli	Design of countermeasure to packet falsification in vehicle platooning by explainable artificial intelligence.	Comput. Commun.	2021	DBLP DOI BibTeX RDF
19	Joanna F. DeFranco, Jeffrey M. Voas	Reproducibility, Fabrication, and Falsification.	Computer	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.	IEEE Trans. Software Eng.	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.	IEEE Trans. Software Eng.	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.	CoRR	2021	DBLP BibTeX RDF
19	Moumita Das, Rajarshi Ray 0001, Swarup Kumar Mohalik, Ansuman Banerjee	Fast Falsification of Neural Networks using Property Directed Testing.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
19	Gidon Ernst, Ichiro Hasuo, Zhenya Zhang, Sean Sedwards	Time-Staging Enhancement of Hybrid System Falsification.	SNR	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.	CoRR	2021	DBLP BibTeX RDF