The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Assume-Guarantee (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-1998 (15) 1999-2001 (15) 2002-2003 (18) 2004-2005 (28) 2006-2007 (26) 2008 (19) 2009-2010 (24) 2011-2014 (19) 2015-2017 (21) 2018-2019 (23) 2020-2021 (19) 2022-2023 (27) 2024 (2)
Publication types (Num. hits)
article(69) inproceedings(184) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(27) CAV(14) TACAS(11) CDC(8) FMCAD(6) Formal Methods Syst. Des.(6) ACC(5) CONCUR(5) HSCC(5) ACM Trans. Program. Lang. Syst...(4) FM(4) ICFEM(4) ICSE(4) COMPOS(3) DATE(3) ECC(3) More (+10 of total 125)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 130 occurrences of 76 keywords

Results
Found 256 publication records. Showing 256 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
108Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF assume-guarantee reasoning
100Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Assume-guarantee reasoning
92Sagar Chaki, Ofer Strichman Three optimizations for Assume-Guarantee reasoning with L*. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Learning, Software verification, Compositionality, Assume-Guarantee
92Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules
85Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu Assume-guarantee testing. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF verification, testing, assume-guarantee reasoning, predictive analysis
83Corina S. Pasareanu, Dimitra Giannakopoulou Towards a Compositional SPIN. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model checking, learning, Assume-guarantee reasoning
74Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti 0001 Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. Search on Bibsonomy VLSI Design The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Dong Wang, Jeremy R. Levitt Automatic assume guarantee analysis for assertion-based formal verification. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Patrick Maier 0001 A Set-Theoretic Framework for Assume-Guarantee Reasoning. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
63Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran An assume-guarantee rule for checking simulation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF verification rules, Simulation relations
55Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani Assume-Guarantee Refinement Between Different Time Scales. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
55Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran An Assume-Guarantee Rule for Checking Simulation. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
52Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama A Minimized Assumption Generation Method for Component-Based Software Verification. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF minimal assumption, model checking, learning algorithm, modular verification, assume-guarantee reasoning
52Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001 Dynamic Component Substitutability Analysis. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Verification of Evolving Software, Learning Regular Sets, Assume/Guarantee Reasoning, Software Model Checking
52Rajeev Alur, Radu Grosu Modular refinement of hierarchic reactive machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines
51Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth 0001 Assume-Guarantee Model Checking of Software: A Comparative Case Study. Search on Bibsonomy SPIN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou Automated Assume-Guarantee Reasoning by Abstraction Refinement. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Krishnendu Chatterjee, Thomas A. Henzinger Assume-Guarantee Synthesis. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Aleksandar S. Dimovski, Ranko Lazic 0001 Assume-Guarantee Software Verification Based on Game Semantics. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Sagar Chaki, Nishant Sinha 0001 Assume-Guarantee Reasoning for Deadlock. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001, Prasanna Thati Automated Assume-Guarantee Reasoning for Simulation Conformance. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Patrick Maier 0001 Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Jürgen Dingel Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. Search on Bibsonomy ICSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Florian Kerber, Arjan van der Schaft Compositional analysis for linear control systems. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF linear systems, compositional reasoning, assume-guarantee reasoning, simulation relations
44Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu Automated assumption generation for compositional verification. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee
44Wonhong Nam, P. Madhusudan, Rajeev Alur Automatic symbolic compositional verification by learning assumptions. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning
44Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha 0001 Verification of evolving software via component substitutability analysis. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Automata learning, Software engineering, Model checking, Predicate abstraction, Compositional verification, Assume-guarantee reasoning
44Pavel Parízek, Frantisek Plásil Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. Search on Bibsonomy TOOLS (46) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks
44Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer Component Verification with Automatically Generated Assumptions. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF component verification, model checking, assume-guarantee reasoning
44Matthew B. Dwyer, Corina S. Pasareanu Model Checking Generic Container Implementations. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF generic containers, Model checking, temporal logic, assume-guarantee reasoning
44Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40He Zhu 0001, Fei He 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001 Data mining based decomposition for assume-guarantee reasoning. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham Assume-guarantee validation for STE properties within an SVA environment. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu Assume-Guarantee Verification for Interface Automata. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Sagar Chaki, Ofer Strichman Optimized L*-Based Assume-Guarantee Reasoning. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Wonhong Nam, Rajeev Alur Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Xiaofang Chen, Yu Yang 0013, Ganesh Gopalakrishnan, Ching-Tsun Chou Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Dimitra Giannakopoulou, Corina S. Pasareanu Learning-Based Assume-Guarantee Verification (Tool Paper). Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh Assume-Guarantee Verification of Source Code with Design-Level Assumptions. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Mohammad Zulkernine, Rudolph E. Seviora Assume-Guarantee Algorithms for Automatic Detection of Software Failures. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF applied formal methods, Software reliability, compositionality, failure detection, online monitoring
38Jürgen Dingel Compositional Analysis of C/C++ Programs with VeriSoft. Search on Bibsonomy Acta Informatica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Massimo Bartoletti, Roberto Zunino A Calculus of Contracting Processes. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF circular assume-guarantee, concurrent constraints, contracts, cut elimination
37Xuening Sun, Pierluigi Nuzzo 0002, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli Contract-based system-level composition of analog circuits. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF integration, composition, contract, system, analog, UWB, platform, platform-based design, radio-frequency, assume-guarantee
37Nick Moffat, Michael Goldsmith Assumption-Commitment Support for CSP Model Checking. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
37Oksana Tkachuk, Matthew B. Dwyer Adapting side effects analysis for modular program model checking. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF modular flow analysis, model checking, assume-guarantee
37Matthew B. Dwyer, Corina S. Pasareanu Filter-Based Model Checking of Partial Systems. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF filter-based analysis, model checking, assume-guarantee reasoning, software verification and validation
33José Luis Castiglioni, Rodolfo Cristian Ertola Biraben Assume-guarantee contract algebras are bounded Sugihara monoids. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
33Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi 0001, Alvaro Velasquez Assume-Guarantee Reinforcement Learning. Search on Bibsonomy AAAI The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
33Brayan M. Shali, Arjan van der Schaft, Bart Besselink Composition of Behavioural Assume-Guarantee Contracts. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi 0001, Alvaro Velasquez Assume-Guarantee Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli Some Algebraic Aspects of Assume-Guarantee Reasoning. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski Towards Assume-Guarantee Verification of Strategic Ability. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski Assume-Guarantee Verification of Strategic Ability. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. Search on Bibsonomy MEMOCODE The full citation details ... 2023 DBLP  BibTeX  RDF
33Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Georg Friedrich Schuppe, Ilaria Torre 0001, Iolanda Leite, Jana Tumova Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop. Search on Bibsonomy Robotics: Science and Systems The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray Reasoning over Test Specifications Using Assume-Guarantee Contracts. Search on Bibsonomy NFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Kasra Ghasemi Compositional synthesis via convex optimization of assume-guarantee contracts Search on Bibsonomy 2023   RDF
33Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald Assume, guarantee or repair: a regular framework for non regular properties. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Kasra Ghasemi, Sadra Sadraddini, Calin Belta Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Kasra Ghasemi, Sadra Sadraddini, Calin Belta Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version). Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani 0001 Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani 0001 Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. Search on Bibsonomy CDC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Brayan M. Shali, H. M. Heidema, A. J. van der Schaft, Bart Besselink Series composition of simulation-based assume-guarantee contracts for linear dynamical systems. Search on Bibsonomy CDC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Kasra Ghasemi, Sadra Sadraddini, Calin Belta Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. Search on Bibsonomy CDC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Antoine Girard, Alessio Iovine, Sofiane Benberkane Invariant Sets for Assume-Guarantee Contracts. Search on Bibsonomy CDC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. Search on Bibsonomy PRIMA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski Assume-Guarantee Verification of Strategic Ability. Search on Bibsonomy PRIMA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer Assume-Guarantee Reasoning with Scheduled Components. Search on Bibsonomy NFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski Towards Assume-Guarantee Verification of Strategic Ability. (PDF / PS) Search on Bibsonomy AAMAS The full citation details ... 2022 DBLP  BibTeX  RDF
33Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. Search on Bibsonomy IEEE Trans. Ind. Informatics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Adnane Saoud, Antoine Girard, Laurent Fribourg Assume-guarantee contracts for continuous-time systems. Search on Bibsonomy Autom. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Miel Sharf, Bart Besselink, Karl Henrik Johansson Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
33Yuxiao Chen 0001, James Anderson 0001, Karanjit Kalsi, Aaron D. Ames, Steven H. Low Safety-Critical Control Synthesis for Network Systems With Control Barrier Functions and Assume-Guarantee Contracts. Search on Bibsonomy IEEE Trans. Control. Netw. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu 0005, Ufuk Topcu Decentralized Classification with Assume-Guarantee Planning. Search on Bibsonomy IROS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. Search on Bibsonomy FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Brayan M. Shali, A. J. van der Schaft, Bart Besselink Behavioural assume-guarantee contracts for linear dynamical systems. Search on Bibsonomy CDC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao, Karl Henrik Johansson Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools. Search on Bibsonomy ADHS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Hoang-Viet Tran, Pham Ngoc Hung A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software. Search on Bibsonomy KSE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey Assume-Guarantee Distributed Synthesis. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Kasra Ghasemi, Sadra Sadraddini, Calin Belta Compositional Synthesis via a Convex Parameterization of Assume-Guarantee Contracts. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
33Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao, Karl Henrik Johansson Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
33Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen 0001, Toshiaki Aoki A framework for assume-guarantee regression verification of evolving software. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Mohammad Al Khatib, Majid Zamani 0001 Controller synthesis for interconnected systems using parametric assume-guarantee contracts. Search on Bibsonomy ACC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Weixuan Lin, Eilyan Bitar Decentralized Control of Constrained Linear Systems via Assume-Guarantee Contracts. Search on Bibsonomy ACC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Kasra Ghasemi, Sadra Sadraddini, Calin Belta Compositional synthesis via a convex parameterization of assume-guarantee contracts. Search on Bibsonomy HSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Ilaria Di Loreto, Alessandro Borri, Maria Domenica Di Benedetto An assume-guarantee approach to sampled-data quantized glucose control. Search on Bibsonomy CDC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald Assume, Guarantee or Repair. Search on Bibsonomy TACAS (1) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. Search on Bibsonomy IJCAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Yan Ma, Zining Cao, Yang Liu 0135 A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Pierluigi Nuzzo 0002, Jiwei Li, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi 0001, Dewei Li 0001 Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Tung Phan-Minh, Karena X. Cai, Richard M. Murray Towards Assume-Guarantee Profiles for Autonomous Vehicles. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
33Yuxiao Chen 0001, James Anderson 0001, Karan Kalsi, Aaron D. Ames, Steven H. Low Safety-Critical Control Synthesis for network systems with Control Barrier Functions and Assume-Guarantee Contracts. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 256 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license