Group: SRG - with tag 2009 [9 articles] Export Sort

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

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
	A Complete Set of Object Modeling Laws for Alloy [My Copy] Formal Methods: Foundations and Applications, Vol. 5902 (2009), pp. 204-219. by Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio posted to alloy 2009 by leonardo to the group SRG on 2009-11-08 13:54:34 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
	Checking Z Data Refinements Using Traces Refinement [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 129-148. by André Didier, Adalberto Farias, Alexandre Mota posted to _qualis_b2 2009 _journal by leonardo to the group SRG on 2009-07-23 16:04:46 as
	Multiple Synchrony in MSC [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 149-166. by Flávia Falcão, Juliano Iyoda, Augusto Sampaio posted to _qualis_b2 2009 _journal by leonardo to the group SRG on 2009-07-23 16:04:28 as
	An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs [My Copy] Software Testing Verification and Validation, 2009. ICST '09. International Conference on In 2009 International Conference on Software Testing Verification and Validation (ICST) (April 2009), pp. 21-30. by Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota posted to 2009 _conference _venue_icst blackbox crash tests by leonardo to the group SRG on 2009-05-28 16:06:19 as
	Abstraction of Infinite and Communicating CSPZ Processes [My Copy] (26 January 2009) by Adalberto C. Farias posted to 2009 _phd cspz data_abstraction data_refinement formal_methods formal_specification model_verification process_refinement by leonardo to the group SRG on 2009-01-29 18:15:38 as

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

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

kdd	86
ppi	86
www	77
graphene	73
social_network	64
sigir	58
review	44
sm	42
theory	40
xf	40
x2009	37
transport	35
search	34
collaborative_filtering	29
social_annotation	28
fragments	27
571r	26
disorder	26
prb	26
structure	26
software	24
statecharts	24
flexibility	23
network	23
pdf	23
quantum_world	23
bioinformatics	22
icml	22
prl	22
sigmod	21
interface	20
refinement	20
semantics	20
strong_correlation	20
uml	20
application	18
complex	18
influenza	17
recommendation	17
cacm	16
docking	16
experimental	16
offshore	16
ranking	16
theoretical	16
optimization	15
temporal	15
verification	15
web	15
csp	14
networks	14
numerical	14
protein	14
cit	13
security	13
thermo	13
wikipedia	13
_to_download	12
algorithm	12
databases	12
model_transformation	12
social_web	12
_to_appear	11
druggable	11
dynamic	11
epidemiology	11
molecular_dynamics	11
privacy	11
thesis	11
alloy	10
community_discovery	10
design	10
diversity	10
dynamics	10
hotspots	10
ht_sequencing	10
inverted-index	10
magnetic	10
open	10
social	10
superconductivity	10
click	9
h1n1	9
matrix	9
music	9
prediction	9
simulation	9
survey	9
analysis	8
apl	8
books	8
culture	8
folksonomy	8
gnr	8
gpu	8
pocket	8
programming	8
sbdd	8
science	8
spin	8

Group: SRG - with tag 2009 [9 articles] Export Sort

Related Tags