Search results for "CSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	N. Liu, M. T. Liu	Conformity analysis for communication protocols.	SIGCOMM	1986	DBLP DOI BibTeX RDF	CSP, CSP, CSP
2	Mihnea Marinescu, Benjamin Goldberg	Partial-Evaluation Techniques for Concurrent Programs.	PEPM	1997	DBLP DOI BibTeX RDF	concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis
2	G. Berry, S. Ramesh, R. K. Shyamasundar	Communicating Reactive Processes.	POPL	1993	DBLP DOI BibTeX RDF	CSP, CSP
1	Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit	An algorithm to generate the context-sensitive synchronized control flow graph.	SAC	2010	DBLP DOI BibTeX RDF	CSCFG, CSP
1	Fan Yang, Wen Su, Huibiao Zhu, Qin Li	Formalizing MapReduce with CSP.	ECBS	2010	DBLP DOI BibTeX RDF	Cloud Computing, CSP, MapReduce
1	Peilei Ye	Study on Formalizing Unified Modeling Language Activity Diagrams in FDR.	MVHI	2010	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, UML Activity Diagrams
1	Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy (eds.)	Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008	CSP	2009	DBLP BibTeX RDF
1	Carlos Carrascosa, Miguel Rebollo	Agreement spaces for counselor agents.	AAMAS	2009	DBLP DOI BibTeX RDF	counselor, context, CSP, agreement
1	Jin-yi Cai, Pinyan Lu, Mingji Xia	Holant problems and counting CSP.	STOC	2009	DBLP DOI BibTeX RDF	holant problem, holographic reduction, CSP, polynomial interpolation
1	Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George	Model Checking LTL Formulae in RAISE with FDR.	IFM	2009	DBLP DOI BibTeX RDF	model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL
1	Frank Zeyda, Ana Cavalcanti	Mechanised Translation of Control Law Diagrams into Circus.	IFM	2009	DBLP DOI BibTeX RDF	ClawZ, verification, CSP, Z, Simulink
1	Renata Kaufman, Augusto Sampaio, Alexandre Mota	Formalisation and Analysis of Objects as CSP Processes.	SBMF	2009	DBLP DOI BibTeX RDF	Design Pattern, CSP, Object-Z, Object-Oriented Specification
1	Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos	Automatic Generation of Integrated Formal Models Corresponding to UML System Models.	TOOLS	2009	DBLP DOI BibTeX RDF	Epsilon, UML, Model transformation, CSP, B
1	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren	Dynamic structural symmetry breaking for constraint satisfaction problems.	Constraints	2009	DBLP DOI BibTeX RDF	Dominance detection, CSP, Tractability, Symmetry breaking
1	Leo Freitas, Jim Woodcock	FDR Explorer.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
1	Matthew Cook	A Concrete View of Rule 110 Computation	CSP	2008	DBLP BibTeX RDF
1	Jérôme Durand-Lose	Small Turing universal signal machines	CSP	2008	DBLP BibTeX RDF
1	Fred Lunnon	The Pagoda Sequence: a Ramble through Linear Complexity, Number Walls, D0L Sequences, Finite State Automata, and Aperiodic Tilings	CSP	2008	DBLP BibTeX RDF
1	Philippe Moser	A General Notion of Useful Information	CSP	2008	DBLP BibTeX RDF
1	Liesbeth De Mol	On the boundaries of solvability and unsolvability in tag systems. Theoretical and Experimental Results	CSP	2008	DBLP BibTeX RDF
1	Matteo Cavaliere, Peter Leupold	Complexity through the Observation of Simple Systems	CSP	2008	DBLP BibTeX RDF
1	Matthew J. Patitz, Scott M. Summers	Self-Assembly of Infinite Structures	CSP	2008	DBLP BibTeX RDF
1	Cristian S. Calude	Simplicity via Provability for Universal Prefix-free Turing Machines	CSP	2008	DBLP BibTeX RDF
1	Eric Goles Ch., Pierre-Etienne Meunier, Ivan Rapaport, Guillaume Theyssier	Communications in cellular automata	CSP	2008	DBLP BibTeX RDF
1	Jack H. Lutz	A Divergence Formula for Randomness and Dimension (Short Version)	CSP	2008	DBLP BibTeX RDF
1	Maurice Margenstern	On the injectivity of the global function of a cellular automaton in the hyperbolic plane (extended abstract)	CSP	2008	DBLP BibTeX RDF
1	Markus Holzer, Martin Kutrib, Andreas Malcher	Multi-Head Finite Automata: Characterizations, Concepts and Open Problems	CSP	2008	DBLP BibTeX RDF
1	Nicolas Ollinger	Intrinsically Universal Cellular Automata	CSP	2008	DBLP BibTeX RDF
1	Olivier Bournez, Jérémie Chalopin, Johanne Cohen, Xavier Koegler	Playing With Population Protocols	CSP	2008	DBLP BibTeX RDF
1	Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan	Computational Power of P Systems with Small Size Insertion and Deletion Rules	CSP	2008	DBLP BibTeX RDF
1	Grégory Lafitte	Busy beavers gone wild	CSP	2008	DBLP BibTeX RDF
1	David Doty, Matthew J. Patitz, Scott M. Summers	Limitations of Self-Assembly at Temperature One (extended abstract)	CSP	2008	DBLP BibTeX RDF
1	Sergey Verlan, Yurii Rogozhin	New Choice for Small Universal Devices: Symport/Antiport P Systems	CSP	2008	DBLP BibTeX RDF
1	Klaus Sutner	Computational Processes and Incompleteness	CSP	2008	DBLP BibTeX RDF
1	Niall Murphy, Damien Woods	On acceptance conditions for membrane systems: characterisations of L and NL	CSP	2008	DBLP BibTeX RDF
1	Manfred Kudlek	Some Considerations on Universality	CSP	2008	DBLP BibTeX RDF
1	Nicolas Ollinger, Gaétan Richard	A Particular Universal Cellular Automaton	CSP	2008	DBLP BibTeX RDF
1	Alexander Okhotin	Representing a P-complete problem by small trellis automata	CSP	2008	DBLP BibTeX RDF
1	David P. Pereira, Ana Cristina Vieira de Melo	A formal architectural model for exception handling coordination.	SAC	2008	DBLP DOI BibTeX RDF	exception handling coordination, CSP, fault-tolerant architecture
1	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota	Framework composition conformance via refinement checking.	SAC	2008	DBLP DOI BibTeX RDF	conformance notions, framework composition, refinement, CSP
1	Matthew C. Jadud, Jon Simpson, Christian L. Jacobsen	Patterns for programming in parallel, pedagogically.	SIGCSE	2008	DBLP DOI BibTeX RDF	occam-?, parallelism, concurrency, CSP, fun, LEGO
1	Ashley T. McNeile, Ella E. Roubtsova	Executable Protocol Models as a Requirements Engineering Tool.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	event protocols, composition, requirements, CSP, model execution
1	Tang Yan, Tang Jingtian, Gong Andong	Multi-Class EEG Classification for Brain Computer Interface based on CSP.	BMEI	2008	DBLP DOI BibTeX RDF	Multi-Class EEG Classification, CSP, BCI
1	Santhosh Coimbatore Vaidyanathan, Amit Mangesh Brahme, Sukumar Jairam	Techniques for Early Package Closure in System-in-Packages.	ISQED	2008	DBLP DOI BibTeX RDF	spacer, landing, SoC, SIP, CSP, MCM, POP
1	Peter Y. H. Wong, Jeremy Gibbons	Verifying Business Process Compatibility (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	compatibility verification, model checking, refinement, CSP, business process modelling
1	Zain-ul-Abdin, Bertil Svensson	Using a CSP Based Programming Model for Reconfigurable Processor Arrays.	ReConFig	2008	DBLP DOI BibTeX RDF	CSP, Programming Models, Coarse-grained Reconfigurable Architectures
1	Dénes Bisztray, Reiko Heckel, Hartmut Ehrig	Verification of Architectural Refactorings by Rule Extraction.	FASE	2008	DBLP DOI BibTeX RDF	UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation
1	Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières	Using CSP\|\|B Components: Application to a Platoon of Vehicles.	FMICS	2008	DBLP DOI BibTeX RDF	verification, formal methods, specification, case study, CSP, B, compositional modelling
1	Michael Leuschel, Marc Fontaine	Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool.	ICFEM	2008	DBLP DOI BibTeX RDF	Integrated Formal Methods, Specification Language Design, Model Checking, Animation, Logic Programming, CSP, Tool Support, B-Method
1	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
1	Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit	The MEB and CEB Static Analysis for CSP Specifications.	LOPSTR	2008	DBLP DOI BibTeX RDF	Concurrent Programming, CSP, Program Slicing
1	Yannis Argyropoulos, Kostas Stergiou	A Study of SAT-Based Branching Heuristics for the CSP.	SETN	2008	DBLP DOI BibTeX RDF	Branching Heuristics, CSP, SAT
1	Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace	The Design of the Zinc Modelling Language.	Constraints	2008	DBLP DOI BibTeX RDF	Modelling, Optimisation, CSP, Constraint programming, Language design
1	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
1	Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
1	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
1	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	Applying CSP \|\| B to information systems.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Information systems, CSP, Compositional verification, B, Combining formalisms
1	John P. McDermott, Leo Freitas	A formal security policy for xenon.	FMSE	2008	DBLP DOI BibTeX RDF	refinement, open-source, z, csp, hypervisor, information-flow security, circus
1	David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane	Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol.	MM&Sec	2008	DBLP DOI BibTeX RDF	buyer-seller watermarking protocol, customer's rights, unbinding, formal model, csp, formal analysis
1	Éric Grégoire, Bertrand Mazure, Cédric Piette	MUST: Provide a Finer-Grained Explanation of Unsatisfiability.	CP	2007	DBLP DOI BibTeX RDF	unsatisfiability, MUC, MUS, MUST, CSP, explanation, constraint networks
1	Marcel Oliveira, Jim Woodcock	Automatic Generation of Verified Concurrent Hardware.	ICFEM	2007	DBLP DOI BibTeX RDF	FPGA, concurrency, refinement, CSP, tool support, program development, Handel-C, automatic compilation
1	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
1	Christie Marr	Capturing Conflict and Confusion in CSP.	IFM	2007	DBLP DOI BibTeX RDF	Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
1	André Trudel, Elhadi Shakshuki, Yiqing Xu	A Probabilistic Multi-agent Scheduler Implemented in JXTA.	NBiS	2007	DBLP DOI BibTeX RDF	Allen’s temporal relations, agents, CSP, temporal reasoning, JXTA
1	Neil Evans, Helen Treharne	Interactive tool support for CSP \|\| B consistency checking.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B
1	Joy N. Reed, A. W. Roscoe, J. E. Sinclair	Responsiveness and stable revivals.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Model-checking, CSP, Semantic model, Responsiveness
1	Jian Huang, A. W. Roscoe	Extending noninterference properties to the timed world.	SAC	2006	DBLP DOI BibTeX RDF	CSP, information flow, noninterference, discrete time
1	Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi	Security Analysis of RFID Authentication for Pervasive Systems using Model Checking.	COMPSAC	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
1	Wing Lok Yeung	Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.	ECOWS	2006	DBLP DOI BibTeX RDF	Choreography description language, model checking, formal methods, CSP, business process execution language
1	Ana Cavalcanti, Phil Clayton	Verification of Control Systems using Circus.	ICECCS	2006	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
1	Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim	The Vulnerabilities Analysis and Design of the Security Protocol for RFID System.	CIT	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
1	Zhi-qiang Jiang, Xi-lan Feng, Zhongyan Hu	CSP-based Study on Distributed PDM and Consistency Control Technique for Aero-Subcontract Production.	IMSCCS	2006	DBLP DOI BibTeX RDF	Aero-SP, DPDM, Distributed Design and Manufacturing, Consistency Control Technology, CSP
1	Samuel Wieczorek, Gilles Bisson, Mirta B. Gordon	Guiding the Search in the NO Region of the Phase Transition Problem with a Partial Subsumption Test.	ECML	2006	DBLP DOI BibTeX RDF	similarity index, ?-subsumption, partial subsumption, CSP, Inductive Logic Programming, phase transition
1	Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi	Security and Privacy Analysis of RFID Systems Using Model Checking.	HPCC	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
1	Tony Lambert, Carlos Castro, Eric Monfroy, Frédéric Saubion	Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation.	ICAISC	2006	DBLP DOI BibTeX RDF	hybrid resolution, genetic algorithms, CSP, constraint propagation
1	Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
1	Christie Bolton, Jim Davies	A singleton failures semantics for Communicating Sequential Processes.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types
1	Tony Lambert, Eric Monfroy, Frédéric Saubion	Solving strategies using a hybridization model for local search and constraint propagation.	SAC	2005	DBLP DOI BibTeX RDF	hybrid resolution, local search, CSP, constraint propagation
1	Yat Chiu Law, Jimmy Ho-Man Lee	Breaking value symmetries in matrix models using channeling constraints.	SAC	2005	DBLP DOI BibTeX RDF	CSP, symmetry breaking
1	Christian L. Jacobsen, Matthew C. Jadud	Towards concrete concurrency: occam-pi on the LEGO mindstorms.	SIGCSE	2005	DBLP DOI BibTeX RDF	occam ?, parallelism, concurrency, CSP, fun, LEGO
1	Junrong Shen, Xi Sun, Gang Huang 0001, Wenpin Jiao, Yanchun Sun, Hong Mei	Towards a unified formal model for supporting mechanisms of dynamic component update.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	architectural connector, software architecture, CSP, dynamic update
1	Jeremy Bryans	Reasoning about XACML policies using CSP.	SWS	2005	DBLP DOI BibTeX RDF	santic models, access control, CSP, XACML
1	Weihang Wu, Tim Kelly	Failure modelling in software architecture design for safety.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	software architectures, CSP, safety analysis, failure modelling
1	Jun Sun 0001, Jin Song Dong	Model Checking Live Sequence Charts.	ICECCS	2005	DBLP DOI BibTeX RDF	Verification, CSP, FDR, LSCs
1	Ana Cavalcanti, Phil Clayton, Colin O'Halloran	Control Law Diagrams in Circus.	FM	2005	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
1	Jun Sun 0001, Jin Song Dong	Synthesis of Distributed Processes from Scenario-Based Specifications.	FM	2005	DBLP DOI BibTeX RDF	Synthesis, CSP, LSC
1	Steve A. Schneider, Helen Treharne, Neil Evans	Chunks: Component Verification in CSP\|\|B.	IFM	2005	DBLP DOI BibTeX RDF	Component based verification, decomposition, CSP, B-Method
1	Kun Wei, James Heather	Embedding the Stable Failures Model of CSP in PVS.	IFM	2005	DBLP DOI BibTeX RDF	CSP, deadlock, determinism, liveness, theorem prover
1	A. W. Roscoe	On the expressive power of CSP refinement.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Refinement, Topology, CSP, Full abstraction
1	Ana Cavalcanti, Augusto Sampaio, Jim Woodcock	Unifying classes and processes.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	Integration, Refinement, CSP, Z
1	Neil Evans, Helen Treharne	Investigating a file transfer protocol using CSP and B.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	CSP, Compositional verification, B, Combining formalisms
1	Takahiro Nakano, Masahiro Nagamatu	Solving CSP by Lagrangian Method with Importance of Constraints.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	neural network, CSP, constraint satisfaction problem, Lagrangian method
1	Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Linking CSP-OZ with UML and Java: A Case Study.	IFM	2004	DBLP DOI BibTeX RDF	Java, UML, CSP, assertions, Object-Z, runtime checking
1	Xu Wang, A. W. Roscoe, Ranko Lazic	Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.	IFM	2004	DBLP DOI BibTeX RDF	Trace refinement, Model checking, CSP, Array, Reachability, Data independence
1	Kirsten Winter	Formalising Behaviour Trees with CSP.	IFM	2004	DBLP DOI BibTeX RDF	Behaviour Trees, model checking, Requirements engineering, CSP
1	Hon Wai Chun, Rebecca Y. M. Wong	CLSS: An Intelligent Crane Lorry Scheduling System.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	vehicle scheduling, optimization, CSP, constraint programming, constraint satisfaction problem
1	Joy N. Reed, J. E. Sinclair, A. W. Roscoe	Responsiveness of interoperating components.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Refinement, CSP, Deadlock, Responsiveness, Component-based systems
1	Arash Saifhashemi, Hossein Pedram	Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction.	DAC	2003	DBLP DOI BibTeX RDF	CHP, PLI, CSP, asynchronous circuits, channel, verilog
1	Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack	Challenging Formal Specifications by Mutation: a CSP security example.	APSEC	2003	DBLP DOI BibTeX RDF	model checking, CSP, mutation testing, security properties
1	Wing Lok Yeung, Karl R. P. H. Leung	A Synergistic Interweaving of Formal and Informal Methods.	COMPSAC	2003	DBLP DOI BibTeX RDF	Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration