Search results for "Assume-Guarantee"

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