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. |
CoRR |
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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Jirí Balun, Tomás Masopust |
K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations. |
CoRR |
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. |
CoRR |
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. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Siyuan Liu, Majid Zamani 0001 |
Verification of Approximate Opacity via Barrier Certificates. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Lane A. Hemaspaandra, David E. Narváez |
Existence versus exploitation: the opacity of backdoors and backbones. |
Prog. Artif. Intell. |
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. |
Int. J. Comput. Assist. Radiol. Surg. |
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. |
Trans. Inst. Meas. Control |
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. |
IEEE Trans. Control. Netw. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Weilin Deng, Daowen Qiu, Jingkai Yang |
Opacity Measures of Fuzzy Discrete Event Systems. |
IEEE Trans. Fuzzy Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Lane A. Hemaspaandra, David E. Narváez |
The opacity of backbones. |
Inf. Comput. |
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. |
Medical Imaging: Computer-Aided Diagnosis |
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. |
Medical Imaging: Computer-Aided Diagnosis |
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. |
ICBBE |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Kuize Zhang |
State-Based Opacity of Real-Time Automata. |
AUTOMATA |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sk Subidh Ali, Yogendra Sao, Santosh Biswas |
Opacity preserving Countermeasure using Finite State Machines against Differential Scan Attacks. |
ETS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Siyuan Liu, Majid Zamani 0001 |
Verification of Approximate Opacity via Barrier Certificates. |
ACC |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Sasinee Pruekprasert, Kai Cai |
Local Opacity Verification for Distributed Discrete Event Systems. |
CDC |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay |
Enforcement of K-Step Opacity with Edit Functions. |
CDC |
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. |
CDC |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Damas P. Gruska, M. Carmen Ruiz |
Process Opacity and Insertion Functions. |
CS&P |
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. |
ICIS |
2021 |
DBLP BibTeX RDF |
|
17 | Haimin Luo, Anpei Chen, Qixuan Zhang, Bai Pang, Minye Wu, Lan Xu, Jingyi Yu |
Convolutional Neural Opacity Radiance Fields. |
ICCP |
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. |
KES |
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. |
IGARSS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Nour Elhouda Souid, Kais Klai |
A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems. |
ICICS (2) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Agiollo, Giovanni Ciatto, Andrea Omicini |
Shallow2Deep: Restraining Neural Networks Opacity Through Neural Architecture Search. |
EXTRAAMAS@AAMAS |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Ye Guo, Xiaoning Jiang, Chen Guo, Shouguang Wang, Oussama Karoui |
Overview of Opacity in Discrete Event Systems. |
IEEE Access |
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. |
IEEE Trans. Autom. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Liwei An, Guang-Hong Yang |
Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems. |
IEEE Trans. Autom. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Shaoyuan Li |
Synthesis of Dynamic Masks for Infinite-Step Opacity. |
IEEE Trans. Autom. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus |
Notions of Centralized and Decentralized Opacity in Linear Systems. |
IEEE Trans. Autom. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Sahar Mohajerani, Stéphane Lafortune |
Transforming Opacity Verification to Nonblocking Verification in Modular Systems. |
IEEE Trans. Autom. Control. |
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]. |
Autom. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ikram Saadaoui, Zhiwu Li 0001, Naiqi Wu |
Current-state opacity modelling and verification in partially observed Petri nets. |
Autom. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Irene Baeza Rojo, Markus H. Gross, Tobias Günther |
Fourier Opacity Optimization for Scalable Exploration. |
IEEE Trans. Vis. Comput. Graph. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Holger Grün, Carsten Benthin, Sven Woop |
Sub-triangle opacity masks for faster ray tracing of transparent objects. |
Proc. ACM Comput. Graph. Interact. Tech. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Shuo Yang 0007, Xiang Yin 0003 |
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Yaoyi Li, Qingyao Xu, Hongtao Lu |
Hierarchical Opacity Propagation for Image Matting. |
CoRR |
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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Yifan Xie, Xiang Yin 0003, Shaoyuan Li |
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
Modularising Verification Of Durable Opacity. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Alireza Partovi, Taeho Jung, Hai Lin 0002 |
Opacity of Discrete Event Systems with Active Intruder. |
CoRR |
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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Junyao Hou, Xiang Yin 0003, Shaoyuan Li |
A Framework for Current-State Opacity under Dynamic Information Release Mechanism. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | James Wright |
Suspect AI: Vibraimage, Emotion Recognition Technology, and Algorithmic Opacity. |
CoRR |
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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Siyuan Liu, Majid Zamani 0001 |
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Siyuan Liu, Abdalla Swikir, Majid Zamani 0001 |
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li 0001 |
Extended Insertion Functions for Opacity Enforcement. |
CoRR |
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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
17 | Cen Wang, Minye Wu, Ziyu Wang, Liao Wang, Hao Sheng 0001, Jingyi Yu |
Neural Opacity Point Cloud. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Rongjian Liu, Liujuan Mei, Jianquan Lu |
K-memory-embedded insertion mechanism for opacity enforcement. |
Syst. Control. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Yifan Xie, Xiang Yin |
Note that each information-Supervisory Control of Discrete-Event Systems for Infinite-Step Opacity. |
ACC |
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. |
ACC |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Siyuan Liu, Abdalla Swikir, Majid Zamani 0001 |
Compositional Verification of Initial-State Opacity for Switched Systems. |
CDC |
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. |
IEEE VIS (Short Papers) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Mahmoud Zeidan, Tobias Rapp, Christoph Peters 0002, Carsten Dachsbacher |
Moment-Based Opacity Optimization. |
EGPGV@Eurographics/EuroVis |
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. |
FORTE |
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. |
Int. J. Softw. Innov. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Roberta Gori, Damas P. Gruska, Paolo Milazzo |
Studying Opacity of Reaction Systems through Formula Based Predictors. |
Fundam. Informaticae |
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. |
Comput. Electron. Agric. |
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. |
Int. J. Control |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yiding Ji, Xiang Yin 0003, Stéphane Lafortune |
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions. |
IEEE Trans. Autom. Control. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Kuize Zhang, Xiang Yin 0003, Majid Zamani 0001 |
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. |
IEEE Trans. Autom. Control. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Tomás Masopust, Xiang Yin 0003 |
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems. |
Autom. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yiding Ji, Xiang Yin 0003, Stéphane Lafortune |
Enforcing opacity by insertion functions under multiple energy constraints. |
Autom. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Tudor B. Ionescu |
Simulation, Epistemic Opacity, and 'Envirotechnical Ignorance' in Nuclear Crisis. |
Minds Mach. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jirí Balun, Tomás Masopust |
On Opacity Verification for Discrete-Event Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Étienne André, Jun Sun 0001 |
Parametric Timed Model Checking for Guaranteeing Timed Opacity. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus |
Notions of Centralized and Decentralized Opacity in Linear Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Juan M. Durán, Nico Formanek |
Grounds for trust: Essential Epistemic Opacity and Computational Reliabilism. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Sahar Mohajerani, Stéphane Lafortune |
Transforming opacity verification to nonblocking verification in modular systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Hao Lan, Yin Tong, Jin Guo, Carla Seatzu |
Verification of infinite-step and K-step opacity Using Petri Nets. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | Xiang Yin 0003, Majid Zamani 0001 |
On Approximate Opacity of Cyber-Physical Systems. |
CoRR |
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. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
17 | George Berry, Christopher J. Cameron, Patrick Park, Michael Macy |
The opacity problem in social contagion. |
Soc. Networks |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Behnam Behinaein, Feng Lin 0001, Karen Rudie |
Optimal Information Release for Mixed Opacity in Discrete-Event Systems. |
IEEE Trans Autom. Sci. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Davit Gigilashvili, Fereshteh Mirjalili, Jon Yngve Hardeberg |
Illuminance Impacts Opacity Perception of Textile Materials. |
CIC |
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. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Dimitri Lefebvre, Christoforos N. Hadjicostis |
Exposure Time as a Measure of Opacity in Timed Discrete Event Systems. |
ECC |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Étienne André, Jun Sun 0001 |
Parametric Timed Model Checking for Guaranteeing Timed Opacity. |
ATVA |
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. |
ISCID (2) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yin Tong, Hao Lan |
Current-State Opacity Verification in Modular Discrete Event Systems. |
CDC |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Shaoyuan Li |
Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks. |
CDC |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jingkai Yang, Weilin Deng, Cheng Jiang, Daowen Qiu |
Opacity of Networked Discrete Event Systems. |
CDC |
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. |
CDC |
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. |
SIGMOD Conference |
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. |
GlobalSIP |
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. |
CHI |
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. |
SMC |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Dimitri Lefebvre, Christoforos N. Hadjicostis |
Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems. |
SMC |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Majid Zamani 0001 |
Towards approximate opacity of cyber-physical system: WIP abstract. |
ICCPS |
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. |
SIGGRAPH Emerging Technologies |
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. |
SOFSEM |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Yucheng Fang, Huibiao Zhu, Jiaqi Yin |
Verifying Opacity of a Modified PSTM. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane |
Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach. |
ICECCS |
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). |
|
2019 |
RDF |
|