Search results for "Compositional"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Justin Washtell	Compositional Expectation: A Purely Distributional Model of Compositional Semantics.	ICWS	2011	DBLP BibTeX RDF
20	John E. Hummel, Keith J. Holyoak, Collin B. Green, Leonidas A. A. Doumas, Derek Devnich, Aniket Kittur, Donald J. Kalar	A Solution to the Binding Problem for Compositional Connectionism.	AAAI Technical Report (3)	2004	DBLP BibTeX RDF
20	Karl Pfleger	On-Line Learning of Predictive Compositional Hierarchies by Hebbian Chunking.	AAAI Technical Report (3)	2004	DBLP BibTeX RDF
20	John C. Flackett, John Tait, Guy Littlefair	Scaling Connectionist Compositional Representations.	AAAI Technical Report (3)	2004	DBLP BibTeX RDF
20	Frank van der Velde	A Neural Model of Compositional Sentence Structures.	AAAI Technical Report (3)	2004	DBLP BibTeX RDF
20	Richard Banach	Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.).	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
20	Alberto Voltolini	Compositional Supervinience Without Compositional Meaning?	WOCFAI	1995	DBLP BibTeX RDF
20	K. Mani Chandy, Carl Kesselman	Compositional C++: Compositional Parallel Programming.	LCPC	1992	DBLP DOI BibTeX RDF
17	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer 0001, Bernd Becker 0001	Compositional Dependability Evaluation for STATEMATE.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
17	Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis	D-Finder: A Tool for Compositional Deadlock Detection and Verification.	CAV	2009	DBLP DOI BibTeX RDF
17	Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe	Towards Performance Prediction of Compositional Models in Industrial GALS Designs.	CAV	2009	DBLP DOI BibTeX RDF
17	Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001	Compositional Verification of Input-Output Conformance via CSP Refinement Checking.	ICFEM	2009	DBLP DOI BibTeX RDF
17	Nathalie Bertrand 0001, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet	A Compositional Approach on Modal Specifications for Timed Systems.	ICFEM	2009	DBLP DOI BibTeX RDF
17	Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera	Towards Compositional Verification in MEDISTAM-RT Methodological Framework.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Real-time, Communication Protocols, Deadlock-freeness
17	Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001	Towards a compositional approach to model transformation for software development.	SAC	2009	DBLP DOI BibTeX RDF
17	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang	Compositional shape analysis by means of bi-abduction.	POPL	2009	DBLP DOI BibTeX RDF	program analysis, abduction, proof theory
17	Kenneth Chan, Iman Poernomo	Compositional Prediction of Timed Behaviour for Process Control Architecture.	QoSA	2009	DBLP DOI BibTeX RDF
17	Yael Meller, Orna Grumberg, Sharon Shoham	A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement.	ATVA	2009	DBLP DOI BibTeX RDF
17	Alwyn Goodloe, César A. Muñoz	Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle.	FMICS	2009	DBLP DOI BibTeX RDF
17	Baolin Shao, Nalini Vasudevan, Stephen A. Edwards	Compositional deadlock detection for rendezvous communication.	EMSOFT	2009	DBLP DOI BibTeX RDF	SHIM, concurrency, static analysis, deadlock, divide-and-conquer
17	Adam Bakewell, Dan R. Ghica	Compositional Predicate Abstraction from Game Semantics.	TACAS	2009	DBLP DOI BibTeX RDF
17	Wouter Kuijper, Jaco van de Pol	Compositional Control Synthesis for Partially Observable Systems.	CONCUR	2009	DBLP DOI BibTeX RDF
17	Jooyeon Hwang, Dongsup Lim, Doowon Paik	A Straight Line-Based Distance Measure to Compute Photographic Compositional Dissimilarity.	FGIT	2009	DBLP DOI BibTeX RDF	Photographic Composition, Line Elements, Image Retrieval System
17	Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001	A compositional approach to bidirectional model transformation.	ICSE Companion	2009	DBLP DOI BibTeX RDF
17	Rodolfo Gómez 0001	A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF	Urgent actions, Timed Automata with Deadlines, Uppaal
17	Dimitra Giannakopoulou, Corina S. Pasareanu	Interface Generation and Compositional Verification in JavaPathfinder.	FASE	2009	DBLP DOI BibTeX RDF
17	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
17	Hao Zheng 0001, Jared Ahrens, Tian Xia	A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
17	Zijian Xu 0001, Hong Chen, Song Chun Zhu, Jiebo Luo	A Hierarchical Compositional Model for Face Representation and Sketching.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Statistical, Hierarchical, Image Processing and Computer Vision
17	Nicholas D. H. Dowson, Richard Bowden	Mutual Information for Lucas-Kanade Tracking (MILK): An Inverse Compositional Formulation.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Optimization, Computer vision, Tracking, Image Processing and Computer Vision
17	Cindy Eisner, Amir Nahir, Karen Yorav	Functional Verification of Power Gated Designs by Compositional Reasoning.	CAV	2008	DBLP DOI BibTeX RDF
17	Rafal Mrowka, Tomasz Szmuc	UML Statecharts Compositional Semantics in LOTOS.	ISPDC	2008	DBLP DOI BibTeX RDF
17	Jürg Gutknecht, Roman Mitin	Project Zonnon: A Compositional Language for Distributed Computing.	ICCBSS	2008	DBLP DOI BibTeX RDF	Programming Language Concepts, Distributed Language, Language Interoperability, Zonnon, Concurrent Programming, Computing Model, .NET, Oberon
17	Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic	Compositional design of isochronous systems.	DATE	2008	DBLP DOI BibTeX RDF
17	Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen	Compositional Verification for Component-Based Systems and Application.	ATVA	2008	DBLP DOI BibTeX RDF
17	Lei Jiang 0002, Alexander Borgida, John Mylopoulos	Towards a Compositional Semantic Account of Data Quality Attributes.	ER	2008	DBLP DOI BibTeX RDF
17	Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave	Towards compositional synthesis of evolving systems.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	behavioural design patterns, feature-based development, synthesis, pipelines, I/O automata
17	Mila E. Majster-Cederbaum, Moritz Martens	Compositional analysis of deadlock-freedom for tree-like component architectures.	EMSOFT	2008	DBLP DOI BibTeX RDF	architecture, design patterns, interaction systems, compositionality, component-based systems, deadlock-freedom
17	Azadeh Farzan, Yu-Fang Chen 0001, 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
17	Ethan K. Jackson, Wolfram Schulte	Compositional Modeling for Data-Centric Business Applications.	SC@ETAPS	2008	DBLP DOI BibTeX RDF
17	Michael Pedersen	Compositional Definitions of Minimal Flows in Petri Nets.	CMSB	2008	DBLP DOI BibTeX RDF	minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity
17	Yuuya Sugita, Jun Tani	Acquiring a Functionally Compositional System of Goal-Directed Actions of a Simulated Agent.	SAB	2008	DBLP DOI BibTeX RDF
17	Bjørnar Solhaug, Ketil Stølen	Compositional Refinement of Policies in UML - Exemplified for Access Control.	ESORICS	2008	DBLP DOI BibTeX RDF	policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement
17	Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel	Adequacy of Compositional Translations for Observational Semantics.	IFIP TCS	2008	DBLP DOI BibTeX RDF
17	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
17	Kung-Kiu Lau, Ioannis Ntalamagkas	A Compositional Approach to Active and Passive Components.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
17	Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson	Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Controllability, Synthesis, Discrete event systems, Supervisory control, Model reduction, Finite state automata, Nonblocking
17	Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi 0001, Masato Takeichi	A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	skeletal parallel programming, matrix, Constructive algorithmics
17	Kenneth O. Stanley	Compositional pattern producing networks: A novel abstraction of development.	Genet. Program. Evolvable Mach.	2007	DBLP DOI BibTeX RDF	Developmental encoding, Complexity, Evolutionary computation, Representation, Indirect encoding, Artificial embryogeny, Generative systems
17	Roberto Sebastian Legaspi, Yuya Hashimoto, Koichi Moriyama, Satoshi Kurihara, Masayuki Numao	Music compositional intelligence with an affective flavor.	IUI	2007	DBLP DOI BibTeX RDF	user modeling, affective computing, adaptive user interface, automated reasoning
17	Elisabeth Pelz, Dietmar Tutsch	Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
17	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier	A Compositional Testing Framework Driven by Partial Specifications.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
17	Simon Schliecker, Steffen Stein, Rolf Ernst	Performance analysis of complex systems by integration of dataflow graphs and compositional performance analysis.	DATE	2007	DBLP DOI BibTeX RDF
17	Xin Fu, Qiang Shen 0001, Ruiqing Zhao	Towards Fuzzy Compositional Modelling.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
17	Silvia Crafa, Daniele Varacca, Nobuko Yoshida	Compositional Event Structure Semantics for the Internal pi -Calculus.	CONCUR	2007	DBLP DOI BibTeX RDF
17	Conghua Zhou	A compositional symbolic verification framework for concurrent software.	Infoscale	2007	DBLP DOI BibTeX RDF	model checking, composition, abstract, SAT
17	Mihhail Matskin, Riina Maigre, Enn Tyugu	Compositional Logical Semantics for Business Process Languages.	ICIW	2007	DBLP DOI BibTeX RDF
17	Ralf Blossey, Luca Cardelli, Andrew Phillips	A Compositional Approach to the Stochastic Dynamics of Gene Networks.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
17	Jürgen Dingel	Compositional Analysis of C/C++ Programs with VeriSoft.	Acta Informatica	2006	DBLP DOI BibTeX RDF
17	Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi	Compositional SCC Analysis for Language Emptiness.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	language emptiness, model checking, BDD, LTL, abstraction refinement
17	Markus Lumpe, Jean-Guy Schneider	Classboxes: an experiment in modeling compositional abstractions using explicit contexts.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
17	Francisco Heron de Carvalho Junior, Rafael Dueire Lins	A categorical characterization for the compositional features of the # component model.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
17	Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen	Compositional specification of commercial contracts.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF
17	Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta 0001, R. K. Shyamasundar	Compositional interaction specifications for SystemC.	MEMOCODE	2006	DBLP DOI BibTeX RDF
17	Reinhard Gotzhein, Ferhat Khendek	Compositional Testing of Communication Systems.	TestCom	2006	DBLP DOI BibTeX RDF
17	Gordon J. Pace, Gerardo Schneider	A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.	ICTAC	2006	DBLP DOI BibTeX RDF
17	Anca Mariana Molnos, Marc J. M. Heijligers, Sorin Dan Cotofana, Jos T. J. van Eijndhoven	Compositional, efficient caches for a chip multi-processor.	DATE	2006	DBLP DOI BibTeX RDF
17	Arjan J. Mooij, Judi Romijn, Wieger Wesselink	Realizability Criteria for Compositional MSC.	AMAST	2006	DBLP DOI BibTeX RDF
17	Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi	Computationally Sound Compositional Logic for Key Exchange Protocols.	CSFW	2006	DBLP DOI BibTeX RDF
17	Corina S. Pasareanu, Dimitra Giannakopoulou	Towards a Compositional SPIN.	SPIN	2006	DBLP DOI BibTeX RDF	model checking, learning, Assume-guarantee reasoning
17	Rupert Brooks, Tal Arbel	Generalizing inverse compositional image alignment.	ICPR (2)	2006	DBLP DOI BibTeX RDF
17	Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng	On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.	CIAA	2006	DBLP DOI BibTeX RDF
17	Egor Bondarev, Michel R. V. Chaudron, Peter H. N. de With	Compositional Performance Analysis of Component-Based Systems on Heterogeneous Multiprocessor Platforms.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
17	Gregor Gößler	Compositional Reachability Analysis of Genetic Networks.	CMSB	2006	DBLP DOI BibTeX RDF
17	Ewa Ochmanska	An Open Environment for Compositional Software Development.	ISPA Workshops	2006	DBLP DOI BibTeX RDF
17	Frédéric Lang	Refined Interfaces for Compositional Verification.	FORTE	2006	DBLP DOI BibTeX RDF
17	Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta 0001	A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	verification, formal methods, program transformation, models of computation, Embedded system design
17	Rajeev Alur, P. Madhusudan, Wonhong Nam	Symbolic Compositional Verification by Learning Assumptions.	CAV	2005	DBLP DOI BibTeX RDF
17	David Monniaux	Compositional Analysis of Floating-Point Linear Numerical Filters.	CAV	2005	DBLP DOI BibTeX RDF
17	Mauro Caporuscio, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Alfonso Pierantonio	Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications.	EWSA	2005	DBLP DOI BibTeX RDF
17	Richard Torbjørn Sanders, Humberto Nicolás Castejón Martínez, Frank Alexander Kraemer, Rolv Bræk	Using UML 2.0 Collaborations for Compositional Service Specification.	MoDELS	2005	DBLP DOI BibTeX RDF
17	Enric Plaza	Cooperative Reuse for Compositional Cases in Multi-agent Systems.	ICCBR	2005	DBLP DOI BibTeX RDF
17	Anca Mariana Molnos, Marc J. M. Heijligers, Sorin Dan Cotofana, Jos T. J. van Eijndhoven	Compositional Memory Systems for Multimedia Communicating Tasks.	DATE	2005	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani	Compositional Analysis of Contract Signing Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
17	Yung-Pin Cheng	Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.	SPIN	2005	DBLP DOI BibTeX RDF
17	Nick Benton	A Typed, Compositional Logic for a Stack-Based Abstract Machine.	APLAS	2005	DBLP DOI BibTeX RDF
17	Ismail Assayad, Sergio Yovine	Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations.	IICS	2005	DBLP DOI BibTeX RDF	Execution constraints synthesis, Concurrent loops, Compositionality
17	Bassam Haddad, Mustafa Yaseen	A Compositional Approach Towards Semantic Representation and Construction of ARABIC.	LACL	2005	DBLP DOI BibTeX RDF
17	Blaise Genest	Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.	TACAS	2005	DBLP DOI BibTeX RDF
17	Andreas Leicher, Susanne Busse, Jörn Guy Süß	Analysis of Compositional Conflicts in Component-Based Systems.	SC@ETAPS	2005	DBLP DOI BibTeX RDF
17	Luca Cardelli	A Compositional Approach to the Stochastic Dynamics of Gene Networks.	CONCUR	2005	DBLP DOI BibTeX RDF
17	Ernesto Exposito, Patrick Sénac, Michel Diaz	Compositional Architecture Pattern for QoS-Oriented Communication Mechanisms.	MMM	2005	DBLP DOI BibTeX RDF
17	Ying Qiao, Valdis Berzins, Luqi	FCD: A Framework for Compositional Development in Open Embedded Systems.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Open Embedded Systems, Schedule, Framework, Partition, Synthesis
17	Peng Wu 0002, Dongmei Zhang 0007	Compositional Modelling and Verification of IPv6 Mobility.	FORTE	2005	DBLP DOI BibTeX RDF
17	Jacqueline Floch, Rolv Bræk	A Compositional Approach to Service Validation.	SDL Forum	2005	DBLP DOI BibTeX RDF
17	Rachid Anane, Yinsheng Li, Chen-Fang Tsai, Kuo-Ming Chao, Muhammad Younas 0001	An Agent-Based Compositional Framework.	APWeb	2005	DBLP DOI BibTeX RDF
17	Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren 0002	Compositional Derivation of Symmetries for Constraint Satisfaction.	SARA	2005	DBLP DOI BibTeX RDF
17	Paulo Tabuada, George J. Pappas, Pedro U. Lima	Compositional Abstractions of Hybrid Control Systems.	Discret. Event Dyn. Syst.	2004	DBLP DOI BibTeX RDF	abstractions, hybrid systems, compositionality
17	Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta	Safe compositional specification of networking systems.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF	QoS theory, service composition, type systems, control theory
17	Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer	Compositional Model-Views with Generic Graphical User Interfaces.	PADL	2004	DBLP DOI BibTeX RDF