alexloh80's Tivoli:M [3 articles] Export Sort

Recent papers posted to alexloh80's library by the author Tivoli:M. You can also see everyone's Tivoli:M.

Hide details

	SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems [My Copy] In ICSE '07: Proceedings of the 29th international conference on Software Engineering (2007), pp. 784-787. by Marco Autili, Paola Inverardi, Alfredo Navarra, Massimo Tivoli posted to pcom2 paper-demos model-check component by alexloh80 on 2009-08-25 19:48:39 as
	Synthesis of correct and distributed adaptors for component-based systems: an automatic approach [My Copy] In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 405-409. by Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili posted to pcom2 by alexloh80 on 2009-07-15 00:46:51 as
	Towards an architectural approach for the dynamic and automatic composition of software components [My Copy] In ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis (2006), pp. 12-21. by Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli posted to pcom2 sw-arch by alexloh80 on 2009-07-08 21:28:15 as along with 5 people ingo krissp hastudillo jfischer tvolland

Note: You may cite this page as: http://www.citeulike.org/user/alexloh80/author/Tivoli:M

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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

sccm	145
pcom2	59
coordination	46
sw-engr	43
formal-method	28
bevdiff	24
model-check	22
testing	20
code-query	20
code-diff	19
nw-security	14
code-merge	12
dynamic-analysis	12
csp	10
code-change	10
static-analysis	8
swd	8
parallel	5
query-lang	5
src-control	5
nopdf	5
mpi	5
paper-demos	4
prog-compre	4
info-needs	4
debugging	3
component	3
sw-arch	3
p-net	3
slicing	3
ddos	2
global-se	2
stm	2
dev-context	2
math	2
visualization	2
sw-evo	2
model-extract	2
bounded-buffer	2
spin	2
code-clone	2
hci	1
code-view	1
sw-mining	1

alexloh80's Tivoli:M [3 articles] Export Sort

alexloh80's tags