Search results for "CSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Du Zhang, Meiliu Lu	Process Name Resolution in Fault-Tolerant CSP Programs.	ACM SIGOPS Oper. Syst. Rev.	1986	DBLP DOI BibTeX RDF	CSP
28	Krzysztof R. Apt, Nissim Francez	Modeling the Distributed Termination Convention of CSP.	ACM Trans. Program. Lang. Syst.	1984	DBLP DOI BibTeX RDF	CSP
28	Leslie Lamport, Fred B. Schneider	The "Hoare Logic" of CSP, and All That.	ACM Trans. Program. Lang. Syst.	1984	DBLP DOI BibTeX RDF	CSP
28	Gael N. Buckley, Abraham Silberschatz	An Effective Implementation for the Generalized Input-Output Construct of CSP.	ACM Trans. Program. Lang. Syst.	1983	DBLP DOI BibTeX RDF	CSP
28	Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001	Compositional Verification of Input-Output Conformance via CSP Refinement Checking.	ICFEM	2009	DBLP DOI BibTeX RDF
28	Michael Leuschel, Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit	SOC: a slicer for CSP specifications.	PEPM	2009	DBLP DOI BibTeX RDF	software engineering, program slicing
28	Ákos Horváth 0001, Dániel Varró	CSP(M): Constraint Satisfaction Problem over Models.	MoDELS	2009	DBLP DOI BibTeX RDF	Constraint satisfaction programming, graph transformation
28	Madhur Tulsiani	CSP gaps and reductions in the lasserre hierarchy.	STOC	2009	DBLP DOI BibTeX RDF	constraint satisfaction, semidefinite programming, integrality gaps
28	Vladimir G. Deineko, Peter Jonsson, Mikael Klasson, Andrei A. Krokhin	The approximability of MAX CSP with fixed-value constraints.	J. ACM	2008	DBLP DOI BibTeX RDF	Complexity of approximation, maximum constraint satisfaction, dichotomy, Monge properties, supermodularity
28	Christopher Mears, Maria J. García de la Banda, Mark Wallace 0001, Bart Demoen	A Novel Approach For Detecting Symmetries in CSP Models.	CPAIOR	2008	DBLP DOI BibTeX RDF
28	Andrei A. Bulatov, Matthew Valeriote	Recent Results on the Algebraic Approach to the CSP.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
28	A. W. Roscoe 0001	The Three Platonic Models of Divergence-Strict CSP.	ICTAC	2008	DBLP DOI BibTeX RDF
28	Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.	ISoLA	2008	DBLP DOI BibTeX RDF
28	Frédéric Lardeux, Éric Monfroy, Frédéric Saubion	Interleaved Alldifferent Constraints: CSP vs. SAT Approaches.	AIMSA	2008	DBLP DOI BibTeX RDF
28	Cédric Pinto, Cyril Terrioux	A New Method for Computing Suitable Tree-Decompositions with Respect to Structured CSP Solving.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
28	Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou	A Branch and Bound Algorithm for Numerical MAX-CSP.	CP	2008	DBLP DOI BibTeX RDF
28	Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu	Edge Matching Puzzles as Hard SAT/CSP Benchmarks.	CP	2008	DBLP DOI BibTeX RDF
28	María Cristina Riff, Marcos Zúñiga	Towards an immune system that solves CSP.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
28	Rajesh K. Thiagarajan, Markus Stumptner	Service Composition with Consistency-Based Matchmaking: A CSP-Based Approach.	ECOWS	2007	DBLP DOI BibTeX RDF
28	Uwe Wolter	A (Co)Algebraic Analysis of Synchronization in CSP.	WADT	2006	DBLP DOI BibTeX RDF
28	A. W. Roscoe 0001, Zhenzhong Wu	Verifying Statemate Statecharts Using CSP and FDR.	ICFEM	2006	DBLP DOI BibTeX RDF
28	Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006	Improvements Towards Formalizing UML State Diagrams in CSP.	APSEC	2005	DBLP DOI BibTeX RDF
28	Michael J. Butler, Michael Leuschel	Combining CSP and B for Specification and Property Verification.	FM	2005	DBLP DOI BibTeX RDF	Model Checking, Animation, Logic Programming, Constraints, Tool Support, B-Method
28	Christie Bolton	Adding Conflict and Confusion to CSP.	FM	2005	DBLP DOI BibTeX RDF
28	Jean-Nicolas Bès, Philippe Jégou	Proving Graph Un-Colorability with a Consistency Check of CSP.	ICTAI	2005	DBLP DOI BibTeX RDF
28	Carlos Grandón, Bertrand Neveu	Using Constraint Programming for Solving Distance CSP with Uncertainty.	CP	2005	DBLP DOI BibTeX RDF
28	Felix Geller, Michael Veksler	Assumption-Based Pruning in Conditional CSP.	CP	2005	DBLP DOI BibTeX RDF
28	Joey Hwang, David G. Mitchell	2-Way vs. d-Way Branching for CSP.	CP	2005	DBLP DOI BibTeX RDF
28	Hubie Chen, Víctor Dalmau	(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability.	CP	2004	DBLP DOI BibTeX RDF
28	A. W. Roscoe 0001	Seeing Beyond Divergence.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
28	Alex D. Scott, Gregory B. Sorkin	Faster Algorithms for MAX CUT and MAX CSP, with Polynomial Expected Time for Sparse Instances.	RANDOM-APPROX	2003	DBLP DOI BibTeX RDF
28	Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex	Solving Max-SAT as Weighted CSP.	CP	2003	DBLP DOI BibTeX RDF
28	S. Hamissi, N. Siyahia, M. Babes	Proposition of Two Evolutionist Approachs - Genetic Algorithm and Neural Network - To Solve CSP.	GMAG	2003	DBLP DOI BibTeX RDF	genetic algorithm, neural network, Artificial Intelligence, Heuristics, Constraint Satisfaction Problem
28	Graeme Smith	An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.	IFM	2002	DBLP DOI BibTeX RDF
28	Thierry Petit, Jean-Charles Régin, Christian Bessière	Range-Based Algorithm for Max-CSP.	CP	2002	DBLP DOI BibTeX RDF
28	Geraldo Pereira de Souza, Gerson Henrique Pfitscher	An Implementation of a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs Based on the CSP Model and Java.	DS-RT	2002	DBLP DOI BibTeX RDF
28	Michael Leuschel	Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.	PADL	2001	DBLP DOI BibTeX RDF	Implementation and Compilation, Verification, Concurrency, Specification
28	Michael Leuschel, Thierry Massart, Andrew Currie	How to Make FDR Spin LTL Model Checking of CSP by Refinement.	FME	2001	DBLP DOI BibTeX RDF
28	Ali E. Abdallah, Mark Green	An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms.	ICFEM	2000	DBLP DOI BibTeX RDF	performance evaluation, animation, visualisation, Communicating Sequential Processes, message-passing algorithms
28	Arturo Núñez, María Cristina Riff Rojas	Evaluating Migration Strategies for an Evolutionary Algorithm Based on the Constraint-Graph that Solves CSP.	ISMIS	2000	DBLP DOI BibTeX RDF
28	John Derrick, Graeme Smith 0001	Structural Refinement in Object-Z/CSP.	IFM	2000	DBLP DOI BibTeX RDF
28	Stephan Pontow	Modelling CSP Solution Algorithms with Petri Decision Nets.	CP	1998	DBLP DOI BibTeX RDF
28	Alvin C. M. Kwan	Validity of Normality Assumption in CSP Research.	PRICAI	1996	DBLP DOI BibTeX RDF
28	Steve A. Schneider, Abraham Sidiropoulos	CSP and Anonymity.	ESORICS	1996	DBLP DOI BibTeX RDF
28	Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen	From CSP Models to Markov Models.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	probabilistic dependability model, trace-based functional model, time homogeneous Markov process, deterministic systems, event occurrences, exponential time distribution, terminal failure, gas burner system, specification, fault tolerant computing, Markov processes, finite automata, safety-critical system, waiting time, communicating sequential process, communicating sequential processes, stochastic, finite automaton
28	Rajive L. Bagrodia	Synchronization of Asynchronous Processes in CSP.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
28	A. W. Roscoe 0001, Geoff Barrett	Unbounded Nondeterminism in CSP.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
28	Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti	An Exercise in Concurrency: a CSP Process as a Condition/ event System.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
28	Gerlinde Schreiber	Operational Semantics and a Distributed Implementation of CSP.	MFPS	1987	DBLP DOI BibTeX RDF
28	Benjamin Satzger, Faruk Bagci, Florian Kluge, Theo Ungerer	Towards lightweight self-configuration in wireless sensor networks.	SAC	2010	DBLP DOI BibTeX RDF	constraint satisfaction problem (CSP), distributed CSP (DCSP), wireless, self-configuration
28	Sami Al-Maqtari, Habib Abdulrab	Controller agent approach for solving DCSP.	SCSC	2007	DBLP BibTeX RDF	constraint satisfaction problem (CSP), controller agent, distributed CSP (DCSP), multi-agent system (MAS)
27	Xian Zhang, Yang Liu 0003, Mikhail Auguston	Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.	SSIRI	2010	DBLP DOI BibTeX RDF	Constraint Logic Programm, verifictaion, Security Protocol, extension, Timed CSP
27	Noriki Ogura, Keizo Saisho, Akira Fukuda	Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System.	APSEC	1997	DBLP DOI BibTeX RDF	process replication, distributed system, client-server system, formal description, Timed CSP
27	M. Collado, R. Morales, J. J. Moreno	A Modula-2 Implementation of CSP.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	CSP Modula-2
26	Hadiseh Pourali, Hesam Omranpour	CSP-Ph-PS: Learning CSP-phase space and Poincare sections based on evolutionary algorithm for EEG signals recognition.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
26	Mustapha Moufassih, Ousama Tarahi, Soukaina Hamou, Said Agounad, Hafida Idrissi Azami	An empirical study to evaluate feature extraction approaches CSP, TSM, and CSP-TSM on a MI-BCI under distraction.	SMC	2023	DBLP DOI BibTeX RDF
26	Joabe Jesus, Augusto Sampaio	Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover.	SBMF	2022	DBLP DOI BibTeX RDF
26	Xuan Li, Xuebin Wang, Fan Li, Tao Niu, Guoqiang Lu, Yue Sun, Wei Huang, Bo Hu, Kaigui Xie	Wind-Thermal-CSP Bundling Model With an Adjustable Heat Storage Strategy for CSP Stations.	IEEE Access	2021	DBLP DOI BibTeX RDF
26	Lukas Weichselbaum, Michele Spagnuolo, Sebastian Lekies, Artur Janc	CSP Is Dead, Long Live CSP! On the Insecurity of Whitelists and the Future of Content Security Policy.	CCS	2016	DBLP DOI BibTeX RDF
26	Blanca Corona, Diego Ruiz, Guillermo San Miguel	Environmental Assessment of a HYSOL CSP Plant Compared to a Conventional Tower CSP Plant.	ANT/SEIT	2016	DBLP DOI BibTeX RDF
26	Mohammed Bekkouche	Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l'aide à la localisation d'erreurs : exploration des capacités des CSP pour la localisation d'erreurs. (Combining techniques of Bounded Model Checking and constraint programming to aid for error localization : exploration of CSP capacities for error localization).		2015	RDF
26	Michael Weissbacher, Tobias Lauinger, William K. Robertson	Why Is CSP Failing? Trends and Challenges in CSP Adoption.	RAID	2014	DBLP DOI BibTeX RDF
26	William B. Gardner, Yuriy Solovyov	Supporting Timed CSP Operators in CSP++.	CPA	2012	DBLP BibTeX RDF
26	Jun Hu 0008	Algorithms for irreducible infeasible subset detection in CSP - Application to frequency planning and graph k-coloring. (Algorithmes pour la détection d'un sous ensemble irréalisable irréductible dans un CSP - Applications aux problèmes d'affectation des fréquences et problème de k-coloration).		2012	RDF
26	Subbarao Kambhampati	Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan	CoRR	2011	DBLP BibTeX RDF
26	Moritz Kleine	CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems.		2011	RDF
26	Mohammad Dib	Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP. (Tabu-NG : hybridization of constraint programming and local search for solving CSP).		2010	RDF
26	Matthias Westphal, Stefan Wölfl 0001	Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning.	IJCAI	2009	DBLP BibTeX RDF
26	Marie de Roquemaurel	Planification de coût optimal basée sur les CSP pondérés. (A weighted CSP approach to cost-optimal planning).		2009	RDF
26	Yoshinao Isobe, Markus Roggenbach	Proof Principles of CSP - CSP-Prover in Practice.	LDIC	2007	DBLP DOI BibTeX RDF
26	Tony Lambert	Hybridation de méthodes complètes et incomplètes pour la résolution de CSP. (Hybridization of complet and incomplete methods tosolve CSP).		2006	RDF
26	Subbarao Kambhampati	Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan.	J. Artif. Intell. Res.	2000	DBLP DOI BibTeX RDF
26	Jan-Juan Hiemer	Statecharts in CSP - ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts.		1999	RDF
26	William B. Gardner	CSP++: an object-oriented application framework for software synthesis from CSP specifications.		1999	RDF
26	Luc Bougé	Modularité et symétrie pour les systèmes répartis; application au langage CSP. (Modularity and Symmetry for Distributed System; Application to the CSP Language).		1987	RDF
26	Wolfgang Jürgensen, Son T. Vuong	CSP and CSP Nets: A Dual Model for Protocol Specification and Verification.	PSTV	1984	DBLP BibTeX RDF
26	A. W. Roscoe 0001	Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	J. M. Adamo	PASCAL + CSP, Merging PASCAL and CSP in a parallel processing oriented language.	ICDCS	1982	DBLP BibTeX RDF
22	Frank Zeyda, Ana Cavalcanti 0001	Mechanised Translation of Control Law Diagrams into Circus.	IFM	2009	DBLP DOI BibTeX RDF	ClawZ, verification, CSP, Z, Simulink
22	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
22	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
22	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
22	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
22	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
22	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
22	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
22	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
22	Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi	Security Analysis of RFID Authentication for Pervasive Systems using Model Checking.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF	Model Checking, CSP, FDR, RFID Security, Casper
22	Tony Lambert, Carlos Castro 0001, Éric 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
22	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
22	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	Unifying classes and processes.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Integration, Refinement, CSP, Z
22	Weihang Wu, Tim Kelly	Failure modelling in software architecture design for safety.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	software architectures, CSP, safety analysis, failure modelling
22	Junrong Shen, Xi Sun, Gang Huang 0001, Wenpin Jiao, Yanchun Sun, Hong Mei 0001	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
22	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
22	Joy N. Reed, Jane E. Sinclair, A. W. Roscoe 0001	Responsiveness of interoperating components.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Refinement, CSP, Deadlock, Responsiveness, Component-based systems
22	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	A Refinement Strategy for Circus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Concurrency, CSP, Z, Program development
22	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
22	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
22	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A Constraint Solver for B.	TACAS	2002	DBLP DOI BibTeX RDF	Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP
22	Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin	Indexical-Based Solver Learning.	CP	2002	DBLP DOI BibTeX RDF	rule-based constraint solver, learning, consistency, CSP