„compositional reasoning“

Suchergebnisse

1.000+ Treffer

• Object Understanding Through Abstraction Inspired by Compositionality and Connectionism – From Noisy Scene Point Clouds to Objects and Shape Reasoning
  Mueller, Christian A. ; Birk, Andreas ; Maurelli, Francesco ; Beetz, Michael ; Zug, Sebastian 2019 IRC-Library, Information Resource Center der Jacobs University Bremen
• Compositional Concurrent Program Verification with RGITL
  Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
• Autonomic and Trusted Computing – 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
  Xie, Bing 2010 Springer Berlin Heidelberg
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
  Schellhorn, Gerhard ; Tofan, Bogdan ; Ernst, Gidon ; Pfähler, Jörg ; Reif, Wolfgang 2014 Universität Augsburg
• Compositional Reasoning for Parametric Probabilistic Automata
  Mertens, Hannah ; Quatmann, Tim ; Katoen, Joost-Pieter 2025 Universitätsbibliothek der RWTH Aachen
• Understanding and Improving the Compositional Generalization Abilities of LLMs in Reasoning
  Fu, Xiyan ; Frank, Anette 2025 Universitätsbibliothek Heidelberg
• Compositional Reasoning for Parametric Probabilistic Automata
  Mertens, Hannah ; Quatmann, Tim ; Katoen, Joost-Pieter 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proving Linearizability with Temporal Logic
  Bäumler, Simon ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard 2008 Universität Augsburg
• Verifying Linearizability and Lock-Freedom with Temporal Logic
  Tofan, Bogdan ; Bäumler, Simon ; Schellhorn, Gerhard ; Reif, Wolfgang 2009 Universität Augsburg
• Matching Plans for Frame Inference in Compositional Reasoning
  Lööw, Andreas ; Nantes-Sobrinho, Daniele ; Ayoun, Sacha-Élie ; Maksimović, Petar ; Gardner, Philippa 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
  Lööw, Andreas ; Nantes-Sobrinho, Daniele ; Ayoun, Sacha-Élie ; Cronjäger, Caroline ; Maksimović, Petar ; Gardner, Philippa 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact)
  Lööw, Andreas ; Nantes-Sobrinho, Daniele ; Ayoun, Sacha-Élie ; Cronjäger, Caroline ; Karmios, Nat ; Maksimović, Petar ; Gardner, Philippa
• The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471)
  Bonacina, Maria Paola ; Fontaine, Pascal ; Nalon, Cláudia ; Schon, Claudia ; Desharnais, Martin
• Consistently-Detecting Monitors
  Francalanza, Adrian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Weak Metrics for Group Key Update
  Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators
  Gebler, Daniel ; Tini, Simone 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• TaDA Live : Compositional Reasoning for Termination of Fine-grained Concurrent Programs
  D'Osualdo, Emanuele ; Sutherland, Julian ; Farzan, Azadeh ; Gardner, Philippa 2021 KOPS Universität Konstanz
• Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
  Liu, Yang ; Li, Rui
• Mechanizing compositional reasoning for concurrent systems: some lessons
  Ehmety, Sidi O. ; Paulson, Lawrence C.
• Compositional reasoning about responsive systems with limited resources
  Schepers, Henk