CAV

CAV 公式サイト ↗

Programming Languages & Formal Methods

2023 · 49 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

1. 2023 · CAV

   A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation

   Akshay, S., Gastin, Paul, Govind, R., Joshi, Aniruddha R., Srivathsan, B.

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2023 · CAV

   Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization

   Waga, Masaki

   Programming Languages & Formal Methods

   日本大学: 京都大学

3. 2023 · CAV

   Automated Tail Bound Analysis for Probabilistic Recurrence Relations

   Sun, Yican, Fu, Hongfei, Chatterjee, Krishnendu, Goharshady, Amir Kafshdar

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

4. 2023 · CAV

   Automated Verification of Correctness for Masked Arithmetic Programs

   Liu, Mingyang, Song, Fu, Chen, Taolue

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

5. 2023 · CAV

   Automatic Program Instrumentation for Automatic Verification

   Amilon, Jesper, Esen, Zafer, Gurov, Dilian, Lidström, Christian, Rümmer, Philipp

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2023 · CAV

   Boolean Abstractions for Realizability Modulo Theories

   Rodríguez, Andoni, Sánchez, César

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

7. 2023 · CAV

   Bounded Verification for Finite-Field-Blasting

   Ozdemir, Alex, Wahby, Riad S., Brown, Fraser, Barrett, Clark

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

8. 2023 · CAV

   Certified Verification for Algebraic Abstraction

   Tsai, Ming-Hsien, Fu, Yu-Fu, Liu, Jiaxiang, Shi, Xiaomu, Wang, Bow-Yaw, Yang, Bo-Yin

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

9. 2023 · CAV

   Certifying the Fairness of KNN in the Presence of Dataset Bias

   Li, Yannan, Wang, Jingbo, Wang, Chao

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

10. 2023 · CAV

    Commutativity for Concurrent Program Termination Proofs

    Lette, Danya, Farzan, Azadeh

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

11. 2023 · CAV

    Complete Multiparty Session Type Projection with Automata

    Li, Elaine, Stutz, Felix, Wies, Thomas, Zufferey, Damien

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

12. 2023 · CAV

    Compositional Probabilistic Model Checking with String Diagrams of MDPs

    Watanabe, Kazuki, Eberhart, Clovis, Asada, Kazuyuki, Hasuo, Ichiro

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学 / 東北大学

13. 2023 · CAV

    Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis

    Akshay, S., Chakraborty, Supratik, Jain, Sahil

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

14. 2023 · CAV

    Decision Procedures for Sequence Theories

    Jeż, Artur, Lin, Anthony W., Markgraf, Oliver, Rümmer, Philipp

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

15. 2023 · CAV

    Early Verification of Legal Compliance via Bounded Satisfiability Checking

    Feng, Nick, Marsso, Lina, Sabetzadeh, Mehrdad, Chechik, Marsha

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

16. 2023 · CAV

    Efficient Sensitivity Analysis for Parametric Robust Markov Chains

    Badings, Thom, Junges, Sebastian, Marandi, Ahmadreza, Topcu, Ufuk, Jansen, Nils

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

17. 2023 · CAV

    Exploiting Adjoints in Property Directed Reachability Analysis

    Kori, Mayuko, Ascari, Flavio, Bonchi, Filippo, Bruni, Roberto, Gori, Roberta, Hasuo, Ichiro

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学

18. 2023 · CAV

    Fast Approximations of Quantifier Elimination

    Garcia-Contreras, Isabel, Govind, V. K. Hari, Shoham, Sharon, Gurfinkel, Arie

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

19. 2023 · CAV

    Fast Termination and Workflow Nets

    Hofman, Piotr, Mazowiecki, Filip, Offtermatt, Philip

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

20. 2023 · CAV

    Formula Normalizations in Verification

    Guilloud, Simon, Bucev, Mario, Milovančević, Dragana, Kunčak, Viktor

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

21. 2023 · CAV

    Guessing Winning Policies in LTL Synthesis by Semantic Learning

    Křetínský, Jan, Meggendorfer, Tobias, Prokop, Maximilian, Rieder, Sabine

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

22. 2023 · CAV

    Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints

    Yang, Zhengfeng, Zhang, Li, Zeng, Xia, Tang, Xiaochao, Peng, Chao, Zeng, Zhenbing

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

23. 2023 · CAV

    Incremental Dead State Detection in Logarithmic Time

    Stanford, Caleb, Veanes, Margus

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

24. 2023 · CAV

    Learning Assumptions for Compositional Verification of Timed Automata

    Chen, Hanyue, Su, Yu, Zhang, Miaomiao, Liu, Zhiming, Mi, Junri

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

25. 2023 · CAV

    Local Search for Solving Satisfiability of Polynomial Formulas

    Li, Haokun, Xia, Bican, Zhao, Tianqi

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

