Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | M. M. Sebatubun, C. Haryawan, B. Windarta |
Classification of ground glass opacity lesion characteristic based on texture feature using lung CT image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 30(2), pp. 203-215, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon |
The Complexity of Diagnosability and Opacity Verification for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 161(4), pp. 317-349, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Christoforos Keroglou, Christoforos N. Hadjicostis |
Probabilistic system opacity in discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 28(2), pp. 289-314, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yin Tong, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua |
Current-state opacity enforcement in discrete event systems under incomparable observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 28(2), pp. 161-182, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Christos G. Cassandras, Alessandro Giua |
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 28(2), pp. 159-160, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas |
Opacity for linear constraint Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 28(1), pp. 83-108, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Jaime A. Teixeira da Silva |
The opacity of the PubPeer Foundation: what PubPeer's "About" page tells us. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Online Inf. Rev. ![In: Online Inf. Rev. 42(2), pp. 282-287, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Lifeng Zhu, Weiwei Xia, Jia Liu, Aiguo Song |
Visualizing fuzzy sets using opacity-varying freeform diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Vis. ![In: Inf. Vis. 17(2), pp. 146-160, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Sarah T. Roberts |
Digital detritus: 'Error' and the logic of opacity in social media content moderation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
First Monday ![In: First Monday 23(3), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yiding Ji, Yi-Chin Wu, Stéphane Lafortune |
Enforcement of opacity by public and private insertion functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 93, pp. 369-378, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li 0001 |
On-line verification of current-state opacity by Petri nets and integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 94, pp. 205-213, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Lafortune, Feng Lin 0001, Christoforos N. Hadjicostis |
On the history of diagnosability and opacity in discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annu. Rev. Control. ![In: Annu. Rev. Control. 45, pp. 257-266, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Juan Manuel Durán, Nico Formanek |
-Grounds for Trust: Essential Epistemic Opacity and Computational Reliabilism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 28(4), pp. 645-666, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Lingtai Wang, Naijun Zhan, Jie An 0001 |
The Opacity of Real-Time Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11), pp. 2845-2856, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Mona Noori Hosseini, Bengt Lennartson, Christoforos N. Hadjicostis |
Incremental Observer Reduction Applied to Opacity Verification and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.08083, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Bo Wu 0005, Zhiyu Liu, Hai Lin 0002 |
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.04836, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Christina Boyce-Jacino, Simon DeDeo |
Opacity, Obscurity, and the Geometry of Question-Asking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.08291, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Bo Wu 0005, Jin Dai, Hai Lin 0002 |
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.05728, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP 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) |
CoRR ![In: CoRR abs/1802.03321, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Ismail Cantürk, Lale Özyilmaz |
A computational approach to estimate postmortem interval using opacity development of eye for human subjects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 98, pp. 93-99, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
Mechanized proofs of opacity: a comparison of two techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 30(5), pp. 597-625, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Helene Midtfjord, Phil J. Green, Peter Nussbaum |
A Model of Visual Opacity for Translucent Colorants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Material Appearance ![In: Material Appearance 2018, Burlingame, CA, USA, January 28 - February 1, 2018, pp. 1-6, 2018, Society for Imaging Science and Technology. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Shingo Mabu, Shoji Kido, Noriaki Hashimoto, Yasushi Hirano, Takashi Kuremoto |
Opacity annotation of diffuse lung diseases using deep convolutional neural network with multi-channel information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Computer-Aided Diagnosis ![In: Medical Imaging 2018: Computer-Aided Diagnosis, Houston, Texas, USA, 10-15 February 2018, pp. 1057534, 2018, SPIE. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Bo Wu 0005, Zhiyu Liu, Hai Lin 0002 |
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018, pp. 3032-3037, 2018, IEEE, 978-1-5386-5428-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Bo Wu 0005, Jin Dai, Hai Lin 0002 |
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018, pp. 3026-3031, 2018, IEEE, 978-1-5386-5428-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Lingtai Wang, Naijun Zhan |
Decidability of the Initial-State Opacity of Real-Time Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Real-Time and Hybrid Systems ![In: Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday, pp. 44-60, 2018, Springer, 978-3-030-01460-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Shaoyuan Li |
Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, pp. 4851-4856, 2018, IEEE, 978-1-5386-1395-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Sahar Mohajerani, Yiding Ji, Stéphane Lafortune |
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, pp. 4849-4854, 2018, IEEE, 978-1-5386-1395-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Damas P. Gruska, M. Carmen Ruiz |
Opacity-enforcing for Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Christoforos N. Hadjicostis |
Distributed Algorithms for Estimation and Inference in Discrete Event Systems: Implications to Diagnosability and Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018, pp. ii, 2018, IEEE, 978-1-5386-5065-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim |
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, pp. 105-120, 2018, Springer, 978-3-319-92969-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Francesco Sangiorgi, Chester Spatt |
Opacity, Credit Rating Shopping, and Bias. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manag. Sci. ![In: Manag. Sci. 63(12), pp. 4016-4036, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Gregor Jost, Jernej Huber, Marjan Hericko, Gregor Polancic |
Improving cognitive effectiveness of business process diagrams with opacity-driven graphical highlights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 103, pp. 58-69, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane, Yamen El Touati |
On the Verification of Opacity in Web Services and Their Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 10(1), pp. 66-79, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yin Tong, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua |
Verification of State-Based Opacity Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 62(6), pp. 2823-2837, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yin Tong, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua |
Decidability of opacity verification problems in labeled Petri net systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 80, pp. 48-53, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Stéphane Lafortune |
A new approach for the verification of infinite-step and K-step opacity using two-way observers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 80, pp. 162-171, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski |
Relaxing real-time order in opacity and linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 100, pp. 57-70, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Michael Veale |
Logics and practices of transparency and opacity in real-world applications of public sector machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.09249, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane |
Checking and Enforcing Security through Opacity in Healthcare Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.00011, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP 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) |
CoRR ![In: CoRR abs/1710.02877, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Aleksei Nazarov, Joe Pater |
Learning opacity in Stratal Maximum Entropy Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.02517, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Lane A. Hemaspaandra, David E. Narváez |
The Opacity of Backbones and Backdoors Under a Weak Assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.04582, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Wanjun Zhang, Huiqi Li |
Lens opacity detection for serious posterior subcapsular cataract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Biol. Eng. Comput. ![In: Medical Biol. Eng. Comput. 55(5), pp. 769-779, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Lu Li, Hu Peng, Xun Chen 0001, Juan Cheng, Dayong Gao |
Opacity specification based on visibility ratio and occlusion vector in direct volume rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 34, pp. 174-182, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ohjae Kwon, Jeongjin Lee, Bo Hyoung Kim, Juneseuk Shin, Yeong-Gil Shin |
Efficient blood flow visualization using flowline extraction and opacity modulation based on vascular structure analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 82, pp. 87-99, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Hanung Adi Nugroho, M. M. Sebatubun, Teguh Bharata Adji |
Ground glass opacity lesion morphology extraction in primary lung cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Medical Eng. Informatics ![In: Int. J. Medical Eng. Informatics 9(4), pp. 398-411, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Günther, Holger Theisel, Markus H. Gross |
Decoupled Opacity Optimization for Points, Lines and Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 36(2), pp. 153-162, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane |
Checking and Enforcing Security Through Opacity in Healthcare Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2017 Workshops - ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, Revised Selected Papers, pp. 161-173, 2017, Springer, 978-3-319-91763-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon |
The Complexity of Diagnosability and Opacity Verification for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings, pp. 200-220, 2017, Springer, 978-3-319-57860-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen König, Heike Wehrheim |
Value-Based or Conflict-Based? Opacity Definitions for STMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, pp. 118-135, 2017, Springer, 978-3-319-67728-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Zhaojian Li, Weilin Wang, Shaoyuan Li |
Infinite-step opacity of stochastic discrete-event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 11th Asian Control Conference, ASCC 2017, Gold Coast, Australia, December 17-20, 2017, pp. 102-107, 2017, IEEE, 978-1-5090-1573-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Christoforos Keroglou, Stéphane Lafortune |
Verification and synthesis of embedded insertion functions for opacity enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 4217-4223, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Kuize Zhang, Majid Zamani 0001 |
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 5615-5619, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yiding Ji, Stéphane Lafortune |
Enforcing opacity by publicly known edit functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 4866-4871, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus |
Opacity for switched linear systems: Notions and characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 5310-5315, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Lane A. Hemaspaandra, David E. Narváez |
The Opacity of Backbones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pp. 3900-3906, 2017, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Shiva Taslimipoor, Omid Rohanian, Ruslan Mitkov, Afsaneh Fazly |
Investigating the Opacity of Verb-Noun Multiword Expression Usages in Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWE@EACL ![In: Proceedings of the 13th Workshop on Multiword Expressions, MWE@EACL 2017, Valencia, Spain, April 4, 2017, pp. 133-138, 2017, Association for Computational Linguistics, 978-1-945626-48-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Dandan Yuan, Weiwei Du, Xiaojie Duan, Jianming Wang, Yanhe Ma, Hong Zhang |
Detection of slices including a ground-glass opacity nodule in CT volume data with semi-supervised learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2017, Kanazawa, Japan, June 26-28, 2017, pp. 557-561, 2017, IEEE Computer Society, 978-1-5090-5504-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Dandan Yuan, Weiwei Du, Jianming Wang, Xiaojie Duan, Yanhe Ma, Hong Zhang |
Development of an interface for detection of slices with ground-glass opacity nodule by using the nearest neighbor algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISP-BMEI ![In: 10th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2017, Shanghai, China, October 14-16, 2017, pp. 1-5, 2017, IEEE, 978-1-5386-1937-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
Proving Opacity via Linearizability: A Sound and Complete Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, pp. 50-66, 2017, Springer, 978-3-319-60224-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Alasdair Armstrong, Brijesh Dongol |
Modularising Opacity Verification for Hybrid Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, pp. 33-49, 2017, Springer, 978-3-319-60224-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Dara Entekhabi, Alexandra Georges Konings, Maria Piles, Narendra N. Das |
Smap-based retrieval of vegetation opacity and albedo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2017 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2017, Fort Worth, TX, USA, July 23-28, 2017, pp. 2554-2556, 2017, IEEE, 978-1-5090-4951-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane |
Measuring opacity in web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services, iiWAS 2017, Salzburg, Austria, December 4-6, 2017, pp. 530-534, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Amina Burouis, Nejib Ben Hadj-Alouane, Kais Klai |
Computing Quantified Opacity for SOG-Abstracted Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: 2017 IEEE International Conference on Services Computing, SCC 2017, Honolulu, HI, USA, June 25-30, 2017, pp. 362-369, 2017, IEEE Computer Society, 978-1-5386-2005-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Jenna Burrell |
How the machine 'thinks': Understanding opacity in machine learning algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Big Data Soc. ![In: Big Data Soc. 3(1), pp. 205395171562251, June 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Yi-Chin Wu, Stéphane Lafortune |
Synthesis of Optimal Insertion Functions for Opacity Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 61(3), pp. 571-584, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure |
Overview of discrete event systems opacity: Models, validation, and quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annu. Rev. Control. ![In: Annu. Rev. Control. 41, pp. 135-146, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Guo Zhou, Dengming Zhu, Yi Wei, Zhaoqi Wang, Yongquan Zhou |
Real-time online learning of Gaussian mixture model for opacity mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 211, pp. 212-220, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Lane A. Hemaspaandra, David E. Narváez |
The Opacity of Backbones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.03634, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
Reducing Opacity to Linearizability: A Sound and Complete Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.01004, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Mohamadou Lamine Diouf, Sophie Pinchinat |
Complexity of Opacity algorithm in data-centric workflow system [Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARIMA J. ![In: ARIMA J. 25, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Yin Tong, Ziyue Ma, ZhiWu Li 0001, Carla Seatzu, Alessandro Giua |
Verification of language-based opacity in Petri nets using verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016, pp. 757-763, 2016, IEEE, 978-1-4673-8682-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Yi-Chin Wu, Gil Lederman, Stéphane Lafortune |
Enhancing opacity of stochastic discrete event systems using insertion functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016, pp. 2053-2060, 2016, IEEE, 978-1-4673-8682-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus |
A framework for opacity in linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016, pp. 6337-6344, 2016, IEEE, 978-1-4673-8682-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Anshu S. Anand, R. K. Shyamasundar, Sathya Peri |
Opacity proof for CaPR+ algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Proceedings of the 17th International Conference on Distributed Computing and Networking, Singapore, January 4-7, 2016, pp. 16:1-16:4, 2016, ACM, 978-1-4503-4032-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Damas P. Gruska |
Process Environment Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016., pp. 209-220, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Sandeep Hans, Ahmed Hassan, Roberto Palmieri, Sebastiano Peluso, Binoy Ravindran |
Opacity vs TMS2: Expectations and Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing - 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings, pp. 269-283, 2016, Springer, 978-3-662-53425-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas |
Preserving opacity on Interval Markov Chains under simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, pp. 319-324, 2016, IEEE, 978-1-5090-4190-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Christoforos Keroglou, Christoforos N. Hadjicostis |
Probabilistic system opacity in discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, pp. 379-384, 2016, IEEE, 978-1-5090-4190-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Xiang Yin 0003, Stéphane Lafortune |
On two-way observer and its application to the verification of infinite-step and K-step opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, pp. 361-366, 2016, IEEE, 978-1-5090-4190-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Yin Tong, Ziyue Ma, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua |
Supervisory enforcement of current-state opacity with uncomparable observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, pp. 313-318, 2016, IEEE, 978-1-5090-4190-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Moez Yeddes |
Enforcing opacity with Orwellian observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, pp. 306-312, 2016, IEEE, 978-1-5090-4190-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus |
A framework for decentralized opacity in linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016, Monticello, IL, USA, September 27-30, 2016, pp. 274-280, 2016, IEEE, 978-1-5090-4550-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Proving Opacity of a Pessimistic STM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, pp. 35:1-35:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-031-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Alberto Alonso Arroyo, Jorge Querol, Adriano Camps, Raul Onrubia, Hyuk Park 0001, Daniel Pascual |
Can we measure vegetation water content and vegetation opacity at L-band with a single GPS receiver? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2016 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2016, Beijing, China, July 10-15, 2016, pp. 1985-1988, 2016, IEEE, 978-1-5090-3332-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Alejandro Rodríguez Aguilera, Alejandro León |
Spatial Opacity Maps for Direct Volume Rendering of Regions of Interest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEIG ![In: XXVI Spanish Computer Graphics Conference, CEIG 2016, Salamanca, Spain, September 13-16, 2016, pp. 23-30, 2016, Eurographics Association, 978-3-03868-023-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand |
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 25(1-2), pp. 271-294, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Yliès Falcone, Hervé Marchand |
Enforcement and validation (at runtime) of various notions of opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 25(4), pp. 531-570, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Darondeau, Hervé Marchand, S. Laurie Ricker |
Enforcing opacity of regular predicates on modal transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 25(1-2), pp. 251-270, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder |
Probabilistic opacity for Markov decision processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 115(1), pp. 52-59, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane |
Checking Opacity of Vulnerable Critical Systems On-The-Fly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Technol. Web Eng. ![In: Int. J. Inf. Technol. Web Eng. 10(1), pp. 1-30, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Béatrice Bérard, John Mullins, Mathieu Sassolas |
Quantifying opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(2), pp. 361-403, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Konrad Siek, Pawel T. Wojciechowski |
Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.06275, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas |
Probabilistic Opacity in Refinement-Based Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.04316, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Anshu S. Anand, R. K. Shyamasundar, Sathya Peri |
Opacity Proof for CaPR+ Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.06967, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Bo Zhang 0021, Shaolong Shu, Feng Lin 0001 |
Maximum Information Release While Ensuring Opacity in Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 12(3), pp. 1067-1079, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Damas P. Gruska |
Dynamics Security Policies and Process Opacity for Timed Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers, pp. 149-157, 2015, Springer, 978-3-319-41578-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Vitaly Petrov, Sergey Bezzateev, Vladimir Zybin |
Wireless authentication using OPACITY protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUMT ![In: 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, ICUMT 2015, Brno, Czech Republic, October 6-8, 2015, pp. 253-258, 2015, IEEE, 978-1-4673-9283-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Schoepe, Andrei Sabelfeld |
Understanding and Enforcing Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015, pp. 539-553, 2015, IEEE Computer Society, 978-1-4673-7538-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|