Juan José Sánchez Penas

Fisterra: gestión de empresa con software libre

Javier Fernández García-Boente, Alejandro García Castro, Juan José Sánchez Penas, 2005 .

Translating Erlang to CRL

Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas, 2004 .

VoDkaV tool: model checking for extracting global scheduler properties from local restrictions

Thomas Arts, Juan José Sánchez Penas, 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

Model Checking a Video-on-Demand Server Using McErlang

Lars-Åke Fredlund, Juan José Sánchez Penas, 2007, EUROCAST.

From software architecture to formal verification of a distributed system

Juan José Sánchez Penas, J. J. S. Penas, 2006 .

Translating Erlang to /spl mu/CRL

Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas, 2004, Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..

Extending the VoDKA architecture to improve resource modelling

Juan José Sánchez Penas, Carlos Abalde Ramiro, 2003, ERLANG '03.

PAM [Pluggable Autentification Method] en GNU/ Linux

Juan José Sánchez Penas, Alejandro García, 2001 .

Serval: software libre para la gestión de VLANs en Internet

Alejandro García Castro, Juan José Sánchez Penas, Francisco Javier Moran Rua, 2005 .

Global scheduler properties derived from local restrictions

Thomas Arts, Juan José Sánchez Penas, T. Arts, 2002, ERLANG '02.