Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Yifan Xie, Xiang Yin 0003, Shaoyuan Li |
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.01402, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP 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) |
CoRR ![In: CoRR abs/2110.04334, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Jirí Balun, Tomás Masopust |
K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.02158, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP 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) |
CoRR ![In: CoRR abs/2103.10501, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Xiaoguang Han 0001, Kuize Zhang, Jiahui Zhang, Zhiwu Li 0001, Zengqiang Chen 0001 |
Strong current-state and initial-state opacity of discrete-event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.05475, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Siyuan Liu, Majid Zamani 0001 |
Verification of Approximate Opacity via Barrier Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.10993, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Lane A. Hemaspaandra, David E. Narváez |
Existence versus exploitation: the opacity of backdoors and backbones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prog. Artif. Intell. ![In: Prog. Artif. Intell. 10(3), pp. 297-308, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Shingo Mabu, Masashi Miyake, Takashi Kuremoto, Shoji Kido |
Semi-supervised CycleGAN for domain transformation of chest CT images and its application to opacity classification of diffuse lung diseases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 16(11), pp. 1925-1935, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Qian Xu, Zhipeng Zhang, Yongyi Yan, Chengyi Xia |
Security and privacy with K-step opacity for finite automata via a novel algebraic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Inst. Meas. Control ![In: Trans. Inst. Meas. Control 43(16), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Shuo Yang 0007, Junyao Hou, Xiang Yin 0003, Shaoyuan Li |
Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 8(2), pp. 884-896, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Weilin Deng, Daowen Qiu, Jingkai Yang |
Opacity Measures of Fuzzy Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 29(9), pp. 2612-2622, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Lane A. Hemaspaandra, David E. Narváez |
The opacity of backbones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 281, pp. 104772, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Yiting Xie, Deepta Rajan, Larissa C. Schudlo, Yusuke Takeuchi, Benedikt Graf, Adam Coy, Mohammadreza Negahdar, Vandana V. Mukherjee, David Beymer, Arun Krishnan |
Automatic localization of lung opacity in chest CT images: a real-world study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Computer-Aided Diagnosis ![In: Medical Imaging 2021: Computer-Aided Diagnosis, Online, February 15-20, 2021, 2021, SPIE, 9781510640238. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Nimrod Sagie, Shiri Almog, Ayelet Talby, Hayit Greenspan |
COVID-19 opacity segmentation in chest CT via HydraNet: a joint learning multi-decoder network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Computer-Aided Diagnosis ![In: Medical Imaging 2021: Computer-Aided Diagnosis, Online, February 15-20, 2021, 2021, SPIE, 9781510640238. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Yuichiro Koizumi, Tohru Kamiya, Takatoshi Aoki, Shoji Kido |
Detection of Abnormal Opacity on Chest CT Images Using A 3D-CNN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBBE ![In: ICBBE 2021: 8th International Conference on Biomedical and Bioinformatics Engineering, Kyoto, Japan, November 12 - 15, 2021, pp. 26-29, 2021, ACM, 978-1-4503-8507-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Kuize Zhang |
State-Based Opacity of Real-Time Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AUTOMATA ![In: 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2021, July 12-14, 2021, Aix-Marseille University, France., pp. 12:1-12:15, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-189-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sk Subidh Ali, Yogendra Sao, Santosh Biswas |
Opacity preserving Countermeasure using Finite State Machines against Differential Scan Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: 26th IEEE European Test Symposium, ETS 2021, Bruges, Belgium, May 24-28, 2021, pp. 1-2, 2021, IEEE, 978-1-6654-1849-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Siyuan Liu, Majid Zamani 0001 |
Verification of Approximate Opacity via Barrier Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021, pp. 764-769, 2021, IEEE, 978-1-6654-4197-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sasinee Pruekprasert, Kai Cai |
Local Opacity Verification for Distributed Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 7022-7027, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay |
Enforcement of K-Step Opacity with Edit Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 331-338, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Jaime A. Dulce-Galindo, Lucas V. R. Alves, Guilherme V. Raffo, Patrícia N. Pena |
Enforcing State-Based Opacity using Synchronizing Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 7009-7014, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Damas P. Gruska, M. Carmen Ruiz |
Process Opacity and Insertion Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021., pp. 83-92, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
17 | Michael Pregenzer, Florian Wieser, Renata Santiago Walser, Ulrich Remus |
Obscure Oversight: Opacity Drives Sensemaking and Resistance Behavior in Algorithmic Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 42nd International Conference on Information Systems, ICIS 2021, Building Sustainability and Resilience with IS: A Call for Action, Austin, TX, USA, December 12-15, 2021, 2021, Association for Information Systems, 978-1-7336325-9-1. 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) |
ICCP ![In: IEEE International Conference on Computational Photography, ICCP 2021, Haifa, Israel, May 23-25, 2021, pp. 1-12, 2021, IEEE, 978-1-6654-1952-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Pawel Stacewicz, Hajo Greif |
Concepts as decision functions. The issue of epistemic opacity of conceptual representations in artificial computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, Virtual Event / Szczecin, Poland, 8-10 September 2021., pp. 4120-4127, 2021, Elsevier. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Qingyun Yan, Shuanggen Jin, Weimin Huang 0001, Yan Jia 0004 |
Stand-Alone Retrievals of Soil Moisture and Vegetation Opacity Using the CyGNSS Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2021, Brussels, Belgium, July 11-16, 2021, pp. 6980-6983, 2021, IEEE, 978-1-6654-0369-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Nour Elhouda Souid, Kais Klai |
A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS (2) ![In: Information and Communications Security - 23rd International Conference, ICICS 2021, Chongqing, China, November 19-21, 2021, Proceedings, Part II, pp. 210-227, 2021, Springer, 978-3-030-88051-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Agiollo, Giovanni Ciatto, Andrea Omicini |
Shallow2Deep: Restraining Neural Networks Opacity Through Neural Architecture Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXTRAAMAS@AAMAS ![In: Explainable and Transparent AI and Multi-Agent Systems - Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers, pp. 63-82, 2021, Springer, 978-3-030-82016-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Ye Guo, Xiaoning Jiang, Chen Guo, Shouguang Wang, Oussama Karoui |
Overview of Opacity in Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 48731-48741, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Sahar Mohajerani, Yiding Ji, Stéphane Lafortune |
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 65(8), pp. 3349-3364, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Liwei An, Guang-Hong Yang |
Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 65(3), pp. 1234-1241, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Shaoyuan Li |
Synthesis of Dynamic Masks for Infinite-Step Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 65(4), pp. 1429-1441, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus |
Notions of Centralized and Decentralized Opacity in Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 65(4), pp. 1442-1455, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Sahar Mohajerani, Stéphane Lafortune |
Transforming Opacity Verification to Nonblocking Verification in Modular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 65(4), pp. 1739-1746, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Hao Lan, Yin Tong, Jin Guo, Alessandro Giua |
Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 122, pp. 109290, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ikram Saadaoui, Zhiwu Li 0001, Naiqi Wu |
Current-state opacity modelling and verification in partially observed Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 116, pp. 108907, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Irene Baeza Rojo, Markus H. Gross, Tobias Günther |
Fourier Opacity Optimization for Scalable Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 26(11), pp. 3204-3216, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Holger Grün, Carsten Benthin, Sven Woop |
Sub-triangle opacity masks for faster ray tracing of transparent objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Comput. Graph. Interact. Tech. ![In: Proc. ACM Comput. Graph. Interact. Tech. 3(2), pp. 18:1-18:12, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Shuo Yang 0007, Xiang Yin 0003 |
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.14120, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Yaoyi Li, Qingyao Xu, Hongtao Lu |
Hierarchical Opacity Propagation for Image Matting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.03249, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Alexander Wong, Zhong Qiu Lin, Linda Wang, Audrey G. Chung, Beiyi Shen, Almas Abbasi, Mahsa Hoshmand-Kochi, Timothy Q. Duong |
Towards computer-aided severity assessment: training and validation of deep neural networks for geographic extent and opacity extent scoring of chest X-rays for SARS-CoV-2 lung disease severity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.12855, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Yifan Xie, Xiang Yin 0003, Shaoyuan Li |
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.10149, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP 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) |
CoRR ![In: CoRR abs/2011.15013, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Alireza Partovi, Taeho Jung, Hai Lin 0002 |
Opacity of Discrete Event Systems with Active Intruder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.14960, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Jan N. Hombeck, Li Ji, Kai Lawonn, Charles Perin |
A Study of Opacity Ranges for Transparent Overlays in 3D Landscapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.00931, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP 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) |
CoRR ![In: CoRR abs/2012.04874, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | James Wright |
Suspect AI: Vibraimage, Emotion Recognition Technology, and Algorithmic Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.00502, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Anders T. Gjerdrum, Dan Alistarh, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro 0001 |
Fast General Distributed Transactions with Opacity using Global Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.14346, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Siyuan Liu, Majid Zamani 0001 |
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.00131, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Siyuan Liu, Abdalla Swikir, Majid Zamani 0001 |
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.16661, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li 0001 |
Extended Insertion Functions for Opacity Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.04268, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.08200, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Cen Wang, Minye Wu, Ziyu Wang, Liao Wang, Hao Sheng 0001, Jingyi Yu |
Neural Opacity Point Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 42(7), pp. 1570-1581, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Alin Khaliduzzaman, Ayuko Kashimori, Tetsuhito Suzuki, Yuichi Ogawa, Naoshi Kondo |
Chick Embryo Growth Modeling Using Near-Infrared Sensor and Non-Linear Least Square Fitting of Egg Opacity Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(20), pp. 5888, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Rongjian Liu, Liujuan Mei, Jianquan Lu |
K-memory-embedded insertion mechanism for opacity enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 145, pp. 104785, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Yifan Xie, Xiang Yin |
Note that each information-Supervisory Control of Discrete-Event Systems for Infinite-Step Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 3665-3671, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Siyuan Liu, Xiang Yin 0003, Majid Zamani 0001 |
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 5413-5418, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
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) |
CDC ![In: 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, pp. 2146-2151, 2020, IEEE, 978-1-7281-7447-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Jan N. Hombeck, Li Ji, Kai Lawonn, Charles Perin |
A Study of Opacity Ranges for Transparent Overlays in 3D Landscapes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE VIS (Short Papers) ![In: 31st IEEE Visualization Conference, IEEE VIS 2020 - Short Papers, Virtual Event, USA, October 25-30, 2020, pp. 66-70, 2020, IEEE, 978-1-7281-8014-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Mahmoud Zeidan, Tobias Rapp, Christoph Peters 0002, Carsten Dachsbacher |
Moment-Based Opacity Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGPGV@Eurographics/EuroVis ![In: 20th Eurographics Symposium on Parallel Graphics and Visualization, EGPGV@Eurographics/EuroVis 2020, Norrköping, Sweden, May 25, 2020 [online only], pp. 25-33, 2020, Eurographics Association, 978-3-03868-107-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, pp. 39-58, 2020, Springer, 978-3-030-50085-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Weiwei Du, Dandan Yuan, Jianming Wang, Xiaojie Duan, Yanhe Ma, Hong Zhang |
Label Propagation Algorithm for the Slices Detection of a Ground-Glass Opacity Nodule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Innov. ![In: Int. J. Softw. Innov. 7(1), pp. 104-118, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Roberta Gori, Damas P. Gruska, Paolo Milazzo |
Studying Opacity of Reaction Systems through Formula Based Predictors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 165(3-4), pp. 303-319, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Alin Khaliduzzaman, Shinichi Fujitani, Ayuko Kashimori, Tetsuhito Suzuki, Yuichi Ogawa, Naoshi Kondo |
Non-invasive broiler chick embryo sexing based on opacity value of incubated eggs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 158, pp. 30-35, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Rui Zhao 0026, Fuchun Liu, Jianxin Tan |
Relative predictability of failure event occurrences and its opacity-based test algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 92(7), pp. 1600-1608, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yiding Ji, Xiang Yin 0003, Stéphane Lafortune |
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 64(10), pp. 4369-4376, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Kuize Zhang, Xiang Yin 0003, Majid Zamani 0001 |
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 64(12), pp. 5116-5123, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Tomás Masopust, Xiang Yin 0003 |
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 101, pp. 290-295, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yiding Ji, Xiang Yin 0003, Stéphane Lafortune |
Enforcing opacity by insertion functions under multiple energy constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 108, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Tudor B. Ionescu |
Simulation, Epistemic Opacity, and 'Envirotechnical Ignorance' in Nuclear Crisis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 29(1), pp. 61-86, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jirí Balun, Tomás Masopust |
On Opacity Verification for Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.07314, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Étienne André, Jun Sun 0001 |
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.00537, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus |
Notions of Centralized and Decentralized Opacity in Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.06869, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Juan M. Durán, Nico Formanek |
Grounds for trust: Essential Epistemic Opacity and Computational Reliabilism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.01052, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Sahar Mohajerani, Stéphane Lafortune |
Transforming opacity verification to nonblocking verification in modular systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.06242, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Hao Lan, Yin Tong, Jin Guo, Carla Seatzu |
Verification of infinite-step and K-step opacity Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.05138, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Xiang Yin 0003, Majid Zamani 0001 |
On Approximate Opacity of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.09411, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Sahar Mohajerani, Yiding Ji, Stéphane Lafortune |
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.00417, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | George Berry, Christopher J. Cameron, Patrick Park, Michael Macy |
The opacity problem in social contagion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Networks ![In: Soc. Networks 56, pp. 93-101, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Behnam Behinaein, Feng Lin 0001, Karen Rudie |
Optimal Information Release for Mixed Opacity in Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 16(4), pp. 1960-1970, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Davit Gigilashvili, Fereshteh Mirjalili, Jon Yngve Hardeberg |
Illuminance Impacts Opacity Perception of Textile Materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIC ![In: 27th Color and Imaging Conference, CIC 2019, Paris, France, October 21-25, 2019, pp. 126-131, 2019, Society for Imaging Science and Technology, 978-0-89208-343-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois |
A Graph Transformation System formalism for Software Transactional Memory Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 3-10, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Dimitri Lefebvre, Christoforos N. Hadjicostis |
Exposure Time as a Measure of Opacity in Timed Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 17th European Control Conference, ECC 2019, Naples, Italy, June 25-28, 2019, pp. 1740-1745, 2019, IEEE, 978-3-907144-00-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Étienne André, Jun Sun 0001 |
Parametric Timed Model Checking for Guaranteeing Timed Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, pp. 115-130, 2019, Springer, 978-3-030-31783-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Xiangxia Li, Fang Liu 0030 |
Random Walks with GMM Statistical Inference Algorithm for Segmentation of Ground Glass Opacity Pulmonary Nodules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCID (2) ![In: 12th International Symposium on Computational Intelligence and Design, ISCID 2019, Hangzhou, China, December 14-15, 2019, Volume 2, pp. 225-228, 2019, IEEE, 978-1-7281-4653-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yin Tong, Hao Lan |
Current-State Opacity Verification in Modular Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019, pp. 7665-7670, 2019, IEEE, 978-1-7281-1398-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Shaoyuan Li |
Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019, pp. 7641-7646, 2019, IEEE, 978-1-7281-1398-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jingkai Yang, Weilin Deng, Cheng Jiang, Daowen Qiu |
Opacity of Networked Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019, pp. 6736-6741, 2019, IEEE, 978-1-7281-1398-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Junyao Hou, Xiang Yin 0003, Shaoyuan Li, Majid Zamani 0001 |
Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019, pp. 7653-7658, 2019, IEEE, 978-1-7281-1398-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro 0001 |
Fast General Distributed Transactions with Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2019 International Conference on Management of Data, SIGMOD Conference 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019., pp. 433-448, 2019, ACM, 978-1-4503-5643-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | François A. Marshall, David J. Thomson, Glen Takahara, Robyn A. Fiori |
A Multitaper Model for Quiet Voltage in Relative Ionospheric Opacity Meters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GlobalSIP ![In: 2019 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2019, Ottawa, ON, Canada, November 11-14, 2019, pp. 1-5, 2019, IEEE, 978-1-7281-2723-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Motahhare Eslami, Kristen Vaccaro, Min Kyung Lee, Amit Elazari Bar On, Eric Gilbert, Karrie Karahalios |
User Attitudes towards Algorithmic Opacity and Transparency in Online Reviewing Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019, pp. 494, 2019, ACM, 978-1-4503-5970-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Riccardo Colelli, Chiara Foglietta, Stefano Panzieri, Federica Pascucci |
An opacity approach for security exposure of IoT components in critical infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019, pp. 427-432, 2019, IEEE, 978-1-7281-4569-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Dimitri Lefebvre, Christoforos N. Hadjicostis |
Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019, pp. 1819-1824, 2019, IEEE, 978-1-7281-4569-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Majid Zamani 0001 |
Towards approximate opacity of cyber-physical system: WIP abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019, pp. 310-311, 2019, ACM, 978-1-4503-6285-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | T. J. Rhodes, Gavin Miller, Qi Sun, Daichi Ito, Li-Yi Wei |
A transparent display with per-pixel color and opacity control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Emerging Technologies ![In: Special Interest Group on Computer Graphics and Interactive Techniques Conference, SIGGRAPH 2019, Los Angeles, CA, USA, July 28 - August 1, 2019, Emerging Technologies, pp. 5:1-5:2, 2019, ACM, 978-1-4503-6308-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Lane A. Hemaspaandra, David E. Narváez |
Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings, pp. 247-259, 2019, Springer, 978-3-030-10800-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yucheng Fang, Huibiao Zhu, Jiaqi Yin |
Verifying Opacity of a Modified PSTM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019, pp. 232-239, 2019, IEEE, 978-1-7281-3342-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane |
Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019, pp. 242-247, 2019, IEEE, 978-1-7281-4646-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Aiwen Lai |
State Estimation and Verification of Detectability and Opacity in Weighted Automata. (Estimation d'état et vérification de la détectabilité et de l'opacité dans les automates pondérés). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|