Juan José Sánchez Penas

2007
5	EE	Lars-Åke Fredlund, Juan José Sánchez Penas: Model Checking a Video-on-Demand Server Using McErlang. EUROCAST 2007: 539-546
2004
4	EE	Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas: Translating Erlang to µCRL. ACSD 2004: 135-144
2003
3	EE	Juan José Sánchez Penas, Thomas Arts: VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. ACSD 2003: 247-248
2	EE	Juan José Sánchez Penas, Carlos Abalde Ramiro: Extending the VoDKA architecture to improve resource modelling. Erlang Workshop 2003: 15-22
2002
1	EE	Thomas Arts, Juan José Sánchez Penas: Global scheduler properties derived from local restrictions. Erlang Workshop 2002: 49-57

Coauthor Index

1	Thomas Arts	[1] [3] [4]
2	Clara Benac Earle	[4]
3	Lars-Åke Fredlund (Lars-åke Fredlund)	[5]
4	Carlos Abalde Ramiro	[2]

Colors in the list of coauthors