Search results for "Compositional"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Kenneth L. McMillan	Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
30	Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle	Compositional Performance Modelling with TIPPtool.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
30	María Alpuente, Moreno Falaschi, Germán Vidal	Compositional Analysis for Equational Horn Programs.	ALP	1994	DBLP DOI BibTeX RDF	equational logic programming, compositionality, Semantic analysis, term rewriting systems
30	Eike Best, Hans-Günther Linde-Göers	Compositional Process Semantics of Petri Boxes.	MFPS	1993	DBLP DOI BibTeX RDF
30	Shing-Chi Cheung, Jeff Kramer	Enhancing Compositional Reachability Analysis with Context Constraints.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
30	Roope Kaivola, Antti Valmari	The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic.	CONCUR	1992	DBLP DOI BibTeX RDF
28	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
28	Ho Kyoung Lee, Woo Jin Lee, Heung Seok Chae, Yong Rae Kwon	Specification and analysis of timing requirements for real-time systems in the CBD approach.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Real-time system, Petri nets, Component, Timing analysis, Timing constraints, CBD, Compositional analysis
28	Simon Künzli 0001, Arne Hamann, Rolf Ernst, Lothar Thiele	Combined approach to system level performance analysis of embedded systems.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	SymTA/S, compositional performance analysis, modular performance analysis
28	Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee 0001	Incremental schedulability analysis of hierarchical real-time components.	EMSOFT	2006	DBLP DOI BibTeX RDF	associative real-time interfaces, compositional schedulability analysis, incremental schedulability analysis, hierarchical scheduling
28	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
28	Changlin Sun	Empirical reasoning about quality of service of component-based distributed systems.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	quality of service, component-based development, compositional reasoning
27	Junsong Yuan, Jiebo Luo, Henry A. Kautz, Ying Wu 0001	Mining GPS traces and visual words for event classification.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	event categorization, gps information, image data mining
27	Simon Baker, Iain A. Matthews	Equivalence and Efficiency of Image Alignment Algorithms.	CVPR (1)	2001	DBLP DOI BibTeX RDF
27	Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori	Composition of Service and Protocol Specifications.	ICOIN	2001	DBLP DOI BibTeX RDF
27	Michel Charpentier, K. Mani Chandy	Reasoning about Composition Using Property Transformers and Their Conjugates.	IFIP TCS	2000	DBLP DOI BibTeX RDF
27	Mercedes Amor, Mónica Pinto, Lidia Fuentes, José M. Troya	Combining Software Components and Mobile Agents.	ESAW	2000	DBLP DOI BibTeX RDF
27	Jonathan S. Ostroff	Composition and Refinement of Discrte Real-Time Systems.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	timed logic, model-checking, temporal logic, refinement, abstraction, modules, state explosion
27	Robert de Simone, Annie Ressouche	Compositional Semantics of ESTEREL and Verification by Compositional Reductions.	CAV	1994	DBLP DOI BibTeX RDF
24	Michael J. A. Smith	Compositional Abstractions for Long-Run Properties of Stochastic Systems.	QEST	2011	DBLP DOI BibTeX RDF	Stochastic Bounds, Compositional Abstraction, Performance Evaluation, Stochastic Process Algebra
24	Heiko Mantel, David Sands 0001, Henning Sudbrock	Assumptions and Guarantees for Compositional Noninterference.	CSF	2011	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security
24	Jan Bosch	Toward Compositional Software Product Lines.	IEEE Softw.	2010	DBLP DOI BibTeX RDF	compositional software product lines, software engineering, reuse, software product lines
24	Nathan Fisher, Farhana Dewan	Approximate Bandwidth Allocation for Compositional Real-Time Systems.	ECRTS	2009	DBLP DOI BibTeX RDF	Interface Bandwidth, Approximation Algorithms, Compositional Analysis, Uniprocessors
24	Ruth Lamprecht, Peter Kemper	On the Detection of Symmetries in Compositional Markov Models.	QEST	2009	DBLP DOI BibTeX RDF	lumpability, Markov Chains, compositional models, symmetry detection
24	Ramzi Ben Salah, Marius Bozga, Oded Maler	Compositional timing analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	compositional generation, abstraction, timed automata, reachability analysis
24	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
24	Tao Sun, Zheng Wang 0005, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu 0006	Towards Scalable Compositional Test Generation.	QSIC	2009	DBLP DOI BibTeX RDF	Compositional Testing, Partial Execution, Program Slicing, Automatic Test Generation
24	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
24	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	A compositional Petri net translation of general pi -calculus terms.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Compositional translation, Mobility, Petri nets, Process algebra, ?-Calculus
24	Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer	Verification of Liveness Properties Using Compositional Reachability Analysis.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	Bu¨chi automata, reachability analysis, labelled transition systems, distributed computing systems, compositional verification, liveness properties
24	Giacomo Bucci, Enrico Vicario	Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models
24	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
24	Javier Esparza, Manuel Silva Suárez	Compositional Synthesis of Live and Bounded Free Choice Petri Nets.	CONCUR	1991	DBLP DOI BibTeX RDF	Free Choice nets, compositional synthesis, Petri nets, liveness, boundedness
23	Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali	Compositional may-must program analysis: unleashing the power of alternation.	POPL	2010	DBLP DOI BibTeX RDF	software model checking, abstraction refinement, directed testing
23	Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean	Safe compositional network sketches: formal framework.	HSCC	2010	DBLP DOI BibTeX RDF	modeling, design, verification, typing, compositionality
23	Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Semantics
23	Haiqiong Yao, Hao Zheng 0001	Automated Interface Refinement for Compositional Verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
23	Anders Sejer Tranberg-Hansen, Jan Madsen	A compositional modelling framework for exploring MPSoC systems.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	MPSoC, system level design, performance estimation
23	Anders Sejer Tranberg-Hansen, Jan Madsen	Exploration of a digital audio processing platform using a compositional system level performance estimation framework.	SIES	2009	DBLP DOI BibTeX RDF
23	Zurab Khasidashvili, Daher Kaiss, Doron Bustan	A compositional theory for post-reboot observational equivalence checking of hardware.	FMCAD	2009	DBLP DOI BibTeX RDF
23	Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer	Compositional Abstraction for Stochastic Systems.	FORMATS	2009	DBLP DOI BibTeX RDF
23	Alan L. Yuille, Songfeng Zheng	Compositional noisy-logical learning.	ICML	2009	DBLP DOI BibTeX RDF
23	Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes	A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management.	DAC	2009	DBLP DOI BibTeX RDF	CMP run-time management, MMKP, Pareto algebra
23	Insik Shin, Insup Lee 0001	Compositional real-time scheduling framework with periodic model.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	scheduling, real-time, component, interface, composition, abstract, Hierarchical
23	Yilei Xu, Amit K. Roy-Chowdhury	Inverse Compositional Estimation of 3D Pose And Lighting in Dynamic Scenes.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Motion, Video analysis
23	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Compositional encoding for bounded model checking.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking
23	Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella	A Compositional Semantics for CHR with Propagation Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
23	Björn Metzler 0001, Heike Wehrheim, Daniel Wonisch	Decomposition for Compositional Verification.	ICFEM	2008	DBLP DOI BibTeX RDF
23	Tingting Han 0001, Joost-Pieter Katoen, Alexandru Mereacre	Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.	HSCC	2008	DBLP DOI BibTeX RDF
23	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	An analyzer for extended compositional process algebras.	ICSE Companion	2008	DBLP DOI BibTeX RDF	simulation, model checking, fairness, sat solvers
23	Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini	Compositional and holistic quantum computational semantics.	Nat. Comput.	2007	DBLP DOI BibTeX RDF	quantum computation, quantum logic
23	Paul Vogt	Group Size Effects on the Emergence of Compositional Structures in Language.	ECAL	2007	DBLP DOI BibTeX RDF
23	Wei Dong 0006, Ji Wang 0001, Zhichang Qi, Ni Rong	Compositional Verification of UML Dynamic Models.	APSEC	2007	DBLP DOI BibTeX RDF
23	D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda	Foundations of a Compositional Interchange Format for Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
23	Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga	A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.	ATVA	2007	DBLP DOI BibTeX RDF
23	Rafik Henia, Razvan Racu, Rolf Ernst	Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
23	Sharon Shoham, Orna Grumberg	Compositional Verification and 3-Valued Abstractions Join Forces.	SAS	2007	DBLP DOI BibTeX RDF
23	Arvind Easwaran, Madhukar Anand, Insup Lee 0001	Compositional Analysis Framework Using EDP Resource Models.	RTSS	2007	DBLP DOI BibTeX RDF
23	Björn Ommer, Joachim M. Buhmann	Compositional Object Recognition, Segmentation, and Tracking in Video.	EMMCVPR	2007	DBLP DOI BibTeX RDF
23	Yifeng Chen, Jeff W. Sanders	Compositional Reasoning for Pointer Structures.	MPC	2006	DBLP DOI BibTeX RDF
23	Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga	Compositional Quantitative Reasoning.	QEST	2006	DBLP DOI BibTeX RDF
23	M. Birna van Riemsdijk, John-Jules Ch. Meyer	A Compositional Semantics of Plan Revision in Intelligent Agents.	AMAST	2006	DBLP DOI BibTeX RDF
23	Pamela Zave, Eric Cheung	Compositional control of IP media.	CoNEXT	2006	DBLP DOI BibTeX RDF	protocol verification, protocol architecture, software/program verification
23	Satoru Ikehara, Masato Tokuhisa, Jin'ichi Murakami, Masashi Saraki, Masahiro Miyazaki, Naoshi Ikeda	Pattern Dictionary Development Based on Non-compositional Language Model for Japanese Compound and Complex Sentences.	ICCPOL	2006	DBLP DOI BibTeX RDF	Pattern Dictionary, Language Model, Machine Translation
23	Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna	Post-reboot Equivalence and Compositional Verification of Hardware.	FMCAD	2006	DBLP DOI BibTeX RDF
23	Björn Ommer, Joachim M. Buhmann	Learning Compositional Categorization Models.	ECCV (3)	2006	DBLP DOI BibTeX RDF
23	Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	PPDP	2005	DBLP DOI BibTeX RDF
23	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.	VMCAI	2005	DBLP DOI BibTeX RDF
23	I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen	Building Verification Condition Generators by Compositional Extensions.	SEFM	2005	DBLP DOI BibTeX RDF	modular verification, verification tool, verification technique
23	Carlo A. Furia, Matteo Rossi 0001, Dino Mandrioli, Angelo Morzenti	Automated Compositional Proofs for Real-Time Systems.	FASE	2005	DBLP DOI BibTeX RDF
23	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina	Automated, compositional and iterative deadlock detection.	MEMOCODE	2004	DBLP DOI BibTeX RDF
23	Christoph Sprenger 0001, Dilian Gurov, Marieke Huisman	Compositional verification for secure loading of smart card applets.	MEMOCODE	2004	DBLP DOI BibTeX RDF
23	Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta 0001	A Behavioral Type Inference System for Compositional System-on-Chip Design.	ACSD	2004	DBLP DOI BibTeX RDF
23	Vincenzo Grassi, Raffaela Mirandola	Towards automatic compositional performance analysis of component-based systems.	WOSP	2004	DBLP DOI BibTeX RDF	performance, software component, predictive analysis, component specification
23	Laura Bocchi	Compositional Nested Long Running Transactions.	FASE	2004	DBLP DOI BibTeX RDF
23	Alexander Egyed	Compositional and Relational Reasoning during Class Abstraction.	UML	2003	DBLP DOI BibTeX RDF
23	Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen	A Compositional Operational Semantics for JavaMT.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
23	Patrick Maier 0001	Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.	FoSSaCS	2003	DBLP DOI BibTeX RDF
23	Machiel van der Bijl, Arend Rensink, Jan Tretmans	Compositional Testing with ioco.	FATES	2003	DBLP DOI BibTeX RDF
23	Insik Shin, Insup Lee 0001	Periodic Resource Model for Compositional Real-Time Guarantees.	RTSS	2003	DBLP DOI BibTeX RDF
23	Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Assumptions for Compositional Verification.	TACAS	2003	DBLP DOI BibTeX RDF
23	Vassilis Tzouvaras, Giorgos B. Stamou, Stefanos D. Kollias	Knowledge Refinement Using Fuzzy Compositional Neural Networks.	ICANN	2003	DBLP DOI BibTeX RDF
23	Antonella Santone	Automatic verification of concurrent systems using a formula-based compositional approach.	Acta Informatica	2002	DBLP DOI BibTeX RDF
23	Bharat Jayaraman, Pallavi Tambay	Compositional Semantics for Diagrams Using Constrained Objects.	Diagrams	2002	DBLP DOI BibTeX RDF
23	Yong Huang, Kap Luk Chan	A linear compositional model for analyzing and classifying image textures.	ICARCV	2002	DBLP DOI BibTeX RDF
23	Michele Boreale, Daniele Gorla	On Compositional Reasoning in the Spi-calculus.	FoSSaCS	2002	DBLP DOI BibTeX RDF	reasoning on security, process calculi, axiomatization
23	Gregor Gößler, Alberto L. Sangiovanni-Vincentelli	Compositional Modeling in Metropolis.	EMSOFT	2002	DBLP DOI BibTeX RDF
23	Mahesh Viswanathan 0001, Ramesh Viswanathan	Foundations for Circular Compositional Reasoning.	ICALP	2001	DBLP DOI BibTeX RDF
23	Rajeev Alur, Radu Grosu, Insup Lee 0001, Oleg Sokolsky	Compositional Refinement for Hierarchical Hybrid Systems.	HSCC	2001	DBLP DOI BibTeX RDF
23	Fausto Spoto	Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses.	SAS	2001	DBLP DOI BibTeX RDF
23	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
23	Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala	Compositional Methods for Probabilistic Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
23	Antti Puhakka	Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities.	ICECCS	2001	DBLP DOI BibTeX RDF	com-positionality, arbitrary channel capacities, verification, protocols, parallel systems
23	Hanna Klaudel, Franck Pommereau	A Concurrent and Compositional Petri Net Semantics of Preemption.	IFM	2000	DBLP DOI BibTeX RDF	Petri nets, Concurrency, Compositionality, Preemption
23	Jean-Pierre Krimm, Laurent Mounier	Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems.	TACAS	2000	DBLP DOI BibTeX RDF
23	Riccardo Focardi, Roberto Gorrieri	The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Tools and techniques, network protocol verification, access controls, program verification, information flow controls
23	Jeffrey J. P. Tsai, Eric Y. T. Juan	Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems.	HASE	1997	DBLP DOI BibTeX RDF
23	Roope Kaivola	Using Compositional Preorders in the Verification of Sliding Window Protocal.	CAV	1997	DBLP DOI BibTeX RDF
23	Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001	A Compositional Proof of a Real-Time Mutual Exclusion Protocol.	TAPSOFT	1997	DBLP DOI BibTeX RDF
23	Theo M. V. Janssen	An Overview of Compositional Translations.	COMPOS	1997	DBLP DOI BibTeX RDF