Search results for "Opacity"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Yunbo Rao, Qingsong Lv, Shaoning Zeng, Yuling Yi, Cheng Huang, Yun Gao, Zhanglin Cheng, Jihong Sun	COVID-19 CT ground-glass opacity segmentation based on attention mechanism threshold.	Biomed. Signal Process. Control.	2023	DBLP DOI BibTeX RDF
17	Guowei Wang, Shuli Guo, Lina Han, Zhilei Zhao, Xiaowei Song 0003	COVID-19 ground-glass opacity segmentation based on fuzzy c-means clustering and improved random walk algorithm.	Biomed. Signal Process. Control.	2023	DBLP DOI BibTeX RDF
17	Budhadev Baral, Kartik Muduli, Shweta Jakhmola, Omkar Indari, Jatin Jangir, Ashraf Haroon Rashid, Suchita Jain, Amrut Kumar Mohapatra, Shubhransu Patro, Preetinanda Parida, Namrata Misra, Ambika Prasad Mohanty, Bikash R. Sahu, Ajay Kumar Jain, Selvakumar Elangovan, Hamendra Singh Parmar, Mohammad Tanveer 0001, Nirmal Kumar Mohakud, Hem Chandra Jha	Redefining Lobe-Wise Ground-Glass Opacity in COVID-19 Through Deep Learning and its Correlation With Biochemical Parameters.	IEEE J. Biomed. Health Informatics	2023	DBLP DOI BibTeX RDF
17	Chunyan Mu, David Clark 0001	Verifying Opacity Properties in Security Systems.	IEEE Trans. Dependable Secur. Comput.	2023	DBLP DOI BibTeX RDF
17	Huihui Zhang, Lingxuan Li, Miao He, Yanfang Liu, Liang Zhang	Effects of the Icon Brightness, App Folder Opacity, and Complexity of Mobile Wallpaper on the Search of Thumbnail Icons.	HCI (7)	2023	DBLP DOI BibTeX RDF
17	Sara Mann, Barnaby Crook, Lena Kästner, Astrid Schomäcker, Timo Speith	Sources of Opacity in Computer Systems: Towards a Comprehensive Taxonomy.	REW	2023	DBLP DOI BibTeX RDF
17	Yiwei Zheng, Aiwen Lai, Weiyao Lan, Xiao Yu 0002	Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers.	CDC	2023	DBLP DOI BibTeX RDF
17	Chongyang Shi, Abhishek Ninad Kulkarni, Hazhar Rahmani, Jie Fu	Synthesis of Opacity-Enforcing Winning Strategies Against Colluded Opponent.	CDC	2023	DBLP DOI BibTeX RDF
17	Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani 0001	A Data-Driven Approach to Approximate Opacity Verification.	CDC	2023	DBLP DOI BibTeX RDF
17	Junyao Hou, Siyuan Liu, Xiang Yin 0003, Majid Zamani 0001	Abstraction-Based Synthesis of Controllers for Approximate Opacity.	CDC	2023	DBLP DOI BibTeX RDF
17	Jirí Balun, Tomás Masopust, Petr Osicka	Speed Me up If You Can: Conditional Lower Bounds on Opacity Verification.	MFCS	2023	DBLP DOI BibTeX RDF
17	Qi Yang 0005, Marlo Ongpin, Sergey I. Nikolenko, Alfred Huang, Aleksandr Farseev	Against Opacity: Explainable AI and Large Language Models for Effective Digital Advertising.	ACM Multimedia	2023	DBLP DOI BibTeX RDF
17	Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed	Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control.	CoDIT	2023	DBLP DOI BibTeX RDF
17	Tianyu Liu, Carla Seatzu, Alessandro Giua	Verification of Current State Opacity using Switching Output Automata.	CoDIT	2023	DBLP DOI BibTeX RDF
17	Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li 0001, Moez Krichen	On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation.	VECoS	2023	DBLP DOI BibTeX RDF
17	Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li 0001	Reduced-Complexity Approach for Opacity Enforcement Based on Extended Insertion Functions with Limited Insertion Events.	ICNSC	2023	DBLP DOI BibTeX RDF
17	Mattia Petrolo, Ekaterina Kubyshkina, Giuseppe Primiero	A Logical Approach to Algorithmic Opacity.	BEWARE@AI*IA	2023	DBLP BibTeX RDF
17	Étienne André, Engel Lefaucheux, Dylan Marinho	Expiring opacity problems in parametric timed automata.	ICECCS	2023	DBLP DOI BibTeX RDF
17	Jürgen König	On the membership and correctness problem for state serializability and value opacity.		2023	RDF
17	Bengt Lennartson, Mona Noori Hosseini, Christoforos N. Hadjicostis	State-Labeled Safety Analysis of Modular Observers for Opacity Verification.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
17	Francesco Basile, Gianmaria De Tommasi, Carlo Motta, Claudio Sterle	Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
17	Masashi Mizoguchi, Toshimitsu Ushio	Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
17	Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani 0001	Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
17	Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie	Using Subobservers to Synthesize Opacity-Enforcing Supervisors.	Discret. Event Dyn. Syst.	2022	DBLP DOI BibTeX RDF
17	Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay	A general language-based framework for specifying and verifying notions of opacity.	Discret. Event Dyn. Syst.	2022	DBLP DOI BibTeX RDF
17	Dong Li 0009, Li Yin, Jianzhou Wang, Naiqi Wu	Game current-state opacity formulation in probabilistic resource automata.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
17	Shoaib Amin Banday, Rafia Nahvi, Ajaz Hussain Mir, Samiya Khan, Ahmad Saeed AlGhamdi, Sultan S. Alshamrani	Ground glass opacity detection and segmentation using CT images: an image statistics framework.	IET Image Process.	2022	DBLP DOI BibTeX RDF
17	Luiza Prado de Oliveira Martins	Boundary/border: on the generativity of opacity.	Interactions	2022	DBLP DOI BibTeX RDF
17	Konrad Siek, Pawel T. Wojciechowski	Last-use opacity: a strong safety property for transactional memory with prerelease support.	Distributed Comput.	2022	DBLP DOI BibTeX RDF
17	Philip W. Rosenkranz	Rapid Calculation of Microwave Opacity and Transmittance for Water-Vapor Atmospheric-Sounding Channels.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
17	Yifan Xie, Xiang Yin 0003, Shaoyuan Li	Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
17	Xiaoyan Li, Christoforos N. Hadjicostis, Zhi Wu Li 0001	Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
17	Yin Tong, Hao Lan, Carla Seatzu	Verification of K-step and infinite-step opacity of bounded labeled Petri nets.	Autom.	2022	DBLP DOI BibTeX RDF
17	Junyao Hou, Xiang Yin 0003, Shaoyuan Li	A framework for current-state opacity under dynamic information release mechanism.	Autom.	2022	DBLP DOI BibTeX RDF
17	Guanghui Zhu, Zhiwu Li 0001, Naiqi Wu	Online verification of K-step opacity by Petri nets in centralized and decentralized structures.	Autom.	2022	DBLP DOI BibTeX RDF
17	Liwei An, Guang-Hong Yang	Enhancement of opacity for distributed state estimation in cyber-physical systems.	Autom.	2022	DBLP DOI BibTeX RDF
17	Yifan Dong, Zhiwu Li 0001, Naiqi Wu	Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2022	DBLP DOI BibTeX RDF
17	Florian J. Boge	Two Dimensions of Opacity and the Deep Learning Predicament.	Minds Mach.	2022	DBLP DOI BibTeX RDF
17	Étienne André, Didier Lime, Dylan Marinho, Jun Sun 0001	Guaranteeing Timed Opacity using Parametric Timed Model Checking.	CoRR	2022	DBLP DOI BibTeX RDF
17	Varkey M. John, Vaibhav Katewa	On Connections between Opacity and Security in Linear Systems.	CoRR	2022	DBLP DOI BibTeX RDF
17	Chunyan Mu, David Clark 0001	Quantitative Verification of Opacity Properties in Security Systems.	CoRR	2022	DBLP DOI BibTeX RDF
17	Jirí Balun, Tomás Masopust	Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems.	CoRR	2022	DBLP DOI BibTeX RDF
17	Eamon Duede	Deep Learning Opacity in Scientific Discovery.	CoRR	2022	DBLP DOI BibTeX RDF
17	Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho	strategFTO: Untimed control for timed opacity.	CoRR	2022	DBLP DOI BibTeX RDF
17	Xiaoguang Han 0001, Kuize Zhang, Zhiwu Li 0001	Verification of Strong K-Step Opacity for Discrete-Event Systems.	CoRR	2022	DBLP DOI BibTeX RDF
17	Bram Vaassen	AI, Opacity, and Personal Autonomy.	CoRR	2022	DBLP DOI BibTeX RDF
17	Michael D. Vander Wal, Ryan G. McClarren, Kelli D. Humbird	Transfer Learning of High-Fidelity Opacity Spectra in Autoencoders and Surrogate Models.	CoRR	2022	DBLP DOI BibTeX RDF
17	Bohan Cui, Xiang Yin 0003, Shaoyuan Li, Alessandro Giua	You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems.	CoRR	2022	DBLP DOI BibTeX RDF
17	Junyao Hou, Siyuan Liu, Xiang Yin 0003, Majid Zamani 0001	Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems.	CoRR	2022	DBLP DOI BibTeX RDF
17	Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim	Modularising Verification Of Durable Opacity.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Étienne André, Didier Lime, Dylan Marinho, Jun Sun 0001	Guaranteeing Timed Opacity using Parametric Timed Model Checking.	ACM Trans. Softw. Eng. Methodol.	2022	DBLP DOI BibTeX RDF
17	Weilin Deng, Daowen Qiu, Jingkai Yang	Fuzzy Infinite-Step Opacity Measure of Discrete Event Systems and Its Applications.	IEEE Trans. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
17	Isabella Mastroeni, Michele Pasqua	Verifying opacity by abstract interpretation.	SAC	2022	DBLP DOI BibTeX RDF
17	Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho	strategFTO: Untimed Control for Timed Opacity.	FTSCS	2022	DBLP DOI BibTeX RDF
17	Siti Nurhajar Rafiqin Roslan, Mohd Zulfaezal Che Azemin, Mohd Adli Md Ali, Mohd Izzuddin Bin Mohd Tamrin, Iqbal Jamaludin	Comparison of Deep Learning Architectures for CXR Opacity Detection.	ICSCA	2022	DBLP DOI BibTeX RDF
17	Rongjian Liu, Jianquan Lu, Christoforos N. Hadjicostis	Reduced Complexity Verification of Almost-Infinite-Step Opacity in Stochastic Discrete-Event Systems*.	ACC	2022	DBLP DOI BibTeX RDF
17	Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois	Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation.	SBLP	2022	DBLP DOI BibTeX RDF
17	Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani 0001	Verification of approximate infinite-step opacity using barrier certificates.	ECC	2022	DBLP DOI BibTeX RDF
17	Chan Young Park, Doo Yong Lee	Effects of a Fluoroscopy Agent on Radio Opacity and Steering Performance of Pressure-Driven Steerable Micro Guidewire.	EMBC	2022	DBLP DOI BibTeX RDF
17	Xiaoguang Han 0002, Kuize Zhang, Zhiwu Li 0001	Verification of Strong K-Step Opacity for Discrete-Event Systems.	CDC	2022	DBLP DOI BibTeX RDF
17	Varkey M. John, Vaibhav Katewa	Opacity and its Trade-offs with Security in Linear Systems.	CDC	2022	DBLP DOI BibTeX RDF
17	Bryony H. Schonewille, Richard Hugh Moulton, Karen Rudie	Enforcing Degree of Opacity with Supervisory Control.	CDC	2022	DBLP DOI BibTeX RDF
17	Francesco Basile, Gianmaria De Tommasi, Carlo Motta, Alberto Petrillo, Stefania Santini	Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming.	MED	2022	DBLP DOI BibTeX RDF
17	Soya Kamisaka, Satoshi Nakada, Shintaro Kawahara, Hideo Miyachi, Kyoko Hasegawa, Liang Li 0002, Satoshi Tanaka	Opacity-Gradation-Based Visualization of Vortices for Large-Scale Ocean Simulation.	AsiaSim (1)	2022	DBLP DOI BibTeX RDF
17	Jirí Balun, Tomás Masopust	On Transformations among Opacity Notions.	SMC	2022	DBLP DOI BibTeX RDF
17	Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed	At Design-Time Approach for Supervisory Control of Opacity.	CoopIS	2022	DBLP DOI BibTeX RDF
17	Baris Demirbay, Duygu Bayram Kara	Classification of opacity for polymer nanocomposite films via deep neural network (DNN) classifiers.	INISTA	2022	DBLP DOI BibTeX RDF
17	Haoming Zhu, Li Yin, Naiqi Wu, Zhiwu Li 0001	Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets.	CoDIT	2022	DBLP DOI BibTeX RDF
17	Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed	Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control.	CoDIT	2022	DBLP DOI BibTeX RDF
17	Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed	Optimal Supervisory Control of Opacity for Modular Systems.	ISPA/BDCloud/SocialCom/SustainCom	2022	DBLP DOI BibTeX RDF
17	Dong Li, Zhaoyang He, Zhaoyu Xiang, Sian Zhou	Game min-max current-state opacity formulation in resource automata.	ICNSC	2022	DBLP DOI BibTeX RDF
17	Henry Fraser, Rhyle Simcock, Aaron J. Snoswell	AI Opacity and Explainability in Tort Litigation.	FAccT	2022	DBLP DOI BibTeX RDF
17	Mattia Petrolo, Ekaterina Kubyshkina	Reasoning About Algorithmic Opacity (short paper).	BEWARE@AI*IA	2022	DBLP BibTeX RDF
17	María Carolina Jiménez	The Opacity of Automated Decision-Making Systems (ADMS) and its Challenges for Political Legitimacy in a Democracy.	AIES	2022	DBLP DOI BibTeX RDF
17	Sebastian Bordt, Ulrike von Luxburg	A Bandit Model for Human-Machine Decision Making with Private Information and Opacity.	AISTATS	2022	DBLP BibTeX RDF
17	Siyuan Liu, Majid Zamani 0001	Verification of Approximate Opacity via Barrier Certificates.	IEEE Control. Syst. Lett.	2021	DBLP DOI BibTeX RDF
17	Gaoqing Zhang	Competition and Opacity in the Financial System.	Manag. Sci.	2021	DBLP DOI BibTeX RDF
17	Ikhlass Ammar, Yamen El Touati, Moez Yeddes, John Mullins	Bounded opacity for timed systems.	J. Inf. Secur. Appl.	2021	DBLP DOI BibTeX RDF
17	Jirí Balun, Tomás Masopust	Comparing the notions of opacity for discrete-event systems.	Discret. Event Dyn. Syst.	2021	DBLP DOI BibTeX RDF
17	Jingkai Yang, Weilin Deng, Daowen Qiu, Cheng Jiang	Opacity of networked discrete event systems.	Inf. Sci.	2021	DBLP DOI BibTeX RDF
17	Zhipeng Zhang, Shaolong Shu, Chengyi Xia	Networked opacity for finite state machine with bounded communication delays.	Inf. Sci.	2021	DBLP DOI BibTeX RDF
17	Wen Zeng, Maciej Koutny	Quantitative Analysis of Opacity in Cloud Computing Systems.	IEEE Trans. Cloud Comput.	2021	DBLP DOI BibTeX RDF
17	Helen Smith	Clinical AI: opacity, accountability, responsibility and liability.	AI Soc.	2021	DBLP DOI BibTeX RDF
17	Duo Wang, Tao Zhang 0006, Ming Li, Raphael Bueno, Jagadeesan Jayender	3D deep learning based classification of pulmonary ground glass opacity nodules with automatic segmentation.	Comput. Medical Imaging Graph.	2021	DBLP DOI BibTeX RDF
17	Liujuan Mei, Rongjian Liu, Jianquan Lu, Jianlong Qiu	Matrix Approach for Verification of Opacity of Partially Observed Discrete Event Systems.	Circuits Syst. Signal Process.	2021	DBLP DOI BibTeX RDF
17	João Carlos Basilio, Christoforos N. Hadjicostis, Rong Su 0001	Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security.	Found. Trends Syst. Control.	2021	DBLP DOI BibTeX RDF
17	Dimitri Lefebvre, Christoforos N. Hadjicostis	Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
17	Christoforos Keroglou, Stéphane Lafortune	Embedded Insertion Functions for Opacity Enforcement.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Majid Zamani 0001, Siyuan Liu	On Approximate Opacity of Cyber-Physical Systems.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
17	Ziyue Ma, Xiang Yin 0003, Zhiwu Li 0001	Verification and enforcement of strong infinite- and k-step opacity using state recognizers.	Autom.	2021	DBLP DOI BibTeX RDF
17	Aiwen Lai, Sébastien Lahaye, Zhiwu Li 0001	Initial-state detectability and initial-state opacity of unambiguous weighted automata.	Autom.	2021	DBLP DOI BibTeX RDF
17	Xiang Yin 0003, Stéphane Lafortune	Authors' Reply to "Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica, 2017(80)162-171]".	Autom.	2021	DBLP DOI BibTeX RDF
17	Raphael Julio Barcelos, João Carlos Basilio	Enforcing current-state opacity through shuffle and deletions of event observations.	Autom.	2021	DBLP DOI BibTeX RDF
17	Siyuan Liu, Majid Zamani 0001	Compositional synthesis of opacity-preserving finite abstractions for interconnected systems.	Autom.	2021	DBLP DOI BibTeX RDF
17	Siyuan Liu, Abdalla Swikir, Majid Zamani 0001	Compositional Verification of Initial-State Opacity for Switched Systems.	CoRR	2021	DBLP BibTeX RDF
17	Ruochen Tai, Liyong Lin, Yuting Zhu, Rong Su 0001	Privacy-Preserving Supervisory Control of Discrete-Event Systems via Co-Synthesis of Edit Function and Supervisor for Opacity Enforcement and Requirement Satisfaction.	CoRR	2021	DBLP BibTeX RDF
17	Dan You, Shouguang Wang, Carla Seatzu	Generalized Current-State Opacity With Dynamically Changing Secrets.	CoRR	2021	DBLP BibTeX RDF
17	Jirí Balun, Tomás Masopust	Comparing the Notions of Opacity for Discete-Event Systems.	CoRR	2021	DBLP BibTeX RDF
17	Sasinee Pruekprasert, Kai Cai	Local Opacity Verification for Distributed Discrete Event Systems.	CoRR	2021	DBLP BibTeX RDF
17	Haimin Luo, Anpei Chen, Qixuan Zhang, Bai Pang, Minye Wu, Lan Xu, Jingyi Yu	Convolutional Neural Opacity Radiance Fields.	CoRR	2021	DBLP BibTeX RDF