Search results for "Compositional verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Olivier Ly	Compositional Verification: Decidability Issues Using Graph Substitutions.	MFCS	2004	DBLP DOI BibTeX RDF	Tree Automata, Compositional Verification, Monadic Second-Order Logic
3	Frank Cornelissen, Catholijn M. Jonker, Jan Treur	Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods.	Knowl. Inf. Syst.	2003	DBLP DOI BibTeX RDF	Diagnostic reasoning model, Formal compositional modeling, Knowledge-based systems, Compositional verification
3	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs
2	Haiqiong Yao, Hao Zheng 0001	Automated Interface Refinement for Compositional Verification.	IEEE Trans. on CAD of Integrated Circuits and Systems	2009	DBLP DOI BibTeX RDF
2	Luis E. Mendoza Morales, Manuel I. Capel	Automatic Compositional Verification of Business Processes.	ICEIS	2009	DBLP DOI BibTeX RDF	Model-Checking, Verification, Formal Methods, Business Process Modelling, Task Model
2	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Compositional verification of fault-tolerant real-time programs.	EMSOFT	2009	DBLP DOI BibTeX RDF	interference-freedom, fault-tolerance, real-time, formal methods, compositional verification
2	Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang	Learning Minimal Separating DFA's for Compositional Verification.	TACAS	2009	DBLP DOI BibTeX RDF
2	Yael Meller, Orna Grumberg, Sharon Shoham	A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement.	ATVA	2009	DBLP DOI BibTeX RDF
2	Dimitra Giannakopoulou, Corina S. Pasareanu	Interface Generation and Compositional Verification in JavaPathfinder.	FASE	2009	DBLP DOI BibTeX RDF
2	Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera	Towards Compositional Verification in MEDISTAM-RT Methodological Framework.	IWANN	2009	DBLP DOI BibTeX RDF	Real-time, Communication Protocols, Deadlock-freeness
2	Wonhong Nam, P. Madhusudan, Rajeev Alur	Automatic symbolic compositional verification by learning assumptions.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning
2	Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu	Automated assumption generation for compositional verification.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee
2	Marieke Huisman, Irem Aktug, Dilian Gurov	Program Models for Compositional Verification.	ICFEM	2008	DBLP DOI BibTeX RDF
2	Björn Metzler, Heike Wehrheim, Daniel Wonisch	Decomposition for Compositional Verification.	ICFEM	2008	DBLP DOI BibTeX RDF
2	Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang	Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.	TACAS	2008	DBLP DOI BibTeX RDF
2	In-Ho Moon	Compositional verification of retiming and sequential optimizations.	DAC	2008	DBLP DOI BibTeX RDF	conditional equivalence, retime offset, sequential equivalence, retiming, compositional verification
2	Luis E. Mendoza Morales, Manuel I. Capel, María A. Pérez, Kawtar Benghazi Akhlaki	Compositional Model-Checking Verification of Critical Systems.	ICEIS	2008	DBLP DOI BibTeX RDF	Critical software systems, Model-checking, Formal methods, Case study, Compositional verification
2	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 in System Design	2008	DBLP DOI BibTeX RDF	Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules
2	Wei Dong, Ji Wang, Zhichang Qi, Ni Rong	Compositional Verification of UML Dynamic Models.	APSEC	2007	DBLP DOI BibTeX RDF
2	Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu	Refining Interface Alphabets for Compositional Verification.	TACAS	2007	DBLP DOI BibTeX RDF
2	Sharon Shoham, Orna Grumberg	Compositional Verification and 3-Valued Abstractions Join Forces.	SAS	2007	DBLP DOI BibTeX RDF
2	Adam Bakewell, Dan R. Ghica	Game-based safety checking with Mage.	SAVCBS	2007	DBLP DOI BibTeX RDF	game models, symbolic automata, refinement, software model checking, compositional verification, data approximation
2	Frédéric Lang	Refined Interfaces for Compositional Verification.	FORTE	2006	DBLP DOI BibTeX RDF
2	Marjan Sirjani	Rebeca: Theory, Applications, and Tools.	FMCO	2006	DBLP DOI BibTeX RDF	Rebeca, Distributed Systems, Model Checking, Concurrency, Abstraction, Actors, Compositional Verification
2	Giorgio Delzanno, Maurizio Gabbrielli	Compositional Verification of Asynchronous Processes via Constraint Solving.	ICALP	2005	DBLP DOI BibTeX RDF
2	Frances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur	Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	multi-agent system, verification, compositional, negotiation
2	Yamine Aït Ameur, Remi Delmas, Virginie Wiels	A framework for heterogeneous formal modeling and compositional verification of avionics systems.	MEMOCODE	2004	DBLP DOI BibTeX RDF
2	Christoph Sprenger, Dilian Gurov, Marieke Huisman	Compositional verification for secure loading of smart card applets.	MEMOCODE	2004	DBLP DOI BibTeX RDF
2	Frederic Tronel, Frédéric Lang, Hubert Garavel	Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.	FMOODS	2003	DBLP DOI BibTeX RDF
2	Hong Peng, Sofiène Tahar, Yassine Mokhtari	Compositional Verification of a Switch Fabric from Nortel Networks.	ICFEM	2003	DBLP DOI BibTeX RDF
2	Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Assumptions for Compositional Verification.	TACAS	2003	DBLP DOI BibTeX RDF
2	Kirsten Winter, Graeme Smith	Compositional Verification for Object-Z.	ZB	2003	DBLP DOI BibTeX RDF
2	Ralph D. Jeffords, Constance L. Heitmeyer	A strategy for efficiently verifying requirements.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	model checking, formal methods, software tools, invariants, requirements specification, compositional verification
2	Jei-Wen Teng, Yih-Kuen Tsay	Composing Temporal-Logic Specifications with Machine Assistance.	FME	2003	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software
2	Gilles Barthe, Dilian Gurov, Marieke Huisman	Compositional Verification of Secure Applet Interactions.	FASE	2002	DBLP DOI BibTeX RDF
2	Farn Wang, Pao-Ann Hsiung	Efficient and User-Friendly Verification.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	software engineering, real-time systems, model-checking, Verification, formal methods, timed automata, compositional verification
2	Yih-Kuen Tsay	Compositional Verification in Linear-Time Temporal Logic.	FoSSaCS	2000	DBLP DOI BibTeX RDF
2	Reiko Heckel	Compositional Verification of Reactive Systems Specified by Graph Transformation.	FASE	1998	DBLP DOI BibTeX RDF
2	Natarajan Shankar	Lazy Compositional Verification.	COMPOS	1997	DBLP DOI BibTeX RDF
2	Farn Wang	Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.	RTCSA	1996	DBLP DOI BibTeX RDF	scalable compositional verification, high-level real-time concurrent systems, compositional CTL mode-checking algorithm, discrete global clock, VERIFAST-2, truly scalable performance, software recursions, protocols, formal verification
2	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	A new compositional method for condensed state-space verification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion
2	Kim Guldstrand Larsen, Arne Skou	Compositional Verification of Probabilistic Processes.	CONCUR	1992	DBLP DOI BibTeX RDF
2	Paritosh K. Pandya	Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	Assumption Commitment Framework, Compositional Verification, Inductive Inference, Liveness properties
1	Fei Pu	Compositional Verification of Liveness Property in Inhibitor-arc Connections of Petri Net Systems.	JSW	2012	DBLP DOI BibTeX RDF
1	Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez	Conceptual framework for business processes compositional verification.	Information & Software Technology	2012	DBLP DOI BibTeX RDF
1	Cynthia Disenfeld	Compositional verification of events and aspects.	AOSD (Companion)	2012	DBLP DOI BibTeX RDF
1	Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha	Compositional Verification of Architectural Models.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Kedar S. Namjoshi, Richard J. Trefler	Local Symmetry and Compositional Verification.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker	Learning-Based Compositional Verification for Synchronous Probabilistic Systems.	ATVA	2011	DBLP DOI BibTeX RDF
1	Cynthia Disenfeld, Shmuel Katz	Compositional verification of events and observers: (summary).	FOAL	2011	DBLP DOI BibTeX RDF
1	André Platzer	Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial).	CAV	2011	DBLP DOI BibTeX RDF
1	Heiko Mantel, David Sands, Henning Sudbrock	Assumptions and Guarantees for Compositional Noninterference.	CSF	2011	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security
1	Björn Metzler	Decomposition for compositional verification.		2010	RDF
1	Sharon Shoham, Orna Grumberg	Compositional verification and 3-valued abstractions join forces.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis	Compositional verification for component-based systems and application.	IET Software	2010	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Editorial: automated compositional verification.	IET Software	2010	DBLP DOI BibTeX RDF
1	Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez	A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes.	ICEIS	2010	DBLP DOI BibTeX RDF
1	Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez	Compositional Verification of Business Processes Modelled with BPMN.	ICEIS	2010	DBLP BibTeX RDF
1	Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif	A Formal Framework for Compositional Verification of Organic Computing Systems.	ATC	2010	DBLP DOI BibTeX RDF
1	Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez	Compositional Verification of Business Processes by Model-Checking.	MSVVEIS	2010	DBLP BibTeX RDF
1	Lu Feng, Marta Z. Kwiatkowska, David Parker	Compositional Verification of Probabilistic Systems Using Learning.	QEST	2010	DBLP DOI BibTeX RDF
1	Marieke Huisman, Dilian Gurov	CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties.	FoVeOOS	2010	DBLP DOI BibTeX RDF
1	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon	Modular verification of security protocol code by typing.	POPL	2010	DBLP DOI BibTeX RDF	f7, refinement type
1	Hugo Flordal, Robi Malik	Compositional Verification in Supervisory Control.	SIAM J. Control and Optimization	2009	DBLP DOI BibTeX RDF
1	Augusto Sampaio, Sidney Nogueira, Alexandre Mota	Compositional Verification of Input-Output Conformance via CSP Refinement Checking.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Narges Khakpour, Marjan Sirjani, Saeed Jalili	Formal Analysis of Smart Home Policies using Compositional Verification.	ICFI	2009	DBLP DOI BibTeX RDF
1	Alwyn Goodloe, César A. Muñoz	Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle.	FMICS	2009	DBLP DOI BibTeX RDF
1	Frédéric Lang, Radu Mateescu	Partial Order Reductions Using Compositional Confluence Detection.	FM	2009	DBLP DOI BibTeX RDF
1	André Platzer, Edmund M. Clarke	Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study.	FM	2009	DBLP DOI BibTeX RDF
1	Astrid Rakow	Decompositional Petri Net Reductions.	IFM	2009	DBLP DOI BibTeX RDF
1	Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar	Verifying Reference Counting Implementations.	TACAS	2009	DBLP DOI BibTeX RDF
1	Dilian Gurov, Marieke Huisman	Reducing Behavioural to Structural Properties of Programs with Procedures.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Dilian Gurov, Marieke Huisman, Christoph Sprenger	Compositional verification of sequential programs with procedures.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
1	Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic	A framework for compositional verification of security protocols.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
1	Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen	Compositional Verification for Component-Based Systems and Application.	ATVA	2008	DBLP DOI BibTeX RDF
1	Dénes Bisztray, Reiko Heckel, Hartmut Ehrig	Compositional Verification of Architectural Refactorings.	WADS	2008	DBLP DOI BibTeX RDF	UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation
1	Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha	Verification of evolving software via component substitutability analysis.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Automata learning, Software engineering, Model checking, Predicate abstraction, Compositional verification, Assume-guarantee reasoning
1	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	Applying CSP \|\| B to information systems.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Information systems, CSP, Compositional verification, B, Combining formalisms
1	André Platzer, Edmund M. Clarke	Computing Differential Invariants of Hybrid Systems as Fixedpoints.	CAV	2008	DBLP DOI BibTeX RDF	verification of hybrid systems, verification logic, fixedpoint engine, differential invariants
1	Pavel Parizek, Frantisek Plasil	Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.	TOOLS	2008	DBLP DOI BibTeX RDF	modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks
1	Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko	Model checking Duration Calculus: a practical approach.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
1	Sagar Chaki, Ofer Strichman	Three optimizations for Assume-Guarantee reasoning with L*.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Learning, Software verification, Compositionality, Assume-Guarantee
1	Susanne Graf, Sophie Quinton	Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.	FORTE	2007	DBLP DOI BibTeX RDF
1	Nishant Sinha, Edmund M. Clarke	SAT-Based Compositional Verification Using Lazy Learning.	CAV	2007	DBLP DOI BibTeX RDF
1	Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu	Automated Assumption Generation for Compositional Verification.	CAV	2007	DBLP DOI BibTeX RDF
1	Alexander Rabinovich	On compositionality and its limitations.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Feferman-Vaught theorem, composition methods, modal logic, Compositional verification
1	Björn Metzler	Decomposing Integrated Specifications for Verification.	IFM	2007	DBLP DOI BibTeX RDF	Integrated Formal Specifications, Model Checking, Decomposition, Program Slicing, Compositional Verification
1	Xianli Jin, Huadong Ma, Zonghua Gu	Real-Time Component Composition Using Hierarchical Timed Automata.	QSIC	2007	DBLP DOI BibTeX RDF	hierarchical timed automata, real-time, component, labeled transition systems
1	Sagar Chaki, Ofer Strichman	Optimized L*-Based Assume-Guarantee Reasoning.	TACAS	2007	DBLP DOI BibTeX RDF
1	Li Jiao, To-Yat Cheung	Compositional Verification for Workflow Nets.	Journal of Circuits, Systems, and Computers	2006	DBLP DOI BibTeX RDF
1	Mohammad Izadi, Ali Movaghar-Rahimabadi	An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic	A framework for compositional verification of security protocols	CoRR	2006	DBLP BibTeX RDF
1	Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna	Post-reboot Equivalence and Compositional Verification of Hardware.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Marcel Kyas, Jozef Hooman	Compositional Verification of Timed Components using PVS.	Software Engineering	2006	DBLP BibTeX RDF
1	Francois Carcenac, Frédéric Boniol	A formal framework for verifying distributed embedded systems based on abstraction methods.	STTT	2006	DBLP DOI BibTeX RDF	Model checking, Abstraction, Timed automata, Distributed embedded systems, Compositional verification
1	Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen	A verifiable SSA program representation for aggressive compiler optimization.	POPL	2006	DBLP DOI BibTeX RDF	SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages
1	Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar	Compositional interaction specifications for SystemC.	MEMOCODE	2006	DBLP DOI BibTeX RDF
1	Dejan Desovski, Bojan Cukic	A Strategy for Verification of Decomposable SCR Models.	PRDC	2006	DBLP DOI BibTeX RDF
1	Fei Pu, Wenhui Zhang	LTL Model Checking via Search Space Partition.	QSIC	2006	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve	Verifying Generalized Soundness of Workflow Nets.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	verification, Petri nets, workflows, soundness