Juan José Sánchez Penas

According to our database, Juan José Sánchez Penas authored at least 5 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Model Checking a Video-on-Demand Server Using McErlang.

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

Proceedings of the Computer Aided Systems Theory, 2007

2004

Translating Erlang to µCRL.

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

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Extending the VoDKA architecture to improve resource modelling.

Juan José Sánchez Penas, Carlos Abalde Ramiro

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003

VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions.

Juan José Sánchez Penas, Thomas Arts

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Global scheduler properties derived from local restrictions.

Thomas Arts, Juan José Sánchez Penas

Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, 2002