Ari Ahtiainen

According to our database, Ari Ahtiainen authored at least 6 papers between 1985 and 2009.

Collaborative distances:

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

2009

Awareness networking in wireless environments.

Ari Ahtiainen, Kari Kalliojärvi, Mika Kasslin, Kari Leppänen, Andreas Richter, Päivi Ruuska, Carl Wijting

IEEE Veh. Technol. Mag., 2009

ETSI Reconfigurable Radio Systems - Software Defined Radio and Cognitive Radio standards.

Markus Mueck, George Dimitrakopoulos, Kostas Tsagkaris, Jens Gebert, Klaus Nolte, Stanislav A. Filin, Hiroshi Harada, Gianmarco Baldini, Jordi Pérez-Romero, Oriol Sallent, Fernando J. Casadevall, Ari Ahtiainen

Proceedings of the IEEE 20th International Symposium on Personal, 2009

2002

Applying Formal Method in Mobile Protocol Testing.

Ari Ahtiainen

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2001

EASN: Integrating ASN.1 and Model Checking.

Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1993

Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7.

Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti

Proceedings of the Protocol Test Systems, 1993

1985

An approach for evaluating formal description techniques.

Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda

Proceedings of the Protocol Specification, 1985