Tag csp [at least 200 articles] Export

Recent papers classified by the tag csp.

	Using Java CSP Solvers in the Automated Analyses of Feature Models [My Copy] In In Post-Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE). LNCS 4143, Vol. 4143 (2005) by David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz-cortés posted to test solver performance java jacop csp comparison choco by voronov on 2009-12-01 19:04:09 as
	Testing for Refinement in CSP [My Copy] Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4789 (2007), pp. 151-170. by Ana Cavalcanti, Marie-Claude Gaudel edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie posted to trace testing refinement failures csp 2007 by michaelbanks on 2009-11-28 16:29:19 as along with 2 people mishra_satish leonardo
	SymChaff: exploiting symmetry in a structure-aware satisfiability solver [My Copy] Constraints, Vol. 14, No. 4. (1 December 2009), pp. 478-505. by Ashish Sabharwal posted to symmetry solver sat csp constraint by voronov on 2009-11-23 14:57:10 as
	Compositional Verification of Input-Output Conformance via CSP Refinement Checking [My Copy] Formal Methods and Software Engineering (2009), pp. 20-48. by Augusto Sampaio, Sidney Nogueira, Alexandre Mota posted to refinement csp compositional_verification _conference 2009 by leonardo to the group SRG on 2009-11-21 01:20:43 as
	Computational science: Can get satisfaction [My Copy] Nature, Vol. 435, No. 7043. (08 June 2005), pp. 751-752. by Carla P. Gomes, Bart Selman posted to sat phase_transition nature csp complexity by voronov on 2009-11-19 21:32:34 as along with 1 person bpb
	A Process Semantics for BPMN [My Copy] In ICFEM '08: Proceedings of the 10th International Conference on Formal Methods and Software Engineering (2008), pp. 355-374. by Peter Y. Wong, Jeremy Gibbons posted to csp bpmn by RobPhippen on 2009-11-19 11:16:02 as along with 1 person mcheung
	An explanation-based tools for debugging constraint satisfaction problems [My Copy] Applied Soft Computing, Vol. 8, No. 4. (September 2008), pp. 1400-1406. by Samir Ouis, Mohamed Tounsi posted to rules debugging csp by voronov on 2009-11-16 12:06:59 as
	Propositional Satisfiability and Constraint Programming: a Comparative Survey [My Copy] Vol. 38, No. 4. (2006), pp. 1-62. by Lucas Bordeaux, Youssef Hamadi, Lintao Zhang posted to survey sat csp constraint_programming by voronov on 2009-11-16 11:09:04 as
	A Mechanized Strategy for Safe Abstraction of CSP Specifications [My Copy] Formal Methods: Foundations and Applications (2009), pp. 118-133. by Adriana Damasceno, Adalberto Farias, Alexandre Mota posted to csp _conference 2009 by leonardo to the group SRG on 2009-11-08 13:58:03 as
	Formalisation and Analysis of Objects as CSP Processes [My Copy] Formal Methods: Foundations and Applications In SBMF, Vol. 5902 (2009), pp. 236-250. by Renata Kaufman, Augusto Sampaio, Alexandre Mota edited by Marcel Vinicius Medeiros Oliveira, Jim Woodcock, Marcel Vinicius Medeiros Oliveira, Jim Woodcock posted to csp _conference 2009 by leonardo to the group SRG on 2009-11-08 13:56:08 as
	Systematic Development of Trustworthy Component Systems [My Copy] FM 2009: Formal Methods (2009), pp. 140-156. by Rodrigo Ramos, Augusto Sampaio, Alexandre Mota posted to csp component_composition 2009 by leonardo to the group SRG on 2009-11-07 13:23:54 as
	The logic of constraint satisfaction [My Copy] Artificial Intelligence, Vol. 58, No. 1-3. (December 1992), pp. 3-20. by Alan K. Mackworth posted to sat logic csp by evgenit on 2009-10-21 17:56:19 as
	A third blind test of crystal structure prediction [My Copy] Acta Crystallographica Section B, Vol. 61, No. 5. (01 Oct 2005), pp. 511-527. by G. M. Day, W. D. S. Motherwell, H. L. Ammon, et al.S. X. M. Boerrigter, R. G. Della Valle, E. Venuti, A. Dzyabchenko, J. D. Dunitz, B. Schweizer, B. P. van Eijck, P. Erk, J. C. Facelli, V. E. Bazterra, M. B. Ferraro, D. W. M. Hofmann, F. J. J. Leusen, C. Liang, C. C. Pantelides, P. G. Karamertzanis, S. L. Price, T. C. Lewis, H. Nowell, A. Torrisi, H. A. Scheraga, Y. A. Arnautova, M. U. Schmidt, P. Verwer posted to predict csp crystal by dimka on 2009-10-15 19:01:55 as
	Understanding Concurrent Systems (Texts in Computer Science) [My Copy] (01 May 2010) by A. W. Roscoe posted to csp concurrent_systems _book 2010 by leonardo on 2009-10-08 15:12:56 as
	CSP Is a Retract of CCS [My Copy] Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62. by Jifeng He, Tony Hoare posted to theory refinement linking csp concurrency ccs 2006 by michaelbanks on 2009-09-26 10:20:50 as along with 3 people mishra_satish christiankissig leonardo
	Pattern-Based Confidentiality-Preserving Refinement [My Copy] Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 43-59. by Holger Schmidt posted to security requirements refinement problem-frame fdr csp 2009 by michaelbanks on 2009-08-17 12:30:20 as
	Some laws of non-interference (CSP algebra) [My Copy] Computer Security Foundations Workshop V, 1992. Proceedings. In 5th IEEE Computer Security Foundations Workshop (CSFW '92) (1992), pp. 22-33. by John Graham-Cumming posted to security proof noninterference multi-level definition csp case-study 1992 by michaelbanks on 2009-08-11 16:32:01 as
	A model of reconfiguration in communicating sequential processes with a notion of transactions [My Copy] Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12. by Jeremy L. Jacob posted to 1992 csp distributed formal-methods reconfigurable semantics software-engineering specification system operating-system by michaelbanks on 2009-07-13 18:01:54 as
	A model of reconfiguration in communicating sequential processes [My Copy] Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22. by Jeremy L. Jacob posted to 1990 csp distributed reconfigurable semantics software-engineering specification system operating-system by michaelbanks on 2009-07-13 17:57:55 as
	FDR Explorer [My Copy] Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 133-154. by Leo Freitas, Jim Woodcock posted to 2009 automata csp fdr model-checking refinement labelled-transition-system by michaelbanks on 2009-07-02 11:37:04 as along with 3 people mishra_satish newdawn leonardo
	Controlling Access to Documents: A Formal Access Control Model [My Copy] Emerging Trends in Information and Communication Security In Emerging Trends in Information and Communication Security, Vol. 3995 (2006), pp. 352-367. by Paul Sevinç, David Basin, Ernst-Rüdiger Olderog edited by Günter Müller posted to 2006 access-control automata csp csp-oz object-z security specification by michaelbanks on 2009-07-01 16:45:20 as
	Specifying and analyzing security automata using CSP-OZ [My Copy] In ASIACCS '07: Proceedings of the 2nd ACM symposium on Information, computer and communications security (2007), pp. 70-81. by David Basin, Ernst R. Olderog, Paul E. Sevinc posted to 2007 automata csp csp-oz object-z security specification by michaelbanks on 2009-07-01 16:38:14 as
	A UTP semantics for Circus [My Copy] Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 3-32. by Marcel Oliveira, Ana Cavalcanti, Jim Woodcock posted to 2009 circus csp refinement semantics utp z by michaelbanks on 2009-07-01 14:39:13 as along with 1 person leonardo
	Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock [My Copy] In TACAS '95: Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1995), pp. 133-152. by A. W. Roscoe, Paul H. B. Gardiner, M. H. Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood posted to pcom2 nopdf model-check formal-method csp by alexloh80 on 2009-06-24 22:13:01 as
	Process Oriented Design for Java: Concurrency for All [My Copy] In ICCS '02: Proceedings of the International Conference on Computational Science-Part II (2002), 687. by Peter H. Welch posted to pcom2 nopdf csp by alexloh80 on 2009-06-24 22:10:49 as
	Model checking the secure electronic transaction (SET) protocol [My Copy] Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 1999. Proceedings. 7th International Symposium on In Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 1999. Proceedings. 7th International Symposium on (1999), pp. 358-364. by S. Lu, S. A. Smolka posted to csp model-check nw-security pcom2 by alexloh80 on 2009-06-24 21:55:25 as
	Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (1996), pp. 147-166. by Gavin Lowe posted to csp formal-method model-check nw-security pcom2 by alexloh80 on 2009-06-24 21:54:22 as along with 1 person uisiong
	How to Make FDR Spin LTL Model Checking of CSP by Refinement [My Copy] In FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity (2001), pp. 99-118. by Michael Leuschel, Thierry Massart, Andrew Currie posted to csp formal-method model-check pcom2 by alexloh80 on 2009-06-24 21:52:49 as
	Communicating Java Threads [My Copy] In In WoTUG 20, Vol. 50 (1997), pp. 48-76. by Gerald Hilderink, Jan Broenink, Wiek Vervoort, Andre Bakkers posted to csp formal-method pcom2 by alexloh80 on 2009-06-24 21:47:36 as
	Converging CSP specifications and C++ programming via selective formalism [My Copy] ACM Trans. Embed. Comput. Syst., Vol. 4, No. 2. (2005), pp. 302-330. by William B. Gardner posted to csp formal-method pcom2 by alexloh80 on 2009-06-24 21:44:36 as
	The “Hoare Logic” of CSP, and All That [My Copy] ACM Transactions in Programming Languages and Systems, Vol. 6, No. 2. (1984), pp. 281-296. by Leslie Lamport, Fred B. Schneider posted to 1984 csp hoare-logic by michaelbanks on 2009-06-24 11:58:03 as
	Design and analysis of ChIP-seq experiments for DNA-binding proteins. [My Copy] Nature biotechnology, Vol. 26, No. 12. (16 December 2008), pp. 1351-1359. by Peter V. Kharchenko, Michael Y. Tolstorukov, Peter J. Park posted to analysis-tool background benchmark bioinformatics chip-seq csp ctcf deep-seq experiment-planning msp mtc pipeline read-coverage wtd xset by rschulz to the group KCL & UCL Bioinformatics on 2009-05-15 11:34:45 as along with 19 people and 1 group hzoltan stubrown guhjy gdb tonamswish ewilban1 coela ekotelnikova jfr floatingpoint idonaldson inesdesantiago WanderingAengus vplagnol xwbcn fpattyn mutagenic kengg ghattem SIMR bioinformatics
	Communicating Sequential Processes (Prentice Hall International Series in Computing Science) [My Copy] (01 April 1985) by C. A. R. Hoare posted to communicating-sequential-processes csp by streetlightios on 2009-05-12 04:09:10 as along with 4 people gvdh sgwyj jespera cbertolini
	Equal To The Task? [My Copy] In ESORICS '02: Proceedings of the 7th European Symposium on Research in Computer Security (2002), pp. 162-177. by James Heather, Steve Schneider posted to csp data-independence protocols rankfunctions strands unbounded-network by fdechesn on 2009-04-29 15:05:27 as
	A hierarchy of authentication specifications [My Copy] Computer Security Foundations Workshop, 1997. Proceedings., 10th In Computer Security Foundations Workshop, 1997. Proceedings., 10th (1997), pp. 31-43. by G. Lowe posted to authentication csp specification by fdechesn on 2009-04-29 14:36:41 as
	A specifier's introduction to formal methods [My Copy] Computer In Computer, Vol. 23, No. 9. (1990), pp. 8-24. by Jeannette M. Wing posted to 1990 csp formal-methods introduction larch temporal vdm z by michaelbanks on 2009-04-23 11:25:04 as along with 1 person emiliorp
	A Formal Description Method for Aspect-Oriented Statechart Based on CSP [My Copy] Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on In Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, Vol. 2 (2008), pp. 750-753. by Bin Wang, Chunhua Zhu, Jinfang Sheng posted to statecharts fdr csp aspects 2008 by leonardo on 2009-04-22 12:23:03 as
	A Theory of Communicating Sequential Processes [My Copy] J. ACM, Vol. 31, No. 3. (July 1984), pp. 560-599. by S. D. Brookes, C. A. R. Hoare, A. W. Roscoe posted to formal-method csp pcom2 by alexloh80 on 2009-04-17 20:56:40 as along with 1 person mperalta
	Communicating sequential processes [My Copy] Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 666-677. by C. A. R. Hoare posted to formal-method csp pcom2 by alexloh80 on 2009-04-17 20:55:28 as along with 6 people and 5 groups thermostat robertjohnsimmons michaelbanks rgb cogumbreiro bockfliess ConcertRG pileWorks Wavelets AlgebraicLanguages FPA
	The non-invasive Berlin Brain-Computer Interface: fast acquisition of effective performance in untrained subjects. [My Copy] NeuroImage, Vol. 37, No. 2. (15 August 2007), pp. 539-550. by B. Blankertz, G. Dornhege, M. Krauledat, K. R. Müller, G. Curio posted to bbci bci csp by rodin on 2009-03-25 12:39:53 as along with 3 people and 1 group xawen ddvlamin BrianNielsen Brain-like research group
	The MEB and CEB Static Analysis for CSP Specifications [My Copy] Logic-Based Program Synthesis and Transformation (2009), pp. 103-118. by Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit posted to 2009 csp by leonardo on 2009-03-06 13:35:26 as
	Optimizing spatio-temporal filters for improving BCI [My Copy] In in Advances in Neural Inf. Proc. Systems (NIPS 05, Vol. 18 (2006), pp. 315-322. by Guido Dornhege, Benjamin Blankertz, Matthias Krauledat, Florian Losch, Gabriel Curio, Klaus-Robert Müller posted to 2005 bbci bci csp nips by xawen to the group Brain-like research group on 2009-02-14 08:38:35 as
	A comparison of common spatial patterns with complex band power features in a four-class BCI experiment [My Copy] Biomedical Engineering, IEEE Transactions on In Biomedical Engineering, IEEE Transactions on, Vol. 53, No. 4. (2006), pp. 642-651. by G. Townsend, B. Graimann, G. Pfurtscheller posted to 2006 bci csp graz multiclass by xawen to the group Brain-like research group on 2009-02-10 13:02:39 as along with 2 people breuderink cmuehl
	Changing System Interfaces Consistently: A New Refinement Strategy for CSP\|\|B [My Copy] Integrated Formal Methods (2009), pp. 103-117. by Steve Schneider, Helen Treharne posted to 2009 b csp refinement _to_download by leonardo on 2009-02-10 12:06:48 as
	CSP with Hierarchical State [My Copy] Integrated Formal Methods (2009), pp. 118-135. by Robert Colvin, Ian Hayes posted to 2009 csp hierarchy by leonardo on 2009-02-10 11:48:17 as
	Practical Application of CSP and FDR to Software Design [My Copy] Communicating Sequential Processes (2005), pp. 151-174. by Jonathan Lawrence posted to csp model-checking by newdawn on 2009-02-05 10:20:20 as along with 1 person leonardo
	Guided Test Generation from CSP Models [My Copy] Theoretical Aspects of Computing - ICTAC 2008 In Proceedings of the 5th international colloquium on Theoretical Aspects of Computing (2008), pp. 258-273. by Sidney Nogueira, Augusto Sampaio, Alexandre Mota posted to csp formal testing by newdawn on 2009-02-05 10:18:09 as along with 3 people and 1 group thiers20 mishra_satish sidney SRG
	A formal security policy for Xenon [My Copy] In FMSE '08: Proceedings of the 6th ACM workshop on Formal methods in security engineering (2008), pp. 43-52. by John Mcdermott, Leo Freitas posted to xen-hypervisor z xenon utp separation security policy kernel information-flow hypervisor formal deterministic csp circus 2008 by michaelbanks on 2009-02-03 13:45:29 as along with 1 person powerwolf
	Specification, Refinement and Verification of Concurrent Systems---An Integration of Object-Z and CSP [My Copy] Form. Methods Syst. Des., Vol. 18, No. 3. (2001), pp. 249-284. by Graeme Smith, John Derrick posted to 2001 concurrency csp object-z refinement specification verification by leonardo on 2009-02-02 19:57:36 as along with 1 person michaelbanks
	Chemical Substructure Search in SQL [My Copy] Journal of Chemical Information and Modeling, Vol. 49, No. 1. (26 January 2009), pp. 22-27. by Adel Golovin, Kim Henrick posted to constraint csp dfs problem satisfaction search sql substructure by zimbo1 on 2009-02-02 14:00:16 as along with 5 people richardbickerton pauldobson higueruelo dullhunk sschurer

Note: You may cite this page as: http://www.citeulike.org/tag/csp

Result page: 1 2 3 4 5 Next

refinement	36
2008	23
bci	23
2006	21
statecharts	21
z	19
constraint	17
semantics	17
2005	15
2002	14
2009	13
circus	13
fdr	12
concurrency	11
uml	11
2003	10
2007	10
_conference	10
bbci	10
model_checking	10
pcom2	9
specification	9
_to_download	8
2001	7
eeg	7
formal-method	7
security	7
motorimagery	6
sat	6
verification	6
_journal	5
constraints	5
java	5
object-z	5
survey	5
tool	5
ai	4
b	4
bioinformatics	4
book	4
ccs	4
chu-space	4
concurrent_systems	4
model-check	4
model-checking	4
process_algebra	4
requirements	4
spatial	4
temporal	4
umlrt	4
utp	4
1990	3
1996	3
1998	3
_no_doi	3
analysis-tool	3
automata	3
background	3
benchmark	3
chip-seq	3
classification	3
communication	3
ctcf	3
deep-seq	3
experiment-planning	3
formal	3
hierarchy	3
jcsp	3
msp	3
mtc	3
mu-charts	3
multiclass	3
pipeline	3
planning	3
process-algebra	3
read-coverage	3
system	3
trace	3
ws-bpel	3
ws-cdl	3
wtd	3
xset	3
1985	2
1992	2
1999	2
_qualis_b2	2
aspects	2
compiler	2
csp-oz	2
history	2
logic_programming	2
nips	2
proof	2
protocols	2
rankfunctions	2
refactoring	2
satisfaction	2
separation	2
unbounded-network	2
untrain	2

Tag csp [at least 200 articles] Export

Related Tags