26. 2023 · CAV

    MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives

    Akshay, S., Chatterjee, Krishnendu, Meggendorfer, Tobias, Žikelić, Đorđe

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

27. 2023 · CAV

    Making $$\textsf {IP}=\textsf {PSPACE}$$ Practical: Efficient Interactive Protocols for BDD Algorithms

    Couillard, Eszter, Czerner, Philipp, Esparza, Javier, Majumdar, Rupak

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

28. 2023 · CAV

    Model Checking Race-Freedom When “Sequential Consistency for Data-Race-Free Programs” is Guaranteed

    Wu, Wenhao, Hückelheim, Jan, Hovland, Paul D., Luo, Ziqing, Siegel, Stephen F.

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

29. 2023 · CAV

    Monitoring Algorithmic Fairness

    Henzinger, Thomas A., Karimi, Mahyar, Kueffner, Konstantin, Mallik, Kaushik

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

30. 2023 · CAV

    Online Causation Monitoring of Signal Temporal Logic

    Zhang, Zhenya, An, Jie, Arcaini, Paolo, Hasuo, Ichiro

    Programming Languages & Formal Methods

    日本大学: 九州大学

31. 2023 · CAV

    Overcoming Memory Weakness with Unified Fairness

    Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Godbole, Adwait, Krishna, Shankaranarayanan, Vahanwala, Mihir

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

32. 2023 · CAV

    Ownership Guided C to Rust Translation

    Zhang, Hanliang, David, Cristina, Yu, Yijun, Wang, Meng

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

33. 2023 · CAV

    Partial Quantifier Elimination and Property Generation

    Goldberg, Eugene

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

34. 2023 · CAV

    Policy Synthesis and Reinforcement Learning for Discounted LTL

    Alur, Rajeev, Bastani, Osbert, Jothimurugan, Kishor, Perez, Mateo, Somenzi, Fabio, Trivedi, Ashutosh

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

35. 2023 · CAV

    Process Equivalence Problems as Energy Games

    Bisping, Benjamin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

36. 2023 · CAV

    QEBVerif: Quantization Error Bound Verification of Neural Networks

    Zhang, Yedi, Song, Fu, Sun, Jun

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

37. 2023 · CAV

    Rely-Guarantee Reasoning for Causally Consistent Shared Memory

    Lahav, Ori, Dongol, Brijesh, Wehrheim, Heike

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

38. 2023 · CAV

    Rounding Meets Approximate Model Counting

    Yang, Jiong, Meel, Kuldeep S.

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

39. 2023 · CAV

    SR-SFLL: Structurally Robust Stripped Functionality Logic Locking

    Takhar, Gourav, Roy, Subhajit

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

40. 2023 · CAV

    Safe Environmental Envelopes of Discrete Systems

    Meira-Góes, Rômulo, Dardik, Ian, Kang, Eunsuk, Lafortune, Stéphane, Tripakis, Stavros

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

41. 2023 · CAV

    Satisfiability Modulo Finite Fields

    Ozdemir, Alex, Kremer, Gereon, Tinelli, Cesare, Barrett, Clark

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

42. 2023 · CAV

    Search and Explore: Symbiotic Policy Synthesis in POMDPs

    Andriushchenko, Roman, Bork, Alexander, Češka, Milan, Junges, Sebastian, Katoen, Joost-Pieter, Macák, Filip

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

43. 2023 · CAV

    Searching for i-Good Lemmas to Accelerate Safety Model Checking

    Xia, Yechuan, Becchi, Anna, Cimatti, Alessandro, Griggio, Alberto, Li, Jianwen, Pu, Geguang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

44. 2023 · CAV

    Second-Order Hyperproperties

    Beutner, Raven, Finkbeiner, Bernd, Frenkel, Hadar, Metzger, Niklas

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

45. 2023 · CAV

    Solving String Constraints Using SAT

    Lotz, Kevin, Goel, Amit, Dutertre, Bruno, Kiesl-Reiter, Benjamin, Kong, Soonho, Majumdar, Rupak, Nowotka, Dirk

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

46. 2023 · CAV

    Synthesizing Permissive Winning Strategy Templates for Parity Games

    Anand, Ashwani, Nayak, Satya Prakash, Schmuck, Anne-Kathrin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

47. 2023 · CAV

    Synthesizing Trajectory Queries from Examples

    Mell, Stephen, Bastani, Favyen, Zdancewic, Steve, Bastani, Osbert

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

48. 2023 · CAV

    Unblocking Dynamic Partial Order Reduction

    Kokologiannakis, Michalis, Marmanis, Iason, Vafeiadis, Viktor

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

49. 2023 · CAV

    Verifying the Verifier: eBPF Range Analysis Verification

    Vishwanathan, Harishankar, Shachnai, Matan, Narayana, Srinivas, Nagarakatte, Santosh

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）