Vesa Luukkala

According to our database, Vesa Luukkala authored at least 8 papers between 2001 and 2012.

Collaborative distances:

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

2012

Meta Programming with Answer Sets for Smart Spaces.

Tomi Janhunen, Vesa Luukkala

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

2011

Distributed Deadlock Handling for Resource Allocation in Smart Spaces.

Rehan Abdul Aziz, Tomi Janhunen, Vesa Luukkala

Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011

2010

Enhancing a Smart Space with Answer Set Programming.

Vesa Luukkala, Ilkka Niemelä

Proceedings of the Semantic Web Rules - International Symposium, 2010

Integration of an Answer Set Engine to Smart-M3.

Vesa Luukkala, Jukka Honkola

Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2010

Experiences in implementing a cross-domain use case by combining semantic and service level platforms.

Vesa Luukkala, Dirk-Jan Binnema, Mihaly Börzsei, Alessio Corongiu, Pasi Hyttinen

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

2007

Model Based Testing of an Embedded Session and Transport Protocol.

Vesa Luukkala, Ian Oliver

Proceedings of the Testing of Software and Communicating Systems, 2007

2002

Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.

Teemu Tynjälä, Sari Leppänen, Vesa Luukkala

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

An SDL Implementation Framework for Third Generation Mobile Communications System.

Juha Iso-Sipilä, Vesa Luukkala

Proceedings of the SDL 2001: Meeting UML, 2001