Search results for "Compositional"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Fei Xie, James C. Browne, Robert P. Kurshan	Translation-Based Compositional Reasoning for Software Systems.	FME	2003	DBLP DOI BibTeX RDF	Translation-based compositional reasoning, model checking, compositional reasoning, model translation
66	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
66	Leonid A. Kalinichenko	Compositional Specification Calculus for Information Systems Development.	ADBIS	1999	DBLP DOI BibTeX RDF	compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development
65	Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin	Semantic interpretation of compositional logic in instantiation space.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	Instantiation Space, Compositional Logic, interpretation
61	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
58	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab	Compositional Semantics of an Actor-Based Language Using Constraint Automata.	COORDINATION	2006	DBLP DOI BibTeX RDF	Rebeca, Compositional semantics, Reo, Constraint Automata, actor model
54	Bow-Yaw Wang	Automatic Derivation of Compositional Rules in Automated Compositional Reasoning.	CONCUR	2007	DBLP DOI BibTeX RDF
51	Ying Jin 0003, T. M. Murali 0001, Naren Ramakrishnan	Compositional mining of multirelational biological datasets.	ACM Trans. Knowl. Discov. Data	2008	DBLP DOI BibTeX RDF	compositional data mining, redescription mining, bioinformatics, inductive logic programming, Biclustering
51	Ekkart Kindler	A Compositional Partial Order Semantics for Petri Net Components.	ICATPN	1997	DBLP DOI BibTeX RDF	Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics
50	Fei Xie, Guowu Yang, Xiaoyu Song	Compositional Reasoning for Hardware/Software Co-verification.	ATVA	2006	DBLP DOI BibTeX RDF
50	Michael Codish, Saumya K. Debray, Roberto Giacobazzi	Compositional Analysis of Modular Logic Programs.	POPL	1993	DBLP DOI BibTeX RDF
46	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	A new compositional method for condensed state-space verification.	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
46	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
45	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
45	Kenneth L. Knowles, Cormac Flanagan	Compositional reasoning and decidable checking for dependent contract types.	PLPV	2009	DBLP DOI BibTeX RDF	refinement types, abstraction, dependent types, compositional reasoning
45	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
45	Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca	Polymorphic bytecode: compositional compilation for Java-like languages.	POPL	2005	DBLP DOI BibTeX RDF	type systems, compositional analysis
44	Panagiotis Manolios, Sudarshan K. Srinivasan	A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
44	Junsong Yuan, Jiebo Luo, Ying Wu 0001	Mining compositional features for boosting.	CVPR	2008	DBLP DOI BibTeX RDF
44	Kaustubh Patil, Kiran Seth, Frank Mueller 0001	Compositional static instruction cache simulation.	LCTES	2004	DBLP DOI BibTeX RDF	scheduling, real-time systems, caches, worst-case execution time
44	Kenneth L. McMillan	Circular Compositional Reasoning about Liveness.	CHARME	1999	DBLP DOI BibTeX RDF
42	Simon Baker, Iain A. Matthews	Lucas-Kanade 20 Years On: A Unifying Framework.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	Lucas-Kanade, a unifying framework, additive vs. compositional algorithms, forwards vs. inverse algorithms, the inverse compositional algorithm, Gauss-Newton, Newton, efficiency, image alignment, Levenberg-Marquardt, steepest descent
42	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
41	Roberto Giacobazzi, Isabella Mastroeni	Non-Standard Semantics for Program Slicing.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
41	Natalia Sidorova, Martin Steffen	Verifying Large SDL-Specifications Using Model Checking.	SDL Forum	2001	DBLP DOI BibTeX RDF	SDL model checking, bottom-up verification, verification case study, compositional, abstraction
38	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
38	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Bounded Model Checking of Compositional Processes.	TASE	2008	DBLP DOI BibTeX RDF	Compositional Processes, Tool, Bounded Model Checking
38	Zhangxin Chen, Guanren Huan, Hemei Wang	Computer Simulation of Compositional Flow Using Unstructured Control Volume Finite Element Methods.	Computing	2006	DBLP DOI BibTeX RDF	reservoir simulation, control volume finite element, gas cycling, condensate reservoir, unstructured grids, Compositional model, numerical experiments
38	Yung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang	ARCATS: a scalable compositional analysis tool suite.	SAC	2006	DBLP DOI BibTeX RDF	context constraints, refactoring, compositional analysis, branching bisimulation
38	Sidi O. Ehmety, Lawrence C. Paulson	Mechanizing compositional reasoning for concurrent systems: some lessons.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Existential properties, Universal properties, Guarantees assertions, UNITY, Isabelle, Compositional reasoning
38	Olivier Ly	Compositional Verification: Decidability Issues Using Graph Substitutions.	MFCS	2004	DBLP DOI BibTeX RDF	Tree Automata, Compositional Verification, Monadic Second-Order Logic
38	Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan	Towards scalable compositional analysis by refactoring design models.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	refactoring, CCS, compositional analysis, promela
38	Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli	Compositional Verification of Secure Streamed Data: A Case Study with EMSS.	ICTCS	2003	DBLP DOI BibTeX RDF	Compositional Analysis and Verification, Digital Streams, Security, Integrity
38	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
38	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
38	Naoshi Uchihira, Shinichi Honiden	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.	HICSS (2)	1995	DBLP DOI BibTeX RDF	fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach
38	Henk Schepers, Jozef Hooman	Trace-Based Compositional Reasoning about Fault Tolerant Systems.	PARLE	1993	DBLP DOI BibTeX RDF	Compositional proof theory, fault hypothesis, relative network completeness, fault tolerance, verification, specification, safety, soundness
37	Marieke Huisman, Irem Aktug, Dilian Gurov	Program Models for Compositional Verification.	ICFEM	2008	DBLP DOI BibTeX RDF
37	Saswat Anand, Patrice Godefroid, Nikolai Tillmann	Demand-Driven Compositional Symbolic Execution.	TACAS	2008	DBLP DOI BibTeX RDF
37	Hua-Yan Wang, Qiang Yang 0001, Hong Qin 0001, Hongbin Zha	Dirichlet component analysis: feature extraction for compositional data.	ICML	2008	DBLP DOI BibTeX RDF
37	Arvind Easwaran, Insup Lee 0001, Insik Shin, Oleg Sokolsky	Compositional Schedulability Analysis of Hierarchical Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
37	Björn Ommer, Joachim M. Buhmann	Learning the Compositional Nature of Visual Objects.	CVPR	2007	DBLP DOI BibTeX RDF
37	Tim McComb, Graeme Smith 0001	Compositional Class Refinement in Object-Z.	FM	2006	DBLP DOI BibTeX RDF
37	Maarten H. van Emden	Compositional Semantics for the Procedural Interpretation of Logic.	ICLP	2006	DBLP DOI BibTeX RDF
37	Jin Yang 0006, Carl-Johan H. Seger	Compositional Specification and Model Checking in GSTE.	CAV	2004	DBLP DOI BibTeX RDF
37	Henk L. Muller, Dan Page, James Irwin, David May 0001	Caches with Compositional Performance.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF
37	Yih-Kuen Tsay	Compositional Verification in Linear-Time Temporal Logic.	FoSSaCS	2000	DBLP DOI BibTeX RDF
37	Willem P. de Roever	The Need for Compositional Proof Systems: A Survey.	COMPOS	1997	DBLP DOI BibTeX RDF
37	I. S. W. B. Prasetya	Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.	TPHOLs	1994	DBLP DOI BibTeX RDF
37	Antti Valmari	Compositional State Space Generation.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	analysis of behaviour of nets, compositionality, state space, Communicating Sequential Processes, system verification
34	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
34	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001	Concurrent software verification with states, events, and deadlocks.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
34	Michel Charpentier	Composing Invariants.	FME	2003	DBLP DOI BibTeX RDF	formal specification, temporal logic, invariants, compositional verification
34	Ernst-Rüdiger Olderog	Strong bisimilarity on nets: a new concept for comparing net semantics.	REX Workshop	1988	DBLP DOI BibTeX RDF	Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness
34	Adrien Bartoli	Groupwise Geometric and Photometric Direct Image Registration.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
34	Khaled M. Khan, Jun Han 0004, Yuliang Zheng 0001	Security Characterization of Software Components and Their Composition.	TOOLS (36)	2000	DBLP DOI BibTeX RDF
31	Juan Antonio Cuesta-Albertos, Antonio Cuevas, Ricardo Fraiman	On projection-based tests for directional and compositional data.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Compositional data, Directional data, Sphericity, Uniformity
31	Nighat Yasmin, Murali Sitaraman	Compositional performance prediction exemplified using generic object finalization analysis.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	performance prediction, compositional analysis
31	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
31	Sulin Ba, Karl Reiner Lang, Andrew B. Whinston	Compositional enterprise modeling and decision support.	Inf. Syst. E Bus. Manag.	2008	DBLP DOI BibTeX RDF	Automatic model building, Knowledge components, Organizational knowledge base design, Knowledge management, Decision support systems, Enterprise modeling, Knowledge reuse, Compositional modeling, Model integration
31	Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee 0001	Compositional Feasibility Analysis of Conditional Real-Time Task Models.	ISORC	2008	DBLP DOI BibTeX RDF	Recurring Branching Tasks, Schedulability, Compositional Analysis
31	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
31	Pim van den Broek, Joost Noppen	The Compositional Rule of Inference and Zadeh's Extension Principle for Non-normal Fuzzy Sets.	IFSA (2)	2007	DBLP DOI BibTeX RDF	compositional rule of inference, fuzzy Booleans, extension principle
31	Patrice Godefroid	Compositional dynamic test generation.	POPL	2007	DBLP DOI BibTeX RDF	compositional program analysis, scalability, software testing, program verification, automatic test generation
31	Jeroen Keppens, Qiang Shen 0001	Granularity and disaggregation in compositional modelling with applications to ecological systems.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Ecological systems, Granularity, Model-based reasoning, Compositional modelling, Disaggregation
31	Dekai Wu	MT model space: statistical versus compositional versus example-based machine translation.	Mach. Transl.	2005	DBLP DOI BibTeX RDF	Compositional MT, Example-based MT, Statistical MT
31	Alma L. Juarez Dominguez, Nancy A. Day	Compositional reasoning for port-based distributed systems.	ASE	2005	DBLP DOI BibTeX RDF	DFC, model checking, theorem proving, compositional verification
31	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
31	Kohei Honda 0001, Nobuko Yoshida	A compositional logic for polymorphic higher-order functions.	PPDP	2004	DBLP DOI BibTeX RDF	compositional logics, polymorphim, types, higher-order functions
31	Sea Ling, Seng Wai Loke	A formal compositional model of multiagent interaction.	AAMAS	2003	DBLP DOI BibTeX RDF	compositional specifications, petri nets, agent-oriented software engineering, interaction protocols
31	Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori	Support System for Constructing Communication Services and Protocols Based on Compositional Approach.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	communication service design, communication protocol design, compositional approach, sequential composition, protocols, LOTOS, service specifications, protocol specifications, parallel composition
31	Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi	Verification Criteria for a Compositional Model for Reactive Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	verification criteria, system composition/decomposition, external interface, temporal constraint propagation, structural hierarchy, missing temporal constraints, TROL, object oriented real time language, formal specification, reactive systems, compositional model, graphical notation
31	Shing-Chi Cheung, Jeff Kramer	Checking Safety Properties Using Compositional Reachability Analysis.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	compositional reachability analysis, distributed systems, model checking, static analysis, safety properties
31	Shing-Chi Cheung, Jeff Kramer	Context Constraints for Compositional Reachability Analysis.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	compositional techniques, context constraints, distributed systems, concurrency, static analysis, validation, reachability analysis, labeled transition systems, state space reduction
31	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
30	Michael Greenacre, Paul Lewi	Distributional Equivalence and Subcompositional Coherence in the Analysis of Compositional Data, Contingency Tables and Ratio-Scale Measurements.	J. Classif.	2009	DBLP DOI BibTeX RDF	Association models, Biplot, Log-ratio analysis, Spectral mapping, Singular value decomposition, Correspondence analysis
30	Pamela Zave, Eric Cheung	Compositional Control of IP Media.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
30	Frédéric Lang, Radu Mateescu 0001	Partial Order Reductions Using Compositional Confluence Detection.	FM	2009	DBLP DOI BibTeX RDF
30	Yu-Fang Chen 0001, 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
30	Michaela Götz, Christoph Koch 0001	A compositional framework for complex queries over uncertain data.	ICDT	2009	DBLP DOI BibTeX RDF
30	Yih-Kuen Tsay, Bow-Yaw Wang	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties.	CIAA	2008	DBLP DOI BibTeX RDF
30	George Papandreou, Petros Maragos	Adaptive and constrained algorithms for inverse compositional Active Appearance Model fitting.	CVPR	2008	DBLP DOI BibTeX RDF
30	Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe	RESY: Requirement Synthesis for Compositional Model Checking.	TACAS	2008	DBLP DOI BibTeX RDF
30	Jasper Berendsen, Frits W. Vaandrager	Compositional Abstraction in Real-Time Model Checking.	FORMATS	2008	DBLP DOI BibTeX RDF
30	Tianfu Wu 0001, Gui-Song Xia, Song Chun Zhu	Compositional Boosting for Computing Hierarchical Image Structures.	CVPR	2007	DBLP DOI BibTeX RDF
30	Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu	Refining Interface Alphabets for Compositional Verification.	TACAS	2007	DBLP DOI BibTeX RDF
30	Björn Bringert, Aarne Ranta	A pattern for almost compositional functions.	ICFP	2006	DBLP DOI BibTeX RDF	dependent type theory, java, haskell, abstract syntax, traversal, visitor pattern
30	Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen	Compositional MDA.	MoDELS	2006	DBLP DOI BibTeX RDF
30	Bernd Finkbeiner, Sven Schewe, Matthias Brill	Automatic Synthesis of Assumptions for Compositional Model Checking.	FORTE	2006	DBLP DOI BibTeX RDF
30	Giorgio Delzanno, Maurizio Gabbrielli	Compositional Verification of Asynchronous Processes via Constraint Solving.	ICALP	2005	DBLP DOI BibTeX RDF
30	Dilian Gurov, Marieke Huisman	Interface Abstraction for Compositional Verificatio.	SEFM	2005	DBLP DOI BibTeX RDF
30	Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi	Constructive Specifications for Compositional Units.	LOPSTR	2004	DBLP DOI BibTeX RDF
30	Hong Peng, Sofiène Tahar, Yassine Mokhtari	Compositional Verification of a Switch Fabric from Nortel Networks.	ICFEM	2003	DBLP DOI BibTeX RDF
30	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
30	Dmitry O. Briukhov, Leonid A. Kalinichenko, Iliya Tyurin	Extension of Compositional Information Systems Development for the Web Services Platform.	ADBIS	2003	DBLP DOI BibTeX RDF
30	Benedikt Bollig, Martin Leucker, Philipp Lucas 0001	Extending Compositional Message Sequence Graphs.	LPAR	2002	DBLP DOI BibTeX RDF
30	Hong Peng, Yassine Mokhtari, Sofiène Tahar	Environment Synthesis for Compositional Model Checking.	ICCD	2002	DBLP DOI BibTeX RDF
30	Lars Michael Kristensen, Thomas Mailund	A Compositional Sweep-Line State Space Exploration Method.	FORTE	2002	DBLP DOI BibTeX RDF
30	Gilles Barthe, Dilian Gurov, Marieke Huisman	Compositional Verification of Secure Applet Interactions.	FASE	2002	DBLP DOI BibTeX RDF
30	Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann	The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.	MFCS	1999	DBLP DOI BibTeX RDF