Search results for "Compositionality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Sofie Verbaeten, Marc Denecker, Danny De Schreye	Compositionality of Normal Open Logic Programs.	ILPS	1997	DBLP BibTeX RDF
16	Orna Kupferman, Moshe Y. Vardi	Modular Model Checking.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Theo M. V. Janssen	An Overview of Compositional Translations.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Zhou Chaochen, Michael R. Hansen	An Adequate First Order Interval Logic.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Bernd Finkbeiner, Zohar Manna, Henny Sipma	Deductive Verification of Modular Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Ernst-Rüdiger Olderog, Henning Dierks	Decomposing Real-Time Specifications.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Job Zwiers	Compositional Transformational Design for Concurrent Programs.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Frank S. de Boer, Willem P. de Roever	Compositional Proof Methods for Concurrency: A Semantic Approach.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Jerry James, Ambuj K. Singh	Compositional Proofs for Concurrent Objects.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Catholijn M. Jonker, Jan Treur	Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Natarajan Shankar	Lazy Compositional Verification.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke	Compositional Reasoning in Model Checking.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Qiwen Xu, Swarup Mohalik	Compositional Reasoning Using the Assumption-Commitment Paradigm.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Rajeev Alur, Thomas A. Henzinger, Orna Kupferman	Alternating-Time Temporal Logic.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Ben C. Moszkowski	Compositional Reasoning Using Interval Temporal Logic and Tempura.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Jozef Hooman	Compositional Verification of Real-Time Applications.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Sébastien Bornot, Joseph Sifakis, Stavros Tripakis	Modeling Urgency in Timed Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Axel Poigné, Leszek Holenderski	On the Combination of Synchronous Languages.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Mads Dam, Lars-Åke Fredlund, Dilian Gurov	Toward Parametric Verification of Open Distributed Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli	A Compositional Real-Time Semantics of STATEMATE Designs.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Leslie Lamport	Composition: A Way to Make Proofs Harder.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Fernando Orejas, Marisa Navarro, Ana Sánchez	Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.	Math. Struct. Comput. Sci.	1996	DBLP DOI BibTeX RDF
16	Manuel García-Carpintero Sánchez-Miguel	Two spurious varieties of compositionality.	Minds Mach.	1996	DBLP DOI BibTeX RDF
16	Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella	The And-compositionality of CLP Computed Answer Constraints.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
16	Elie Bienenstock, Stuart Geman, Daniel Potter	Compositionality, MDL Priors, and Object Recognition.	NIPS	1996	DBLP BibTeX RDF
16	Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst	Compositionality in Real-Time Shared Variable Concurrency.	FTRTFT	1996	DBLP DOI BibTeX RDF
16	Rosa M. Jiménez, Fernando Orejas, Hartmut Ehrig	Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.	Math. Struct. Comput. Sci.	1995	DBLP DOI BibTeX RDF
16	Pablo Gervás	Compositionality for Presuppositions over Tableaux	CoRR	1995	DBLP BibTeX RDF
16	Francis Corblin	Compositionality and Complexity in Multiple Negation.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
16	Josyula R. Rao	Extensions of the UNITY Methodology - Compositionality, Fairness and Probability in Parallelism		1995	DOI RDF
16	Marco Comini, Giorgio Levi, Maria Chiara Meo	Compositionality in SLD-Derivations and their Abstractions.	ILPS	1995	DBLP BibTeX RDF
16	Marco Comini, Giorgio Levi, Maria Chiara Meo	Compositionality in SLD-derivations and their Abstractions.	GULP-PRODE	1995	DBLP BibTeX RDF
16	Alex K. Simpson	Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS	LICS	1995	DBLP DOI BibTeX RDF
16	Nikolay A. Anisimov, Maciej Koutny	On compositionality and Petri nets in protocol engineering.	PSTV	1995	DBLP BibTeX RDF
16	Jürgen Schröder	Systematicity, Compositionality, and the Notion of Symbolic Representations.	WOCFAI	1995	DBLP BibTeX RDF
16	Frank S. de Boer	Compositionality in the Inductive Assertion Method for Concurrent Systems.	PROCOMET	1994	DBLP BibTeX RDF
16	Didier Dubois, Henri Prade	Can We Enforce Full Compositionality in Uncertainty Calculi?	AAAI	1994	DBLP BibTeX RDF
16	Hartmut Ehrig, Rosa M. Jiménez, Fernando Orejas	Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.	TAPSOFT	1993	DBLP DOI BibTeX RDF
16	Geoffrey Simmons	A Tradeoff between Compositionality and Complexity in the Semantics of Dimensional Adjectives.	EACL	1993	DBLP BibTeX RDF
16	Ingo Claßen	Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics.		1993	RDF
16	Ekkart Kindler	Invariants, compositionality and substitution	Forschungsberichte, TU Munich	1992	RDF
16	Georg Dorffner, Manfred Rotter	On the Virtues of Functional Connectionist Compositionality.	ECAI	1992	DBLP BibTeX RDF
16	Alessandro Fantechi, Stefania Gnesi	Compositionality and Bisimulation: A Negative Result.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
16	Kim Guldstrand Larsen, Xinxin Liu	Compositionality through an Operational Semantics of Contexts.	J. Log. Comput.	1991	DBLP DOI BibTeX RDF
16	Tim van Gelder	Compositionality: A Connectionist Variation on a Classical Theme.	Cogn. Sci.	1990	DBLP DOI BibTeX RDF
16	Frank S. de Boer	Compositionality in the temporal logic of concurrent systems (extended abstract).	Future Gener. Comput. Syst.	1990	DBLP DOI BibTeX RDF
16	Kim Guldstrand Larsen, Xinxin Liu	Compositionality Through an Operational Semantics of Contexts.	ICALP	1990	DBLP DOI BibTeX RDF
16	João Falcão e Cunha	Compositionality and Omniscience in Situation Semantics.	EAIA	1990	DBLP DOI BibTeX RDF
16	Job Zwiers	Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship		1989	DOI RDF
16	Frank S. de Boer	Compositionality in the Temporal Logic of Concurrent Systems (extended abstract).	PARLE (2)	1989	DBLP DOI BibTeX RDF
16	Glynn Winskel	Petri Nets, Algebras, Morphisms, and Compositionality	Inf. Comput.	1987	DBLP DOI BibTeX RDF
16	Job Zwiers, Willem P. de Roever	Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
16	Glynn Winskel	Petri nets, morphisms and compositionality.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
16	Job Zwiers, Willem P. de Roever, Peter van Emde Boas	Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem.	ICALP	1985	DBLP DOI BibTeX RDF
11	Adrián Riesco 0001, Juan Rodríguez-Hortalá	Programming with singular and plural non-deterministic functions.	PEPM	2010	DBLP DOI BibTeX RDF	non-deterministic functions, semantics, program transformation, term rewriting, maude
11	Trevor Jim, Yitzhak Mandelbaum, David Walker 0001	Semantics and algorithms for data-dependent grammars.	POPL	2010	DBLP DOI BibTeX RDF	ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf
11	Ondrej Rysavý, Jaroslav Ráb	A formal model of composing components: the TLA+ approach.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications
11	Alessio Micheli	Neural Network for Graphs: A Contextual Constructive Approach.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
11	Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001	Compositional Verification of Input-Output Conformance via CSP Refinement Checking.	ICFEM	2009	DBLP DOI BibTeX RDF
11	Camilo Thorne, Diego Calvanese	Controlled Aggregate Tree Shaped Questions over Ontologies.	FQAS	2009	DBLP DOI BibTeX RDF
11	Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen	Synthesizing Semantic Web Service Compositions with jMosel and Golog.	ISWC	2009	DBLP DOI BibTeX RDF
11	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
11	Vishwanathan Mohan, Jacopo Zenzeri, Pietro G. Morasso, Giorgio Metta	Composing and coordinating body models of arbitrary connectivity and redundancy: A biomimmetic field computing approach.	IROS	2009	DBLP DOI BibTeX RDF
11	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
11	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
11	Ellie D'Hondt, Yves Vandriessche	Distributed Quantum Programming.	UC	2009	DBLP DOI BibTeX RDF
11	Steve A. Schneider, Helen Treharne	Changing System Interfaces Consistently: A New Refinement Strategy for CSP\|\|B.	IFM	2009	DBLP DOI BibTeX RDF
11	Amitava Biswas, Suneil Mohan, Aalap Tripathy, Jagannath Panigrahy, Rabi N. Mahapatra	Semantic Key for Meaning Based Searching.	ICSC	2009	DBLP DOI BibTeX RDF
11	Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf	Formalisms for Specifying Markovian Population Models.	RP	2009	DBLP DOI BibTeX RDF
11	Sebastian Mödersheim, Luca Viganò 0001	Secure Pseudonymous Channels.	ESORICS	2009	DBLP DOI BibTeX RDF
11	Sebastian S. Bauer, Rolf Hennicker	Views on Behaviour Protocols and Their Semantic Foundation.	CALCO	2009	DBLP DOI BibTeX RDF
11	Ichiro Hasuo, Chris Heunen, Bart Jacobs 0001, Ana Sokolova	Coalgebraic Components in a Many-Sorted Microcosm.	CALCO	2009	DBLP DOI BibTeX RDF
11	Christel Baier, Nathalie Bertrand 0001, Marcus Größer	Probabilistic Acceptors for Languages over Infinite Words.	SOFSEM	2009	DBLP DOI BibTeX RDF
11	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
11	Michael Backes 0001, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional reactive simulatability.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF
11	Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld	Sequentially consistent versus linearizable counting networks.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
11	Miltiadis Kokkonidis	First-Order Glue.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Glue, Syntax-semantics interface, First-Order Linear Logic, Typing systems, Compositional semantics
11	Santiago Figueira, Daniel Gorín, Rafael Grimson	On the Formal Semantics of IF-Like Logics.	WoLLIC	2008	DBLP DOI BibTeX RDF
11	Rafal Mrowka, Tomasz Szmuc	UML Statecharts Compositional Semantics in LOTOS.	ISPDC	2008	DBLP DOI BibTeX RDF
11	Anca Mariana Molnos, Marc J. M. Heijligers, Sorin Dan Cotofana	Compositional, dynamic cache management for embedded chip multiprocessors.	DATE	2008	DBLP DOI BibTeX RDF
11	Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic	Compositional design of isochronous systems.	DATE	2008	DBLP DOI BibTeX RDF
11	Harald Fecher, Michael Huth 0001, Nir Piterman, Daniel Wagner 0002	Hintikka Games for PCTL on Labeled Markov Chains.	QEST	2008	DBLP DOI BibTeX RDF
11	Amir Pnueli, Aleksandr Zaks	On the Merits of Temporal Testers.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
11	Ichiro Hasuo, Bart Jacobs 0001, Ana Sokolova	The Microcosm Principle and Concurrency in Coalgebra.	FoSSaCS	2008	DBLP DOI BibTeX RDF
11	Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop	The Essence of Form Abstraction.	APLAS	2008	DBLP DOI BibTeX RDF
11	Ole Torp Lassen	Biosequence Analysis in PRISM.	ICLP	2008	DBLP DOI BibTeX RDF
11	Riccardo Focardi, Matteo Centenaro	Information flow security of multi-threaded distributed programs.	PLAS	2008	DBLP DOI BibTeX RDF	symbolic cryptography, information flow, bisimulation, language-based security
11	Hehua Zhang, Ming Gu 0001, Xiaoyu Song	Modeling and analysis of stage machinery control systems by timed colored Petri nets.	SIES	2008	DBLP DOI BibTeX RDF
11	Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini 0001	Timed Soft Concurrent Constraint Programs.	COORDINATION	2008	DBLP DOI BibTeX RDF
11	Adrian Rutle, Uwe Wolter, Yngve Lamo	A diagrammatic approach to model transformations.	EATIS	2008	DBLP DOI BibTeX RDF	diagrammatic specifications, eclipse modeling framework, meta object facility, modeling, unified modeling language, model driven architecture, model transformations
11	Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink	Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime.	Haskell	2008	DBLP DOI BibTeX RDF	left-corner transform, typed abstract syntax, typed transformations, type systems, haskell, meta programming, gadt, parser combinators
11	Filippo Bonchi	Abstract Semantics by Observable Contexts.	ICGT	2008	DBLP DOI BibTeX RDF
11	Anca Mariana Molnos, Sorin Dan Cotofana, Marc J. M. Heijligers, Jos T. J. van Eijndhoven	Static Cache Partitioning Robustness Analysis for Embedded On-Chip Multi-processors.	Trans. High Perform. Embed. Archit. Compil.	2007	DBLP DOI BibTeX RDF
11	Adrian Brasoveanu 0001	Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination.	WoLLIC	2007	DBLP DOI BibTeX RDF
11	Denis Béchet, Annie Foret	Fully Lexicalized Pregroup Grammars.	WoLLIC	2007	DBLP DOI BibTeX RDF	Lambek Categorial Grammars, Simulation, Pregroups
11	Hans Eveking, Martin Braun 0001, Martin Schickel, Martin Schweikert, Volker Nimbler	Multi-Level Assertion-Based Design.	MEMOCODE	2007	DBLP DOI BibTeX RDF
11	Yi Liu 0001, H. Conrad Cunningham	Java in the box: implementing the BoxScript component language.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	BoxScript, component-oriented language, java implementation, runtime structure, interface
11	Mana Kobuchi-Philip	A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase.	JSAI	2007	DBLP DOI BibTeX RDF
11	Emilia Oikarinen	Modularity in smodelsPrograms.	LPNMR	2007	DBLP DOI BibTeX RDF
11	Xin Chen 0027, Jifeng He 0001, Zhiming Liu 0001, Naijun Zhan	A Model of Component-Based Programming.	FSEN	2007	DBLP DOI BibTeX RDF	Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs