Search results for "Compositionality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Roberto Segala	Compositional Verification of Randomized Distributed Algorithms.	COMPOS	1997	DBLP DOI BibTeX RDF
67	Moshe Abeles, Gaby Hayon, Daniel Lehmann 0001	Modeling Compositionality by Dynamic Binding of Synfire Chains.	J. Comput. Neurosci.	2004	DBLP DOI BibTeX RDF	binding-mechanism, neural-networks, compositionality, synfire-chains
67	Maurice H. ter Beek, Jetty Kleijn	Team Automata Satisfying Compositionality.	FME	2003	DBLP DOI BibTeX RDF	team automata, synchronizations, computations, compositionality, behaviour, shuffles
66	Florence Maraninchi, Yann Rémond	Compositionality Criteria for Defining Mixed-Styles Synchronous Languages.	COMPOS	1997	DBLP DOI BibTeX RDF
61	Heiko Mantel	On the Composition of Secure Systems.	S&P	2002	DBLP DOI BibTeX RDF	composition, information flow, compositionality, noninterference, emergent properties
60	Dines Bjørner, Asger Eir	Compositionality: Ontology and Mereology of Domains.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
60	I. S. W. B. Prasetya	Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties.	HUG	1993	DBLP DOI BibTeX RDF
57	Kim Guldstrand Larsen	Compositional Theories Based on an Operational Semantics of Contexts.	REX Workshop	1989	DBLP DOI BibTeX RDF	Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality
56	Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu	Analyzing BPEL Compositionality Based on Petri Nets.	COMPSAC	2008	DBLP DOI BibTeX RDF	Verification, Petri Net, BPEL, Soundness, compositionality
56	Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink	Compositionality for Markov Reward Chains with Fast Transitions.	EPEW	2007	DBLP DOI BibTeX RDF	discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition
56	Simona Bernardi 0001, Susanna Donatelli, András Horváth	Implementing compositionality for stochastic Petri nets.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality
55	Albert Benveniste, Paul Le Guernic, Pascal Aubry	Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.	COMPOS	1997	DBLP DOI BibTeX RDF	desynchronisation, modularity, code generation, synchronous languages, separate compilation
50	Ian T. Foster	Compositional Parallel Programming Languages.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	parallel programming, compositionality, parallel languages
49	Sriram Venkatapathy, Aravind K. Joshi	Relative Compositionality of Multi-word Expressions: A Study of Verb-Noun (V-N) Collocations.	IJCNLP	2005	DBLP DOI BibTeX RDF
49	Naijun Zhan, Jinzhao Wu	Compositionality of Fixpoint Logic with Chop.	ICTAC	2005	DBLP DOI BibTeX RDF
44	Nicolas Behr, Jean Krivine	Compositionality of Rewriting Rules with Conditions.	Compositionality	2021	DBLP DOI BibTeX RDF
44	Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)	Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Cornelis Huizing, Ron Koymans, Ruurd Kuiper 0001	A Small Step for Mankind.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Frank S. de Boer	Reasoning about Recursive Processes in Shared-Variable Concurrency.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	E. Allen Emerson	Meanings of Model Checking.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Dave Clarke 0001, Einar Broch Johnsen, Olaf Owe	Concurrent Objects à la Carte.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Peter van Emde Boas	Playing Savitch and Cooking Games.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Manfred Broy	Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Proving the Refuted: Symbolic Model Checkers as Proof Generators.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Jan Peleska 0001	Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Hans Langmaack	On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Ansgar Fehnker, Ralf Huuck, Sean Seefried	Counterexample Guided Path Reduction for Static Program Analysis.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Ernst-Rüdiger Olderog, Andreas Podelski	Explicit Fair Scheduling for Dynamic Control.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Kai Engelhardt, Ralf Huuck	Smaller Abstractions for FOR ALL CTL* without Next.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Jozef Hooman, Marcel Verhoef	Formal Semantics of a VDM Extension for Distributed Embedded Systems.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Leslie Lamport	Computer Science and State Machines.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland	Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech	Automated Proofs for Asymmetric Encryption.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Dennis Dams, Ulrich Hannemann, Martin Steffen	A Bibliography of Willem-Paul de Roever.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Shivali Agarwal, R. K. Shyamasundar	A Proof System for a PGAS Language.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	David Harel, Amir Kantor, Shahar Maoz	On the Power of Play-Out for Scenario-Based Programs.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
44	Jane Hillston	Exploiting Structure in Solution: Decomposing Compositional Models.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
39	Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz	Towards a natural language semantics without functors and operands.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Finite axiomatisability, Finite entailment problem, Function/argument metaphor, Pieces of evidence, Measurements, Completeness, Compositionality, Decision algorithm, Natural language semantics
39	I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra	A UNITY-Based Framework Towards Component Based Systems.	OPODIS	2004	DBLP DOI BibTeX RDF	component based applications, verification, compositionality
39	Gerald Lüttgen, Michael Mendler	The intuitionism behind Statecharts steps.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
39	Antonio Cau	Composing and Refining Dense Temporal Logic Specifications.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Temporal logic, Refinement, Compositionality
39	Mohamed-Lyes Benalycherif, Claude Girault	Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	blocking relation, colored FIFO nets, equal conflict, freeing relation, synchronization medium, synchronization, state machine, compositionality, liveness
38	Milena Garrão, Claudia Oliveira, Maria Claudia de Freitas, Maria Carmelita Dias	Corpus-Based Compositionality.	PROPOR	2006	DBLP DOI BibTeX RDF
38	Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou	Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.	FTRTFT	2000	DBLP DOI BibTeX RDF
38	Marcus Kracht	Strict Compositionality and Literal Movement Grammars.	LACL	1998	DBLP DOI BibTeX RDF
38	Kim Guldstrand Larsen	Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ...	CONCUR	1990	DBLP DOI BibTeX RDF
34	Jan Bosch	Software Product Families: Towards Compositionality.	FASE	2007	DBLP DOI BibTeX RDF	compositionality, Software product families
33	Bartek Klin	Bialgebraic Operational Semantics and Modal Logic.	LICS	2007	DBLP DOI BibTeX RDF
33	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Method for Compositional and Intermittent Predicate Abstraction.	VMCAI	2006	DBLP DOI BibTeX RDF
33	Willem H. Zuidema	Optimal Communication in a Noisy and Heterogeneous Environment.	ECAL	2003	DBLP DOI BibTeX RDF
33	Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum	Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.	ZB	2000	DBLP DOI BibTeX RDF
33	Fernando Orejas, Elvira Pino, Hartmut Ehrig	Algebraic Methods in the Compositional Analysis of Logic Programs.	MFCS	1994	DBLP DOI BibTeX RDF
33	Belém Priego Sánchez, David Pinto 0001, Vivek Kumar Singh 0001	Compositionality versus non-compositionality verification based on lexical domain for verbal phraseological units.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
33	Nando de Freitas	Learning to Learn and Compositionality with Deep Recurrent Neural Networks: Learning to Learn and Compositionality.	KDD	2016	DBLP DOI BibTeX RDF
33	Alexandre Allauzen, Edward Grefenstette, Karl Moritz Hermann, Hugo Larochelle, Scott Wen-tau Yih	Proceedings of the 3rd Workshop on Continuous Vector Space Models and their Compositionality.	CVSC	2015	DBLP DOI BibTeX RDF
33	Nal Kalchbrenner, Phil Blunsom	Recurrent Convolutional Neural Networks for Discourse Compositionality.	CVSM@ACL	2013	DBLP BibTeX RDF
33	Lubomír Krcmár, Karel Jezek, Pavel Pecina	Determining Compositionality of Expresssions Using Various Word Space Models and Methods.	CVSM@ACL	2013	DBLP BibTeX RDF
28	Anca Mariana Molnos, Sorin Cotofana, Marc J. M. Heijligers, Jos T. J. van Eijndhoven	Compositional, Dynamic Cache Management for Embedded Chip Multiprocessors.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	Predictability, Multiprocessor, Compositionality, Cache management
28	Olaf Owe, Gerardo Schneider, Martin Steffen	Components, objects, and contracts.	SAVCBS	2007	DBLP DOI BibTeX RDF	Creol, object-orientation, components, interfaces, contracts, compositionality, deontic logic
28	Gaby Hayon, Moshe Abeles, Daniel Lehmann 0001	A Model for Representing the Dynamics of a System of Synfire Chains.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	binding-mechanism, neural-networks, compositionality, synfire-chains
28	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
28	Vlad Rusu	Compositional Verification of an ATM Protocol.	FME	2003	DBLP DOI BibTeX RDF	SSCOP protocol, abstraction, theorem proving, Compositionality, PVS
28	Peter Graubmann	MSC Connectors - The Chamber of Secrets.	SDL Forum	2003	DBLP DOI BibTeX RDF	Interface Protocol, Message Sequence Chart (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering Abbreviations: BMSC: Basic Message Sequence Chart, MSC: Message Se-quence Chart, LPO: Labeled Partial Ordering, TTCN-3: Test and Test Control Notation Version-3, Component, Interface, Compositionality
28	Peter Graubmann, Ekkart Rudolph	MSC Connectors: The Philosopher's Stone.	SAM	2002	DBLP DOI BibTeX RDF	Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality
28	Mohammad Zulkernine, Rudolph E. Seviora	Assume-Guarantee Algorithms for Automatic Detection of Software Failures.	IFM	2002	DBLP DOI BibTeX RDF	applied formal methods, Software reliability, compositionality, failure detection, online monitoring
28	Simona Bernardi 0001, Susanna Donatelli, José Merseguer	From UML sequence diagrams and statecharts to analysable petrinet models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	modeling, UML, compositionality, GSPN
28	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Verifying Implementation Relations.	FME	2001	DBLP DOI BibTeX RDF	Behaviour ion, verification, compositionality, communicating sequential processes
28	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Implementing Communicating Processes in the Event of Interface Difference.	ACSD	2001	DBLP DOI BibTeX RDF	behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation
28	Ralf Pinger, Hans-Dieter Ehrich	Compositional Checking of Communication among Observers.	FASE	2001	DBLP DOI BibTeX RDF	distributed logic, modelling and design, object system, model checking, verification, temporal logic, compositionality
28	Hanna Klaudel, Franck Pommereau	A Concurrent and Compositional Petri Net Semantics of Preemption.	IFM	2000	DBLP DOI BibTeX RDF	Petri nets, Concurrency, Compositionality, Preemption
28	Hans Fleischhack, Bernd Grahlmann	A Compositional Petri Net Semantics for SDL.	ICATPN	1998	DBLP DOI BibTeX RDF	ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes
28	Bengt Jonsson 0001	Compositional Specification and Verification of Distributed Systems.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	specification, message passing, compositionality, stepwise refinement, modular specification, assertional reasoning
28	Doug Arnold, Louisa Sadler	The theoretical basis of MiMo.	Mach. Transl.	1990	DBLP DOI BibTeX RDF	compositionality, reversibility, transfer, English, French
28	Morgan Rogers	Toposes of Topological Monoid Actions.	Compositionality	2023	DBLP DOI BibTeX RDF
28	John C. Baez, Kenny Courser, Christina Vasilakopoulou	Structured versus Decorated Cospans.	Compositionality	2022	DBLP DOI BibTeX RDF
28	Manuel Araújo	Coherence for adjunctions in a 3-category via string diagrams.	Compositionality	2022	DBLP DOI BibTeX RDF
28	Dusko Pavlovic	Lambek pregroups are Frobenius spiders in preorders.	Compositionality	2022	DBLP DOI BibTeX RDF
28	Tai-Danae Bradley, Yiannis Vlassopoulos	Language Modeling with Reduced Densities.	Compositionality	2021	DBLP DOI BibTeX RDF
28	Dan Shiebler	Categorical Stochastic Processes and Likelihood.	Compositionality	2021	DBLP DOI BibTeX RDF
28	Philippe Gaucher	Homotopy theory of Moore flows (I).	Compositionality	2021	DBLP DOI BibTeX RDF
28	Tobias Fritz, Eigil Fjeldgren Rischel	Infinite products and zero-one laws in categorical probability.	Compositionality	2020	DBLP DOI BibTeX RDF
28	Michael Robinson 0001	Assignments to sheaves of pseudometric spaces.	Compositionality	2020	DBLP DOI BibTeX RDF
28	Sebastian Posur	Closing the category of finitely presented functors under images made constructive.	Compositionality	2020	DBLP DOI BibTeX RDF
28	Eugenia Cheng	Distributive laws for Lawvere theories.	Compositionality	2020	DBLP DOI BibTeX RDF
28	Arthur J. Parzygnat	Stinespring's construction as an adjunction.	Compositionality	2019	DBLP DOI BibTeX RDF
28	John van de Wetering	An effect-theoretic reconstruction of quantum theory.	Compositionality	2019	DBLP DOI BibTeX RDF
28	John F. Jardine	Fuzzy sets and presheaves.	Compositionality	2019	DBLP DOI BibTeX RDF
28	John C. Baez, John D. Foley, Joe Moeller	Network Models from Petri Nets with Catalysts.	Compositionality	2019	DBLP DOI BibTeX RDF
27	Thierry Hamon, Natalia Grabar	How Can the Term Compositionality Be Useful for Acquiring Elementary Semantic Relations?.	GoTAL	2008	DBLP DOI BibTeX RDF
27	Wagner Borges, Julio Michael Stern	Evidence and Compositionality.	SMPS	2006	DBLP DOI BibTeX RDF
27	Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen	Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.	TACAS	1998	DBLP DOI BibTeX RDF
27	Manfred Broy	Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
27	Antonio Cau, Willem P. de Roever	A Dense-Time Temporal Logic with Nice Compositionality Properties.	EUROCAST	1997	DBLP DOI BibTeX RDF
27	Willem P. de Roever	The Need for Compositional Proof Systems: A Survey.	COMPOS	1997	DBLP DOI BibTeX RDF
27	Manfred Broy	Compositional Refinement of Interactive Systems Modelled by Relations.	COMPOS	1997	DBLP DOI BibTeX RDF
27	Antti Valmari	Compositionality in State Space Verification Methods.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
27	Ernesto Pimentel 0001, José M. Troya	Compositionality Issues of Concurrent Object-Oriented Logic Languages.	PARLE	1993	DBLP DOI BibTeX RDF
27	Michele Bugliesi	On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction.	ELP	1992	DBLP DOI BibTeX RDF
22	Hridesh Rajan, Kevin J. Sullivan	Unifying aspect- and object-oriented design.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Classpect, Eos, first class aspect instances, instance-level advising, unified aspect language model, aspect-oriented programming, binding
22	Kung-Kiu Lau, Ioannis Ntalamagkas	A Compositional Approach to Active and Passive Components.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF