|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
167 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Permissiveness in Transactional Memories. |
DISC |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Hagit Attiya, Eshcar Hillel |
Brief announcement: single-version permissive STM. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
transactional memory, permissiveness |
30 | Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
Poster Abstract: Permissiveness for Strategy Adaptation. |
HSCC |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Yu Zhou 0040, Kris Hauser |
CPI: Conservativeness, Permissiveness and Intervention Metrics for Shared Control Evaluation. |
IEEE Robotics Autom. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
30 | William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan |
Quacky: Quantitative Access Control Permissiveness Analyzer✱. |
ASE |
2022 |
DBLP DOI BibTeX RDF |
|
30 | William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince, Tevfik Bultan |
Quantifying Permissiveness of Access Control Policies. |
ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Hefeng Chen, Naiqi Wu, ZhiWu Li 0001, Ting Qu |
Decision on Maximal Permissiveness of Linear Constraints via Structural Analysis of a Subclass of Petri Nets. |
IEEE Trans. Syst. Man Cybern. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Liang Li 0020, Francesco Basile, Zhiwu Li 0001 |
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems. |
IEEE Trans. Autom. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Sang Heon Choi |
Consolidation: a technique for improving permissiveness of human-machine interfaces. |
SPLASH (Companion) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Jan Komenda, Feng Lin 0001, Jan H. van Schuppen |
A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
30 | Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi |
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. |
CSF |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Jan Komenda, Feng Lin 0001, Jan H. van Schuppen |
A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems. |
CDC |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Ying-Chih Chiang, Olesya Levsh, Chun Kei Lam, Jing-Ke Weng, Yi Wang |
Structural and dynamic basis of substrate permissiveness in hydroxycinnamoyltransferase (HCT). |
PLoS Comput. Biol. |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren |
Tuning Permissiveness of Active Safety Monitors for Autonomous Systems. |
NFM |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Jonathan P. Drake |
Doxastic permissiveness and the promise of truth. |
Synth. |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Xiang Yin 0003, Stéphane Lafortune |
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Priyanka Kumar, Sathya Peri |
A TimeStamp based Multi-version STM Protocol that satisfies Opacity and Multi-Version Permissiveness |
CoRR |
2013 |
DBLP BibTeX RDF |
|
30 | Anthony Brueckner, Alex Bundy |
On "Epistemic Permissiveness". |
Synth. |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld |
Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. |
ESORICS |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels |
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited |
CoRR |
2011 |
DBLP BibTeX RDF |
|
30 | Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels |
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Tyler Crain, Damien Imbs, Michel Raynal |
Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. |
ICA3PP (1) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Tyler Crain, Damien Imbs, Michel Raynal |
Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible. |
SPAA |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Klaus Werner Schmidt, Max Hering de Queiroz, José E. R. Cury |
Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness. |
WODES |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Geert Stremersch, René K. Boel |
Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness. |
IEEE Trans. Autom. Control. |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Syrine Tlili, Mourad Debbabi |
Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Type and effect analysis, C language, Type safety, Memory safety |
23 | Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher |
A Lightweight GRL Profile for i* Modeling. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
jUCMNav, profile, OCL, User Requirements Notation, i*, Goal-oriented Requirement Language |
23 | Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
ISOLATOR: dynamically ensuring isolation in comcurrent programs. |
ASPLOS |
2009 |
DBLP DOI BibTeX RDF |
concurreny, isolation, memory protection |
23 | ZhiWu Li 0001, MengChu Zhou, Naiqi Wu |
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems. |
IEEE Trans. Syst. Man Cybern. Part C |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Zhiwu Li 0001, Moshe Shpitalni |
On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Elzbieta Roszkowska |
Liveness Enforcing in Closed AGV Systems with Dynamic Routing. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Stuart Cheshire, Mary Baker |
Internet Mobility 4x4. |
SIGCOMM |
1996 |
DBLP DOI BibTeX RDF |
Internet |
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|