Search results for "compositionality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Dines Bjørner, Asger Eir	Compositionality: Ontology and Mereology of Domains.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
3	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
3	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
3	Moshe Abeles, Gaby Hayon, Daniel Lehmann	Modeling Compositionality by Dynamic Binding of Synfire Chains.	Journal of Computational Neuroscience	2004	DBLP DOI BibTeX RDF	binding-mechanism, neural-networks, compositionality, synfire-chains
3	Maurice H. ter Beek, Jetty Kleijn	Team Automata Satisfying Compositionality.	FME	2003	DBLP DOI BibTeX RDF	team automata, synchronizations, computations, compositionality, behaviour, shuffles
3	Simona Bernardi, Susanna Donatelli, András Horváth	Implementing compositionality for stochastic Petri nets.	STTT	2001	DBLP DOI BibTeX RDF	Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality
3	Florence Maraninchi, Yann Rémond	Compositionality Criteria for Defining Mixed-Styles Synchronous Languages.	COMPOS	1997	DBLP DOI BibTeX RDF
3	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
3	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
2	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
2	Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech	Automated Proofs for Asymmetric Encryption.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	E. Allen Emerson	Meanings of Model Checking.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Manfred Broy	Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Shivali Agarwal, R. K. Shyamasundar	A Proof System for a PGAS Language.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Ernst-Rüdiger Olderog, Andreas Podelski	Explicit Fair Scheduling for Dynamic Control.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Frank S. de Boer	Reasoning about Recursive Processes in Shared-Variable Concurrency.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Peter van Emde Boas	Playing Savitch and Cooking Games.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan Sutherland	Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Hans Langmaack	On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Jan Peleska	Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Cornelis Huizing, Ron Koymans, Ruurd Kuiper	A Small Step for Mankind.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	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
2	Kai Engelhardt, Ralf Huuck	Smaller Abstractions for FOR ALL CTL* without Next.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Leslie Lamport	Computer Science and State Machines.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Dennis Dams, Ulrich Hannemann, Martin Steffen	A Bibliography of Willem-Paul de Roever.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	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
2	Ansgar Fehnker, Ralf Huuck, Sean Seefried	Counterexample Guided Path Reduction for Static Program Analysis.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Jozef Hooman, Marcel Verhoef	Formal Semantics of a VDM Extension for Distributed Embedded Systems.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Dave Clarke, Einar Broch Johnsen, Olaf Owe	Concurrent Objects à la Carte.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Anca Mariana Molnos, Sorin Cotofana, Marc J. M. Heijligers, Jos T. J. van Eijndhoven	Compositional, Dynamic Cache Management for Embedded Chip Multiprocessors.	Signal Processing Systems	2009	DBLP DOI BibTeX RDF	Predictability, Multiprocessor, Compositionality, Cache management
2	Thierry Hamon, Natalia Grabar	How Can the Term Compositionality Be Useful for Acquiring Elementary Semantic Relations?.	GoTAL	2008	DBLP DOI BibTeX RDF
2	Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz	Towards a natural language semantics without functors and operands.	Journal of Logic, Language and Information	2008	DBLP DOI BibTeX RDF	Finite axiomatisability, Finite entailment problem, Function/argument metaphor, Pieces of evidence, Measurements, Completeness, Compositionality, Decision algorithm, Natural language semantics
2	Jan Bosch	Software Product Families: Towards Compositionality.	FASE	2007	DBLP DOI BibTeX RDF	compositionality, Software product families
2	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
2	Wagner Borges, Julio Michael Stern	Evidence and Compositionality.	SMPS	2006	DBLP DOI BibTeX RDF
2	Milena Garrão, Claudia Oliveira, Maria Claudia de Freitas, Maria Carmelita Dias	Corpus-Based Compositionality.	PROPOR	2006	DBLP DOI BibTeX RDF
2	Naijun Zhan, Jinzhao Wu	Compositionality of Fixpoint Logic with Chop.	ICTAC	2005	DBLP DOI BibTeX RDF
2	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
2	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
2	Gaby Hayon, Moshe Abeles, Daniel Lehmann	A Model for Representing the Dynamics of a System of Synfire Chains.	Journal of Computational Neuroscience	2005	DBLP DOI BibTeX RDF	binding-mechanism, neural-networks, compositionality, synfire-chains
2	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
2	Vlad Rusu	Compositional Verification of an ATM Protocol.	FME	2003	DBLP DOI BibTeX RDF	SSCOP protocol, abstraction, theorem proving, Compositionality, PVS
2	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
2	Simona Bernardi, 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
2	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
2	Heiko Mantel	On the Composition of Secure Systems. (PDF / PS)	IEEE Symposium on Security and Privacy	2002	DBLP DOI BibTeX RDF	composition, information flow, compositionality, noninterference, emergent properties
2	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
2	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
2	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
2	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
2	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Verifying Implementation Relations.	FME	2001	DBLP DOI BibTeX RDF	Behaviour ion, verification, compositionality, communicating sequential processes
2	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
2	Hanna Klaudel, Franck Pommereau	A Concurrent and Compositional Petri Net Semantics of Preemption.	IFM	2000	DBLP DOI BibTeX RDF	Petri nets, Concurrency, Compositionality, Preemption
2	Antonio Cau	Composing and Refining Dense Temporal Logic Specifications.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Temporal logic, Refinement, Compositionality
2	Marcus Kracht	Strict Compositionality and Literal Movement Grammars.	LACL	1998	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Antonio Cau, Willem P. de Roever	A Dense-Time Temporal Logic with Nice Compositionality Properties.	EUROCAST	1997	DBLP DOI BibTeX RDF
2	Roberto Segala	Compositional Verification of Randomized Distributed Algorithms.	COMPOS	1997	DBLP DOI BibTeX RDF
2	Manfred Broy	Compositional Refinement of Interactive Systems Modelled by Relations.	COMPOS	1997	DBLP DOI BibTeX RDF
2	Willem P. de Roever	The Need for Compositional Proof Systems: A Survey.	COMPOS	1997	DBLP DOI BibTeX RDF
2	Antti Valmari	Compositionality in State Space Verification Methods.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
2	Ian T. Foster	Compositional Parallel Programming Languages.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	parallel programming, compositionality, parallel languages
2	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, liveness, compositionality
2	Bengt Jonsson	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
2	Ernesto Pimentel, José M. Troya	Compositionality Issues of Concurrent Object-Oriented Logic Languages.	PARLE	1993	DBLP DOI BibTeX RDF
2	I. S. W. B. Prasetya	Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties.	HUG	1993	DBLP DOI BibTeX RDF
2	Michele Bugliesi	On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction.	ELP	1992	DBLP DOI BibTeX RDF
2	Kim Guldstrand Larsen	Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ...	CONCUR	1990	DBLP DOI BibTeX RDF
2	Doug Arnold, Louisa Sadler	The theoretical basis of MiMo.	Machine Translation	1990	DBLP DOI BibTeX RDF	compositionality, reversibility, transfer, English, French
1	Daoud Clarke	A Context-Theoretic Framework for Compositionality in Distributional Semantics.	Computational Linguistics	2012	DBLP DOI BibTeX RDF
1	Gilles Col, Jeanne Aptekman, Stéphanie Girault, Thierry Poibeau	Gestalt compositionality and instruction-based meaning construction.	Cognitive Processing	2012	DBLP DOI BibTeX RDF
1	Martín Ochoa, Jan Jürjens, Daniel Warzecha	A Sound Decision Procedure for the Compositionality of Secrecy.	ESSoS	2012	DBLP DOI BibTeX RDF
1	Alexander Hanuschkin, J. Michael Herrmann, Abigail Morrison, Markus Diesmann	Compositionality of arm movements can be realized by propagating synchrony.	Journal of Computational Neuroscience	2011	DBLP DOI BibTeX RDF
1	Steven Phillips, William H. Wilson	Categorial Compositionality II: Universal Constructions and a General Theory of (Quasi-)Systematicity in Human Cognition.	PLoS Computational Biology	2011	DBLP DOI BibTeX RDF
1	Daoud Clarke	A Context-theoretic Framework for Compositionality in Distributional Semantics	CoRR	2011	DBLP BibTeX RDF
1	Elio Tuci, Tomassino Ferrauto, Arne Zeschel, Gianluca Massera, Stefano Nolfi	An Experiment on Behavior Generalization and the Emergence of Linguistic Compositionality in Evolving Robots.	IEEE T. Autonomous Mental Development	2011	DBLP DOI BibTeX RDF
1	Jussi Jylkkä	Hybrid Extensional Prototype Compositionality.	Minds and Machines	2011	DBLP DOI BibTeX RDF
1	Pranav Garg, P. Madhusudan	Compositionality Entails Sequentializability.	TACAS	2011	DBLP DOI BibTeX RDF
1	Thomas Nolte	Compositionality and CPS from a Platform Perspective.	RTCSA	2011	DBLP DOI BibTeX RDF
1	Ichiro Hasuo	The Microcosm Principle and Compositionality of GSOS-Based Component Calculi.	CALCO	2011	DBLP DOI BibTeX RDF
1	Emmanuel Morin, Béatrice Daille	Compositionality and lexical alignment of multi-word terms.	Language Resources and Evaluation	2010	DBLP DOI BibTeX RDF
1	Giosuè Baggio, Travis Choma, Michiel van Lambalgen, Peter Hagoort	Coercion and Compositionality.	J. Cognitive Neuroscience	2010	DBLP DOI BibTeX RDF
1	Seng Wai Loke	Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems.	Pervasive and Mobile Computing	2010	DBLP DOI BibTeX RDF
1	Steven Phillips, William H. Wilson	Categorial Compositionality: A Category Theory Explanation for the Systematicity of Human Cognition.	PLoS Computational Biology	2010	DBLP DOI BibTeX RDF
1	Maciej Gazda, Wan Fokkink	Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics	SOS	2010	DBLP DOI BibTeX RDF
1	Janneke Huitink	Quantified Conditionals and Compositionality.	Language and Linguistics Compass	2010	DBLP DOI BibTeX RDF
1	Christopher Kennedy, Louise McNally	Color, context, and compositionality.	Synthese	2010	DBLP DOI BibTeX RDF
1	Dan R. Ghica, Mohamed N. Menaa	On the Compositionality of Round Abstraction.	CONCUR	2010	DBLP DOI BibTeX RDF
1	Jan Bosch	Architecture in the Age of Compositionality.	ECSA	2010	DBLP DOI BibTeX RDF
1	Olena Rogovchenko, Jacques Malenfant	Composition and Compositionality in a Component Model for Autonomous Robots.	Software Composition	2010	DBLP DOI BibTeX RDF
1	Arend Rensink	Compositionality in Graph Transformation.	ICALP	2010	DBLP DOI BibTeX RDF
1	Shane Bergsma, Aditya Bhargava, Hua He, Grzegorz Kondrak	Predicting the Semantic Compositionality of Prefix Verbs.	EMNLP	2010	DBLP BibTeX RDF
1	Matias David Lee, Pedro R. D'Argenio	A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis.	SCCC	2010	DBLP DOI BibTeX RDF
1	Fan Bu, Xiaoyan Zhu, Ming Li	Measuring the Non-compositionality of Multiword Expressions.	COLING	2010	DBLP BibTeX RDF
1	Catuscia Palamidessi	Compositionality of Secure Information Flow.	MPC	2010	DBLP DOI BibTeX RDF
1	Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi	Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Insup Lee, Oleg Sokolsky	Medical cyber physical systems.	DAC	2010	DBLP DOI BibTeX RDF	high-confidence medical systems, medical cyber-physical systems, medical device interoperability & compositionality, physiological closed loop, cyber-physical systems
1	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