Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 81, pp. 104486, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 79(Part), pp. 104159, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Biomed. Health Informatics ![In: IEEE J. Biomed. Health Informatics 27(6), pp. 2782-2793, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Chunyan Mu, David Clark 0001 |
Verifying Opacity Properties in Security Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(2), pp. 1450-1460, March - April 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (7) ![In: Engineering Psychology and Cognitive Ergonomics - 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I, pp. 371-382, 2023, Springer, 978-3-031-35391-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REW ![In: 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023, pp. 337-342, 2023, IEEE, 979-8-3503-2691-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 7862-7867, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Chongyang Shi, Abhishek Ninad Kulkarni, Hazhar Rahmani, Jie Fu |
Synthesis of Opacity-Enforcing Winning Strategies Against Colluded Opponent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 7240-7246, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani 0001 |
A Data-Driven Approach to Approximate Opacity Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 5085-5090, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Junyao Hou, Siyuan Liu, Xiang Yin 0003, Majid Zamani 0001 |
Abstraction-Based Synthesis of Controllers for Approximate Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 7930-7936, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France, pp. 16:1-16:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-292-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 31st ACM International Conference on Multimedia, MM 2023, Ottawa, ON, Canada, 29 October 2023- 3 November 2023, pp. 9299-9305, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 9th International Conference on Control, Decision and Information Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023, pp. 1990-1995, 2023, IEEE, 979-8-3503-1140-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Tianyu Liu, Carla Seatzu, Alessandro Giua |
Verification of Current State Opacity using Switching Output Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 9th International Conference on Control, Decision and Information Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023, pp. 2665-2670, 2023, IEEE, 979-8-3503-1140-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings, pp. 45-59, 2023, Springer, 978-3-031-49736-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: IEEE International Conference on Networking, Sensing and Control, ICNSC 2023, Marseille, France, October 25-27, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-6950-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Mattia Petrolo, Ekaterina Kubyshkina, Giuseppe Primiero |
A Logical Approach to Algorithmic Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEWARE@AI*IA ![In: Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AI*IA 2023), Rome, Italy, November 6, 2023., pp. 89-95, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
17 | Étienne André, Engel Lefaucheux, Dylan Marinho |
Expiring opacity problems in parametric timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023, pp. 89-98, 2023, IEEE, 979-8-3503-4004-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen König |
On the membership and correctness problem for state serializability and value opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
17 | Bengt Lennartson, Mona Noori Hosseini, Christoforos N. Hadjicostis |
State-Labeled Safety Analysis of Modular Observers for Opacity Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 2936-2941, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 2683-2688, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Masashi Mizoguchi, Toshimitsu Ushio |
Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 2222-2227, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 890-895, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 32(4), pp. 611-640, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 32(2), pp. 253-289, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Dong Li 0009, Li Yin, Jianzhou Wang, Naiqi Wu |
Game current-state opacity formulation in probabilistic resource automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 613, pp. 96-113, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Image Process. ![In: IET Image Process. 16(9), pp. 2432-2445, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Luiza Prado de Oliveira Martins |
Boundary/border: on the generativity of opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interactions ![In: Interactions 29(5), pp. 83-85, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Konrad Siek, Pawel T. Wojciechowski |
Last-use opacity: a strong safety property for transactional memory with prerelease support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 35(3), pp. 265-301, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Philip W. Rosenkranz |
Rapid Calculation of Microwave Opacity and Transmittance for Water-Vapor Atmospheric-Sounding Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 60, pp. 1-4, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yifan Xie, Xiang Yin 0003, Shaoyuan Li |
Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(12), pp. 6567-6582, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(10), pp. 5289-5303, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 140, pp. 110221, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Junyao Hou, Xiang Yin 0003, Shaoyuan Li |
A framework for current-state opacity under dynamic information release mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 140, pp. 110238, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 145, pp. 110528, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Liwei An, Guang-Hong Yang |
Enhancement of opacity for distributed state estimation in cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 136, pp. 110087, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 52(12), pp. 7628-7641, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Florian J. Boge |
Two Dimensions of Opacity and the Deep Learning Predicament. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 32(1), pp. 43-75, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Étienne André, Didier Lime, Dylan Marinho, Jun Sun 0001 |
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.05438, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Varkey M. John, Vaibhav Katewa |
On Connections between Opacity and Security in Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.06074, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Chunyan Mu, David Clark 0001 |
Quantitative Verification of Opacity Properties in Security Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.14317, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Jirí Balun, Tomás Masopust |
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.01286, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Eamon Duede |
Deep Learning Opacity in Scientific Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.00520, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho |
strategFTO: Untimed control for timed opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.14233, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoguang Han 0001, Kuize Zhang, Zhiwu Li 0001 |
Verification of Strong K-Step Opacity for Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.04698, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Bram Vaassen |
AI, Opacity, and Personal Autonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.08995, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.00853, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.17051, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.04098, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
Modularising Verification Of Durable Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Étienne André, Didier Lime, Dylan Marinho, Jun Sun 0001 |
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 31(4), pp. 64:1-64:36, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Weilin Deng, Daowen Qiu, Jingkai Yang |
Fuzzy Infinite-Step Opacity Measure of Discrete Event Systems and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 30(3), pp. 885-892, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Isabella Mastroeni, Michele Pasqua |
Verifying opacity by abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, pp. 1817-1826, 2022, ACM, 978-1-4503-8713-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho |
strategFTO: Untimed Control for Timed Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022, pp. 27-33, 2022, ACM, 978-1-4503-9907-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSCA ![In: ICSCA 2022: 11th International Conference on Software and Computer Applications, Melaka, Malaysia, February 24 - 26, 2022, pp. 78-82, 2022, ACM, 978-1-4503-8577-0. The full citation details ...](Pics/full.jpeg) |
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*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022, pp. 3734-3739, 2022, IEEE, 978-1-6654-5196-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 15-23, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani 0001 |
Verification of approximate infinite-step opacity using barrier certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2022, London, United Kingdom, July 12-15, 2022, pp. 175-180, 2022, IEEE, 978-3-9071-4407-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2022, Glasgow, Scotland, United Kingdom, July 11-15, 2022, pp. 1581-1584, 2022, IEEE, 978-1-7281-2782-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoguang Han 0002, Kuize Zhang, Zhiwu Li 0001 |
Verification of Strong K-Step Opacity for Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022, pp. 4250-4255, 2022, IEEE, 978-1-6654-6761-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Varkey M. John, Vaibhav Katewa |
Opacity and its Trade-offs with Security in Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022, pp. 5443-5449, 2022, IEEE, 978-1-6654-6761-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Bryony H. Schonewille, Richard Hugh Moulton, Karen Rudie |
Enforcing Degree of Opacity with Supervisory Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022, pp. 5450-5457, 2022, IEEE, 978-1-6654-6761-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 30th Mediterranean Conference on Control and Automation, MED 2022, Vouliagmeni, Greece, June 28 - July 1, 2022, pp. 994-999, 2022, IEEE, 978-1-6654-0673-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim (1) ![In: Methods and Applications for Modeling and Simulation of Complex Systems - 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part I, pp. 227-238, 2022, Springer, 978-981-19-9197-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Jirí Balun, Tomás Masopust |
On Transformations among Opacity Notions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: IEEE International Conference on Systems, Man, and Cybernetics, SMC 2022, Prague, Czech Republic, October 9-12, 2022, pp. 3012-3017, 2022, IEEE, 978-1-6654-5258-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Cooperative Information Systems - 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4-7, 2022, Proceedings, pp. 37-54, 2022, Springer, 978-3-031-17833-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Baris Demirbay, Duygu Bayram Kara |
Classification of opacity for polymer nanocomposite films via deep neural network (DNN) classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INISTA ![In: International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2022, Biarritz, France, August 8-12, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-9810-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022, pp. 1261-1266, 2022, IEEE, 978-1-6654-9607-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022, pp. 1397-1402, 2022, IEEE, 978-1-6654-9607-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA/BDCloud/SocialCom/SustainCom ![In: IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking, ISPA/BDCloud/SocialCom/SustainCom 2022, Melbourne, Australia, December 17-19, 2022, pp. 854-861, 2022, IEEE, 978-1-6654-6497-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Dong Li, Zhaoyang He, Zhaoyu Xiang, Sian Zhou |
Game min-max current-state opacity formulation in resource automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: IEEE International Conference on Networking, Sensing and Control, ICNSC 2022, Shanghai, China, December 15-18, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-7243-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Henry Fraser, Rhyle Simcock, Aaron J. Snoswell |
AI Opacity and Explainability in Tort Litigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAccT ![In: FAccT '22: 2022 ACM Conference on Fairness, Accountability, and Transparency, Seoul, Republic of Korea, June 21 - 24, 2022, pp. 185-196, 2022, ACM, 978-1-4503-9352-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Mattia Petrolo, Ekaterina Kubyshkina |
Reasoning About Algorithmic Opacity (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEWARE@AI*IA ![In: Proceedings of 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2022) co-located with the 21th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2022), Udine, Italy, December 2, 2022., pp. 39-45, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIES ![In: AIES '22: AAAI/ACM Conference on AI, Ethics, and Society, Oxford, United Kingdom, May 19 - 21, 2021, pp. 901, 2022, ACM, 978-1-4503-9247-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Sebastian Bordt, Ulrike von Luxburg |
A Bandit Model for Human-Machine Decision Making with Private Information and Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: International Conference on Artificial Intelligence and Statistics, AISTATS 2022, 28-30 March 2022, Virtual Event., pp. 7300-7319, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
17 | Siyuan Liu, Majid Zamani 0001 |
Verification of Approximate Opacity via Barrier Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 5(4), pp. 1369-1374, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Gaoqing Zhang |
Competition and Opacity in the Financial System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 67(3), pp. 1895-1913, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Ikhlass Ammar, Yamen El Touati, Moez Yeddes, John Mullins |
Bounded opacity for timed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 61, pp. 102926, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Jirí Balun, Tomás Masopust |
Comparing the notions of opacity for discrete-event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 31(4), pp. 553-582, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Jingkai Yang, Weilin Deng, Daowen Qiu, Cheng Jiang |
Opacity of networked discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 543, pp. 328-344, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Zhipeng Zhang, Shaolong Shu, Chengyi Xia |
Networked opacity for finite state machine with bounded communication delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 572, pp. 57-66, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Wen Zeng, Maciej Koutny |
Quantitative Analysis of Opacity in Cloud Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cloud Comput. ![In: IEEE Trans. Cloud Comput. 9(3), pp. 1210-1219, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Helen Smith |
Clinical AI: opacity, accountability, responsibility and liability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 36(2), pp. 535-545, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Medical Imaging Graph. ![In: Comput. Medical Imaging Graph. 88, pp. 101814, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Circuits Syst. Signal Process. ![In: Circuits Syst. Signal Process. 40(1), pp. 70-87, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Trends Syst. Control. ![In: Found. Trends Syst. Control. 8(4), pp. 285-443, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 66(12), pp. 5802-5815, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Christoforos Keroglou, Stéphane Lafortune |
Embedded Insertion Functions for Opacity Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 66(9), pp. 4184-4191, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Majid Zamani 0001, Siyuan Liu |
On Approximate Opacity of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 66(4), pp. 1630-1645, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 133, pp. 109838, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 127, pp. 109490, 2021. The full citation details ...](Pics/full.jpeg) |
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]". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 124, pp. 109273, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Raphael Julio Barcelos, João Carlos Basilio |
Enforcing current-state opacity through shuffle and deletions of event observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 133, pp. 109836, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Siyuan Liu, Majid Zamani 0001 |
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 131, pp. 109745, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Siyuan Liu, Abdalla Swikir, Majid Zamani 0001 |
Compositional Verification of Initial-State Opacity for Switched Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.12024, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.04299, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Dan You, Shouguang Wang, Carla Seatzu |
Generalized Current-State Opacity With Dynamically Changing Secrets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.00234, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Jirí Balun, Tomás Masopust |
Comparing the Notions of Opacity for Discete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.02889, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Sasinee Pruekprasert, Kai Cai |
Local Opacity Verification for Distributed Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.10416, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Haimin Luo, Anpei Chen, Qixuan Zhang, Bai Pang, Minye Wu, Lan Xu, Jingyi Yu |
Convolutional Neural Opacity Radiance Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.01772, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|