|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3325 occurrences of 1710 keywords
|
|
|
Results
Found 5771 publication records. Showing 5771 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Grzegorz Pochwatko, Wieslaw Kopec, Zbigniew Jedrzejewski, Anna Jaskulska, Kinga H. Skorupska, Barbara Karpowicz, Rafal Maslyk, Steven Barnes, Maciej Grzeszczuk, Jagoda Lazarek, Justyna Swidrak |
The Invisible - Experienced: Developing and Verifying a VR Application for Understanding Air Pollution Perception and Attitudes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMAR-Adjunct ![In: IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR 2023, Sydney, Australia, October 16-20, 2023, pp. 531-536, 2023, IEEE, 979-8-3503-2891-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dhriti Khanna, Subodh Sharma 0001, Rahul Purandare |
Verifying Exception-Handling Code in Concurrent Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023, pp. 405-414, 2023, IEEE, 979-8-3503-4417-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Emiel Lanckriet, Matteo Busi 0001, Dominique Devriese |
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 537-551, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeSy ![In: Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023., pp. 427, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan |
Verifying linear temporal specifications of constant-rate multi-mode systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | You-Hsuan Chiang, Je-Wei Hsu, Chung-En Liu, Tzu-Yu Huang, Hsin-Lun Chiu, Yung-Ju Chang |
Investigating Users' Inclination of Leveraging Mobile Crowdsourcing to Obtain Verifying vs. Supplemental Information when Facing Inconsistent Smat-city Sensor Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW Companion ![In: Computer Supported Cooperative Work and Social Computing, CSCW 2023, Minneapolis, MN, USA, October 14-18, 2023, pp. 338-342, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Achim D. Brucker, Amy Stell |
Verifying Feedforward Neural Networks for Classification in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 427-444, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Petra van den Bos, Sung-Shik Jongmans |
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 321-339, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Marco Paganoni, Carlo A. Furia |
Verifying Functional Correctness Properties at the Level of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 343-363, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli |
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 648-656, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Tom Peham, Lukas Burgholzer, Robert Wille |
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 28th Asia and South Pacific Design Automation Conference, ASPDAC 2023, Tokyo, Japan, January 16-19, 2023, pp. 702-708, 2023, ACM, 978-1-4503-9783-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Knapp |
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 289-307, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Anshul Jain, Binod Kumar 0001 |
A Case Study on Formally Verifying an Open-source Deep Learning Accelerator Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 32nd IEEE Asian Test Symposium, ATS 2023, Beijing, China, October 14-17, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-0310-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Shibo Tang, Jiacheng Zhu, Yifei Gao, Jing Zhou, Dejun Mu, Wei Hu 0008 |
Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 32nd IEEE Asian Test Symposium, ATS 2023, Beijing, China, October 14-17, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-0310-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou |
Towards Learning and Verifying Maximal Neural Lyapunov Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 8012-8019, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani |
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 7035-7042, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Zhiyuan Yu, Yuanhaur Chang, Shixuan Zhai, Nicholas Deily, Tao Ju, XiaoFeng Wang 0001, Uday Jammalamadaka, Ning Zhang 0017 |
XCheck: Verifying Integrity of 3D Printed Patient-Specific Devices via Computing Tomography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 2815-2832, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Scott L. DuVall, Craig G. Parker, Amanda R. Shields, Patrick R. Alba, Julie A. Lynch, Michael E. Matheny, Aaron W. C. Kamauu |
Toward Real-World Reproducibility: Verifying Value Sets for Clinical Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2023 - The Future Is Accessible - Proceedings of the 19th World Congress on Medical and Health Informatics, Sydney, NSW, Australia, 8-12 July 2023., pp. 164-168, 2023, IOS Press, 978-1-64368-456-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yangfan Huang, Yuling Lin, Haizhou Du, Yijian Chen, Haohao Song, Linghe Kong, Qiao Xiang, Qiang Li, Franck Le, Jiwu Shu |
Toward a Unified Framework for Verifying and Interpreting Learning-Based Networking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: 31st IEEE/ACM International Symposium on Quality of Service, IWQoS 2023, Orlando, FL, USA, June 19-21, 2023, pp. 1-10, 2023, IEEE, 979-8-3503-9973-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Hanze Meng, Zhengjie Miao, Amir Gilad, Sudeepa Roy, Jun Yang 0001 |
Characterizing and Verifying Queries Via CINSGEN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference Companion ![In: Companion of the 2023 International Conference on Management of Data, SIGMOD/PODS 2023, Seattle, WA, USA, June 18-23, 2023, pp. 143-146, 2023, ACM, 978-1-4503-9507-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | William K. Jenkins, Chandrasekhar Radhakrishnan |
Advanced Results Verifying that Adaptive Fault Tolerance is Inherently Contained in Bio-Inspired Adaptive Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSSC ![In: 57th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2023, Pacific Grove, CA, USA, October 29 - Nov. 1, 2023, pp. 1030-1034, 2023, IEEE, 979-8-3503-2574-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Ning Qin, Hongyan Mao, Yiwen Liu, Kai Chen |
Modeling and Verifying Privacy-Preserving Authentication Scheme for VANET Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 47th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2023, Torino, Italy, June 26-30, 2023, pp. 747-752, 2023, IEEE, 979-8-3503-2697-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull |
Verified Verifying: SMT-LIB for Strings in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata - 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings, pp. 206-217, 2023, Springer, 978-3-031-40246-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Henryk Mustroph, Marisol Barrientos, Karolin Winter, Stefanie Rinderle-Ma |
Verifying Resource Compliance Requirements from Natural Language Text over Event Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings, pp. 249-265, 2023, Springer, 978-3-031-41619-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Thu Nguyen, Khoa Tan Vo, Thu-Thuy Ta, Tu-Anh Nguyen-Hoang, Ngoc-Thanh Dinh |
Model for Verifying the Reliability of Candidate Data Based on Blockchain Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAE ![In: 15th International Conference on Computer and Automation Engineering, ICCAE 2023, Sydney, Australia, March 3-5, 2023, pp. 55-59, 2023, IEEE, 979-8-3503-9622-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Caetano Melone, Steve Jones |
Verifying Functionality and Performance of HPC Applications with Continuous Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARC ![In: Practice and Experience in Advanced Research Computing, PEARC 2023, Portland, OR, USA, July 23-27, 2023, pp. 460-462, 2023, ACM, 978-1-4503-9985-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Ruiling Chen, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang |
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 2167-2171, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu |
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 1914-1925, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang |
Towards Verifying the Geometric Robustness of Large-Scale Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 15197-15205, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona |
Automatically Verifying Expressive Epistemic Properties of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 6245-6252, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma 0003 |
DeepGemini: Verifying Dependency Fairness for Deep Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 15251-15259, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Suthee Ruangwises |
Physically Verifying the First Nonzero Term in a Sequence: Physical ZKPs for ABC End View and Goishi Hiroi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJTCS-FAW ![In: Frontiers of Algorithmics - 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023, Proceedings, pp. 171-183, 2023, Springer, 978-3-031-39343-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Danil Kashin, Vadim V. Voevodin |
Verifying the Correctness of HPC Performance Monitoring Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies - 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings, pp. 197-208, 2023, Springer, 978-3-031-41672-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Daxin Liu 0002, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer |
Verifying Belief-Based Programs via Symbolic Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), pp. 1497-1504, 2023, IOS Press, 978-1-64368-436-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yejian Chen, Stefan Wesemann, Thorsten Wild |
Turbo AI, Part V: Verifying AI-Enhanced Channel Estimation for RAN from System Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuCNC/6G Summit ![In: 2023 Joint European Conference on Networks and Communications & 6G Summit, EuCNC/6G Summit 2023, Gothenburg, Sweden, June 6-9, 2023, pp. 78-83, 2023, IEEE, 979-8-3503-1102-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Upamanyu Sharma, Ralf Jung 0002, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
Grove: a Separation-Logic Library for Verifying Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 29th Symposium on Operating Systems Principles, SOSP 2023, Koblenz, Germany, October 23-26, 2023, pp. 113-129, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Hao Wu 0017, Zheng Cheng |
Verifying Event-B Hybrid Models Using Cyclone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, pp. 179-184, 2023, Springer, 978-3-031-33162-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Amel Mammar, Michael Leuschel |
Modeling and Verifying an Arrival Manager Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, pp. 321-339, 2023, Springer, 978-3-031-33162-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha |
Verifying Temporal Relational Models with Pardinus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, pp. 254-261, 2023, Springer, 978-3-031-33162-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Wing-Kai Hon, Meng-Tsung Tsai, Hung-Lung Wang |
Verifying the Product of Generalized Boolean Matrix Multiplication and Its Applications to Detect Small Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures - 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings, pp. 507-520, 2023, Springer, 978-3-031-38905-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Loris D'Antoni |
Verifying Infinitely Many Programs at Once. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings, pp. 3-9, 2023, Springer, 978-3-031-44244-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | James I. Lathrop, Peter-Michael Osera, Addison W. Schmidt, Jesse Slater |
Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 59th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2023, Monticello, IL, USA, September 26-29, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-2814-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Aleksandar S. Dimovski, Bekim Fetaji |
On Verifying Temporal Properties of Configurable Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 12th Mediterranean Conference on Embedded Computing, MECO 2023, Budva, Montenegro, June 6-10, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-2291-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles |
Context Specification Language for Formally Verifying Consent Properties on Models and Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, pp. 68-93, 2023, Springer, 978-3-031-38827-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Artur Graczyk, Marialena Hadjikosti, Andrei Popescu 0001 |
A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress). ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 391-397, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Soomaiya Hamid, Narmeen Zakaria Bawany, Kiran Fatima |
A Blockchain based Framework for Verifying Drug Authenticity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT ![In: 24th International Arab Conference on Information Technology, ACIT 2023, Ajman, United Arab Emirates, December 6-8, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-8430-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Angelo Ferrando 0001, Andrea Gatti 0002, Viviana Mascardi |
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution, VORTEX 2023, Seattle, WA, USA, 18 July 2023, pp. 1-8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz |
Verifying Learning-Based Robotic Navigation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I, pp. 607-627, 2023, Springer, 978-3-031-30822-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Xavier Denis, Jacques-Henri Jourdan |
Specifying and Verifying Higher-order Rust Iterators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, pp. 93-110, 2023, Springer, 978-3-031-30819-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran |
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE ![In: 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023, pp. 7-17, 2023, IEEE, 979-8-3503-1263-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Abisha Thapa Magar, Anup Shakya, Somdeb Sarkhel, Deepak Venugopal |
Verifying Relational Explanations: A Probabilistic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Big Data ![In: IEEE International Conference on Big Data, BigData 2023, Sorrento, Italy, December 15-18, 2023, pp. 108-115, 2023, IEEE, 979-8-3503-2445-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yun-Sheng Chang, Ralf Jung 0002, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023., pp. 871-886, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi |
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAAMO ![In: Proceedings of the 3rd ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization, EAAMO 2023, Boston, MA, USA, 30 October 2023 - 1 November 2023, pp. 23:1-23:11, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dario Guidotti, Laura Pandolfo, Luca Pulina |
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 35th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2023, Atlanta, GA, USA, November 6-8, 2023, pp. 423-428, 2023, IEEE, 979-8-3503-4273-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Imran Pinjari, Michael Shin, Pushkar Ogale |
Verifying Data Integrity for Multi-Threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023., pp. 588-595, 2023, SCITEPRESS, 978-989-758-665-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Meryem Afendi, Amel Mammar, Régine Laleau |
A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023., pp. 71-83, 2023, SCITEPRESS, 978-989-758-665-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Maria Siapera, Andreas Schmitz, Maria A. Wimmer, Andriana Prentza |
AgInTeF: Agile Interoperability Testing Framework for Orchestrating Overarching Procedures in Verifying Digital Public Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 24th Annual International Conference on Digital Government Research, DGO 2023, Gdańsk, Poland, July 11-14, 2023, pp. 514-525, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller 0005, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer |
Applicability of Model Checking for Verifying Spacecraft Operational Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELS ![In: 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023, pp. 206-216, 2023, IEEE, 979-8-3503-2480-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jorge Fandinno, Vladimir Lifschitz |
On Heuer's Procedure for Verifying Strong Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, pp. 253-261, 2023, Springer, 978-3-031-43618-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Brae J. Webb, Ian J. Hayes, Mark Utting |
Verifying Term Graph Optimizations using Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023, pp. 320-333, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jinxuan Wu, Wenhan Chao, Xian Zhou 0003, Zhunchen Luo |
Characterizing and Verifying Scientific Claims: Qualitative Causal Structure is All You Need. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 13428-13439, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jiaxiang Chen, Yu Hong, Qingting Xu, Jianmin Yao |
Smart "Chef": Verifying the Effect of Role-based Paraphrasing for Aspect Term Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2023, Singapore, December 6-10, 2023., pp. 2190-2197, 2023, Association for Computational Linguistics, 979-8-89176-061-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Sebastian Frank 0001, M. Alireza Hakamian, Denis Zahariev, André van Hoorn |
Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPE (Companion) ![In: Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, ICPE 2023, Coimbra, Portugal, April 15-19, 2023., pp. 319-326, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dami Choi, Yonadav Shavit, David Kristjanson Duvenaud |
Tools for Verifying Neural Models' Training Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Ahmed Bouajjani |
On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, pp. 2:1-2:1, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-299-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Cong Liu, Darren D. Cofer, Denis Osipychev |
Verifying an Aircraft Collision Avoidance Neural Network with Marabou. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings, pp. 79-85, 2023, Springer, 978-3-031-33169-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto 0002, Kazuki Munakata |
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings, pp. 37-61, 2023, Springer, 978-3-031-33169-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Rajesh T. M, Anvik Kumar Achar |
OrthoSNet: A framework for Identifying and Verifying Tuberculosis in Chest Radio graph images using Discrete Orthonormal Stockwell transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCNT ![In: 14th International Conference on Computing Communication and Networking Technologies, ICCCNT 2023, Delhi, India, July 6-8, 2023, pp. 1-9, 2023, IEEE, 979-8-3503-3509-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele |
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (3) ![In: Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III, pp. 222-242, 2023, Springer, 978-3-031-51478-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Purva Makarand Mhasakar, Kevin Bhadresh Doshi, Ning Wang, Shen-Shyang Ho, Haibin Haibin |
Distributed Tracking and Verifying: A Real-Time and High-Accuracy Visual Tracking Edge Computing Framework for Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: IEEE/ACM Symposium on Edge Computing, SEC 2023, Wilmington, DE, USA, December 6-9, 2023, pp. 360-364, 2023, IEEE, 979-8-4007-0123-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang 0001 |
Verifying Data Constraint Equivalence in FinTech Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023, pp. 1329-1341, 2023, IEEE, 978-1-6654-5701-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Sascha Hunold |
Verifying Performance Guidelines for MPI Collectives at Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC Workshops ![In: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023, pp. 1264-1268, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Petra Murinová, Vilém Novák |
Verifying Validity of Selected Forms of Syllogisms with Intermediate Quantifiers Using Peterson's Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT/AGOP ![In: Fuzzy Logic and Technology, and Aggregation Operators - 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings, pp. 357-368, 2023, Springer, 978-3-031-39964-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jan Francisti, Zoltán Balogh 0002, György Molnár, József Kopják, Gergely Sebestyen, Eniko Nagy |
Methods for Verifying the Security of Available IoT Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SISY ![In: 21st IEEE Jubilee International Symposium on Intelligent Systems and Informatics, SISY 2023, Pula, Croatia, September 21-23, 2023, pp. 595-600, 2023, IEEE, 979-8-3503-4336-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Bradley C. A. Brown, Anthony L. Caterini, Brendan Leigh Ross, Jesse C. Cresswell, Gabriel Loaiza-Ganem |
Verifying the Union of Manifolds Hypothesis for Image Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Wu Wang, Nan Zhang 0001, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu |
Verifying Chips Design at RTL Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 146-163, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Anton Hampus, Mattias Nyberg |
Verifying Refinement of Probabilistic Contracts Using Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, pp. 95-113, 2023, Springer, 978-3-031-35256-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco |
Verifying Programs by Bounded Tree-Width Behavior Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUMAS ![In: Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, pp. 116-132, 2023, Springer, 978-3-031-43263-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Tephilla Prince |
On Verifying Unbounded Client-Server Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUMAS ![In: Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, pp. 465-471, 2023, Springer, 978-3-031-43263-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Mikhail Semenyuk, Mark Batty, Brijesh Dongol |
Verifying Read-Copy Update Under RC11. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, pp. 301-319, 2023, Springer, 978-3-031-47114-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Enrico Marchesini, Luca Marzari, Alessandro Farinelli, Christopher Amato |
Safe Deep Reinforcement Learning by Verifying Task-Level Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pp. 1466-1475, 2023, ACM, 978-1-4503-9432-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Farhad Mohsin, Qishen Han, Sikai Ruan, Pin-Yu Chen, Francesca Rossi 0001, Lirong Xia |
Computational Complexity of Verifying the Group No-show Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pp. 2877-2879, 2023, ACM, 978-1-4503-9432-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Jay Le-Papin, Brijesh Dongol, Helen Treharne, Stephan Wesemeyer |
Verifying List Swarm Attestation Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISEC ![In: Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2023, Guildford, United Kingdom, 29 May 2023 - 1 June 2023, pp. 163-174, 2023, ACM, 978-1-4503-9859-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Guillaume Bury, François Bobot |
Verifying Models with Dolmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023., pp. 62-70, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
11 | Maitrey Mehta, Vivek Srikumar |
Verifying Annotation Agreement without Multiple Experts: A Case Study with Gujarati SNACS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (Findings) ![In: Findings of the Association for Computational Linguistics: ACL 2023, Toronto, Canada, July 9-14, 2023., pp. 10941-10958, 2023, Association for Computational Linguistics, 978-1-959429-62-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | James Jerson Ortiz |
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
11 | Ritam Raha |
Learning and verifying temporal specifications for cyber-physical systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
11 | Yin Tong, Yucheng Wang, Alessandro Giua |
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 2930-2935, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Mengqi Liu 0001, Zhong Shao, Hao Chen 0023, Man-Ki Yoon, Jung-Eun Kim |
Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 60-88, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Rodolphe Lepigre, Michael Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, Peter Sewell |
VIP: verifying real-world C idioms with integer-pointer casts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-32, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung 0002, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer |
Simuliris: a separation logic framework for verifying concurrent program optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-31, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Sadegh Dalvandi, Brijesh Dongol |
Implementing and verifying release-acquire transactional memory in C11. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 1817-1844, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | 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) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 32(2), pp. 253-289, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | James Kobina Mensah Biney |
Verifying the predictive performance for soil organic carbon when employing field Vis-NIR spectroscopy and satellite imagery obtained using two different sampling methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 194, pp. 106796, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Rauh, Auguste Bourgois, Luc Jaulin |
Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 26(2), pp. 267-291, May 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Wei Fu, Zhenjie Xie, Jianqiao Xu |
Verifying multiple replica possession with public key segment under public cloud storage environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 34(5), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Nan Zhang 0001, Meng Wang 0021, Zhenhua Duan, Cong Tian |
Verifying Properties of MapReduce-Based Big Data Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 71(1), pp. 321-338, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Hao Wu 0017 |
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 21(3), pp. 3:1-17, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jake Renzella, Andrew Cain, Jean-Guy Schneider |
Verifying student identity in oral assessments with deep speaker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. Artif. Intell. ![In: Comput. Educ. Artif. Intell. 3, pp. 100044, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Imed Abbassi, Amel Mammar, Mohamed Graiet |
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 15(5), pp. 2511-2525, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 5771 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|