Group: SRG - with tag csp [21 articles] Export Sort

Recent papers posted by members of the SRG group with tag csp

Hide details

	Compositional Verification of Input-Output Conformance via CSP Refinement Checking [My Copy] Formal Methods and Software Engineering, Vol. 5885 (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 along with 1 person sidney
	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
	Unifying Models of Test Cases and Requirements [My Copy] Latin America Transactions, IEEE (Revista IEEE America Latina) In Latin America Transactions, IEEE (Revista IEEE America Latina), Vol. 6, No. 3. (July 2008), pp. 267-274. by Clelio Feitosa, Glaucia Peres, Alexandre Mota posted to 2008 _journal _qualis_c controlled_natural_language csp formal_methods formal_models modelling unifying_models by leonardo to the group SRG on 2009-01-22 14:17:11 as
	An Strategy for Automatic Conformance Testing in Embedded Systems [My Copy] Latin America Transactions, IEEE (Revista IEEE America Latina) In Latin America Transactions, IEEE (Revista IEEE America Latina), Vol. 6, No. 3. (July 2008), pp. 290-297. by Cristiano Bertolini, Alexandre Mota posted to 2008 _journal _qualis_c conformance_testing csp refinement_checking by leonardo to the group SRG on 2009-01-22 14:16:58 as
	JACK: A Framework for Process Algebra Implementation in Java [My Copy] (2002) by Leonardo Freitas, Augusto Sampaio, Ana Cavalcanti posted to 2002 _conference concurrency csp design_patterns java process_algebra by leonardo to the group SRG on 2008-11-29 01:40:45 as
	Guided Test Generation from CSP Models [My Copy] Theoretical Aspects of Computing - ICTAC 2008 In Lecture Notes in Computer Science, Vol. 5160 (2008), pp. 258-273. by Sidney Nogueira, Augusto Sampaio, Alexandre Mota edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun posted to 2008 _conference _venue_ictac csp test testpurpose by leonardo to the group SRG on 2008-08-29 14:10:43 as along with 4 people thiers20 mishra_satish newdawn sidney
	Refinement in Circus [My Copy] FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-15. by Augusto Sampaio, Jim Woodcock, Ana Cavalcanti posted to 2002 circus _conference csp refinement z by leonardo to the group SRG on 2008-06-19 20:55:54 as along with 1 person michaelbanks
	Model Checking CSPz: Techniques to Overcome State Explosion [My Copy] (2002) by Alexandre Mota, Augusto Sampaio, Paulo Borba posted to 2002 _conference csp cspz model_checking by leonardo to the group SRG on 2008-04-29 16:13:50 as
	De CSPz para CSPm: Uma ferramenta transformacional Java [My Copy] (2001), pp. 1-10. by Alexandre Mota, Adalberto Farias, Augusto Sampaio posted to 2001 _conference csp by leonardo to the group SRG on 2008-04-29 16:13:50 as
	Viewing CSP specifications with UML-RT diagrams [My Copy] In Simpósio Brasileiro (2006), pp. 73-88. by Patrícia Ferreira, Augusto Sampaio, Alexandre Mota posted to 2006 _conference csp umlrt by leonardo to the group SRG on 2008-04-29 16:13:50 as
	A Tool to Translate CSP Models into English Requirements [My Copy] In II Encontro Brasileiro de Teste de Software (2007) by Gláucia Peres, Alexandre Mota posted to 2007 _conference csp requirements tool by leonardo to the group SRG on 2008-04-29 16:13:49 as
	An Integrated Approach to Specification and Validation of Real-Time Systems [My Copy] FME 2001: Formal Methods for Increasing Software Productivity (2001), pp. 278-299. by Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante posted to 2001 _conference csp timed-csp-z z by leonardo to the group SRG on 2008-04-16 16:07:53 as
	Viewing CSP Specifications with UML-RT Diagrams [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), Vol. 195 (18 January 2008), pp. 57-74. by Patrícia Ferreira, Augusto Sampaio, Alexandre Mota posted to 2008 _journal _qualis_b2 csp umlrt by leonardo to the group SRG on 2008-01-28 10:14:23 as
	Geração Automática de Casos de Teste CSP Guiada por Propósitos [My Copy] (August 2006) by Sidney Nogueira posted to 2006 csp _msc _thesis by leonardo to the group SRG on 2008-01-16 21:04:04 as along with 2 people maninhosl sidney
	Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets [My Copy] Applications and Theory of Petri Nets 2003 (2003), pp. 161-180. by Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante posted to 2003 _conference csp petrinets timed-csp-z z by leonardo to the group SRG on 2007-11-26 14:19:53 as
	Model-checking CSP-Z [My Copy] Fundamental Approaches to Software Engineering In Lecture Notes in Computer Science, Vol. 1382 (1998), pp. 205-220. by Alexandre Mota, Augusto Sampaio edited by Egidio Astesiano posted to 1998 _conference csp cspz model_checking z by leonardo to the group SRG on 2007-10-22 02:55:58 as along with 1 person mishra_satish
	JACK: A Framework for Process Algebra Implementation in Java [My Copy] In Proceedings of XVI Simpósio Brasileiro de Engenharia de Software (October 2002) by Leonardo Freitas, Ana Cavalcanti, Augusto Sampaio posted to 2002 concurrency _conference csp design_patterns java process_algebra by leonardo to the group SRG on 2007-10-03 22:08:58 as
	A Refinement Strategy for Circus [My Copy] Formal Aspects of Computing, Vol. 15, No. 2. (1 November 2003), pp. 146-181. by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock posted to 2003 _journal _qualis_b1 circus csp refinement z by leonardo to the group SRG on 2007-09-23 18:50:18 as
	Unifying classes and processes [My Copy] Software and Systems Modeling, Vol. 4, No. 3. (31 July 2005), pp. 277-296. by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock posted to 2005 _journal _qualis_b2 circus csp refinement z by leonardo to the group SRG on 2007-09-22 16:14:12 as

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

refinement	36
2008	23
bci	23
2006	21
statecharts	21
constraint	19
z	19
semantics	17
sat	16
2005	15
2002	14
2009	14
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
encoding	7
formal-method	7
security	7
verification	7
comparison	6
motorimagery	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
cardinality	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
pseudo_boolean	3
read-coverage	3
system	3
trace	3
vs	3
ws-bpel	3
ws-cdl	3
wtd	3
xset	3
1985	2
aspects	2
case-study	2
cspz	2
formal_specification	2
history	2
logic_programming	2
nips	2
nopdf	2
nw-security	2
separation	2
symmetry-breaking	2
testpurpose	2

Group: SRG - with tag csp [21 articles] Export Sort

Related Tags