Fence Synthesis Under the C11 Memory Model (Englisch)
- Neue Suche nach: Singh, Sanjana
- Neue Suche nach: Sharma, Divyanjali
- Neue Suche nach: Jaju, Ishita
- Neue Suche nach: Sharma, Subodh
- Neue Suche nach: Bouajjani, Ahmed
- Weitere Informationen zu Bouajjani, Ahmed:
- https://orcid.org/https://orcid.org/0000-0002-2060-3592
- Neue Suche nach: Holík, Lukáš
- Weitere Informationen zu Holík, Lukáš:
- https://orcid.org/https://orcid.org/0000-0001-6957-1651
- Neue Suche nach: Wu, Zhilin
- Neue Suche nach: Singh, Sanjana
- Neue Suche nach: Sharma, Divyanjali
- Neue Suche nach: Jaju, Ishita
- Neue Suche nach: Sharma, Subodh
In:
Automated Technology for Verification and Analysis
: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
;
Kapitel: 6
;
83-99
;
2022
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Fence Synthesis Under the C11 Memory Model
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Bouajjani, Ahmed ( Herausgeber:in ) / Holík, Lukáš ( Herausgeber:in ) / Wu, Zhilin ( Herausgeber:in ) / Singh, Sanjana ( Autor:in ) / Sharma, Divyanjali ( Autor:in ) / Jaju, Ishita ( Autor:in ) / Sharma, Subodh ( Autor:in )
-
Kongress:International Symposium on Automated Technology for Verification and Analysis ; 2022
-
Erschienen in:Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings ; Kapitel: 6 ; 83-99Lecture Notes in Computer Science ; 13505 ; 83-99
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:21.10.2022
-
Format / Umfang:17 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Learning Monitorable Operational Design Domains for Assured AutonomyTorfah, Hazem / Xie, Carol / Junges, Sebastian / Vazquez-Chanlatte, Marcell / Seshia, Sanjit A. et al. | 2022
- 2
-
Dynamic Shielding for Reinforcement Learning in Black-Box EnvironmentsWaga, Masaki / Castellano, Ezequiel / Pruekprasert, Sasinee / Klikovits, Stefan / Takisaka, Toru / Hasuo, Ichiro et al. | 2022
- 3
-
An Impossibility Result in Automata-Theoretic Reinforcement LearningHahn, Ernst Moritz / Perez, Mateo / Schewe, Sven / Somenzi, Fabio / Trivedi, Ashutosh / Wojtczak, Dominik et al. | 2022
- 4
-
Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid SystemsAdelt, Julius / Brettschneider, Daniel / Herber, Paula et al. | 2022
- 5
-
SISL: Concolic Testing of Structured Binary Input Formats via Partial SpecificationTempel, Sören / Herdt, Vladimir / Drechsler, Rolf et al. | 2022
- 6
-
Fence Synthesis Under the C11 Memory ModelSingh, Sanjana / Sharma, Divyanjali / Jaju, Ishita / Sharma, Subodh et al. | 2022
- 7
-
Checking Scheduling-Induced Violations of Control Safety PropertiesYeolekar, Anand / Metta, Ravindra / Hobbs, Clara / Chakraborty, Samarjit et al. | 2022
- 8
-
Symbolic Runtime Verification for Monitoring Under Uncertainties and AssumptionsKallwies, Hannes / Leucker, Martin / Sánchez, César et al. | 2022
- 9
-
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree TestCimatti, Alessandro / Griggio, Alberto / Lipparini, Enrico / Sebastiani, Roberto et al. | 2022
- 10
-
Verification of SMT Systems with QuantifiersCimatti, Alessandro / Griggio, Alberto / Redondi, Gianluca et al. | 2022
- 11
-
Projected Model Counting: Beyond Independent SupportYang, Jiong / Chakraborty, Supratik / Meel, Kuldeep S. et al. | 2022
- 12
-
Minimization of Automata for Liveness LanguagesAbu Radi, Bader / Kupferman, Orna et al. | 2022
- 13
-
Temporal Causality in Reactive SystemsCoenen, Norine / Finkbeiner, Bernd / Frenkel, Hadar / Hahn, Christopher / Metzger, Niklas / Siber, Julian et al. | 2022
- 14
-
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown SystemsJensen, Peter G. / Schmid, Stefan / Schou, Morten K. / Srba, Jiří et al. | 2022
- 15
-
Learning Deterministic One-Clock Timed Automata via Mutation TestingTang, Xiaochen / Shen, Wei / Zhang, Miaomiao / An, Jie / Zhan, Bohua / Zhan, Naijun et al. | 2022
- 16
-
Active Learning of One-Clock Timed Automata Using Constraint SolvingXu, Runqing / An, Jie / Zhan, Bohua et al. | 2022
- 17
-
Learning and Characterizing Fully-Ordered Lattice AutomataFisman, Dana / Saadon, Sagi et al. | 2022
- 18
-
Optimistic and Topological Value Iteration for Simple Stochastic GamesAzeem, Muqsit / Evangelidis, Alexandros / Křetínský, Jan / Slivinskiy, Alexander / Weininger, Maximilian et al. | 2022
- 19
-
Alternating Good-for-MDPs AutomataHahn, Ernst Moritz / Perez, Mateo / Schewe, Sven / Somenzi, Fabio / Trivedi, Ashutosh / Wojtczak, Dominik et al. | 2022
- 20
-
PET – A Partial Exploration Tool for Probabilistic VerificationMeggendorfer, Tobias et al. | 2022
- 21
-
STOMPC: Stochastic Model-Predictive Control with Uppaal StrategoGoorden, Martijn A. / Jensen, Peter G. / Larsen, Kim G. / Samusev, Mihhail / Srba, Jiří / Zhao, Guohan et al. | 2022
- 22
-
Synthesis of Parametric Hybrid Automata from Time SeriesGarcía Soto, Miriam / Henzinger, Thomas A. / Schilling, Christian et al. | 2022
- 23
-
Optimal Repair for Omega-Regular PropertiesDave, Vrunda / Krishna, Shankara Narayanan / Murali, Vishnu / Trivedi, Ashutosh et al. | 2022
- 24
-
Repairing Real-Time RequirementsNoguchi, Reiya / Sankur, Ocan / Jéron, Thierry / Markey, Nicolas / Mentré, David et al. | 2022
- 25
-
An Abstraction-Refinement Approach to Verifying Convolutional Neural NetworksOstrovsky, Matan / Barrett, Clark / Katz, Guy et al. | 2022
- 26
-
Prioritizing Corners in OoD Detectors via Symbolic String ManipulationCheng, Chih-Hong / Wu, Changshun / Seferis, Emmanouil / Bensalem, Saddek et al. | 2022
- 27
-
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled SystemsHuang, Chao / Fan, Jiameng / Chen, Xin / Li, Wenchao / Zhu, Qi et al. | 2022