BibTeX records: Ari Ahtiainen

• > Home > Persons > Ari Ahtiainen

@article{DBLP:journals/vtm/AhtiainenKKLRRW09,
  author       = {Ari Ahtiainen and
                  Kari Kallioj{\"{a}}rvi and
                  Mika Kasslin and
                  Kari Lepp{\"{a}}nen and
                  Andreas Richter and
                  P{\"{a}}ivi Ruuska and
                  Carl Wijting},
  title        = {Awareness networking in wireless environments},
  journal      = {{IEEE} Veh. Technol. Mag.},
  volume       = {4},
  number       = {3},
  pages        = {48--54},
  year         = {2009},
  url          = {https://doi.org/10.1109/MVT.2009.933475},
  doi          = {10.1109/MVT.2009.933475},
  timestamp    = {Wed, 09 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vtm/AhtiainenKKLRRW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pimrc/MueckDTGNFHBPSCA09,
  author       = {Markus Mueck and
                  George Dimitrakopoulos and
                  Kostas Tsagkaris and
                  Jens Gebert and
                  Klaus Nolte and
                  Stanislav A. Filin and
                  Hiroshi Harada and
                  Gianmarco Baldini and
                  Jordi P{\'{e}}rez{-}Romero and
                  Oriol Sallent and
                  Fernando J. Casadevall and
                  Ari Ahtiainen},
  title        = {{ETSI} Reconfigurable Radio Systems - Software Defined Radio and Cognitive
                  Radio standards},
  booktitle    = {Proceedings of the {IEEE} 20th International Symposium on Personal,
                  Indoor and Mobile Radio Communications, {PIMRC} 2009, 13-16 September
                  2009, Tokyo, Japan},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/PIMRC.2009.5449951},
  doi          = {10.1109/PIMRC.2009.5449951},
  timestamp    = {Thu, 24 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pimrc/MueckDTGNFHBPSCA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Ahtiainen02,
  author       = {Ari Ahtiainen},
  editor       = {Ina Schieferdecker and
                  Hartmut K{\"{o}}nig and
                  Adam Wolisz},
  title        = {Applying Formal Method in Mobile Protocol Testing},
  booktitle    = {Testing of Communicating Systems XIV, Applications to Internet Technologies
                  and Services, Proceedings of the {IFIP} 14th International Conference
                  on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
                  March 19-22, 2002},
  series       = {{IFIP} Conference Proceedings},
  volume       = {210},
  pages        = {187},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Mon, 22 Jul 2002 15:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Ahtiainen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ShanbhagGTAL01,
  author       = {Vivek K. Shanbhag and
                  K. Gopinath and
                  Markku Turunen and
                  Ari Ahtiainen and
                  Matti Luukkainen},
  editor       = {G{\'{e}}rard Berry and
                  Hubert Comon and
                  Alain Finkel},
  title        = {{EASN:} Integrating {ASN.1} and Model Checking},
  booktitle    = {Computer Aided Verification, 13th International Conference, {CAV}
                  2001, Paris, France, July 18-22, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2102},
  pages        = {382--386},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44585-4\_37},
  doi          = {10.1007/3-540-44585-4\_37},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ShanbhagGTAL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/AhtiainenCHK93,
  author       = {Ari Ahtiainen and
                  Bruno Chatras and
                  Marc W. A. Hornbeek and
                  Sami Kesti},
  editor       = {Omar Rafiq},
  title        = {Experiences with Octopus Automated {TTCN} Translation Tools Applied
                  to {GSM/SS7}},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {231--253},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 17 Oct 2002 11:13:42 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/AhtiainenCHK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/AhtiainenACDDFHJKMMPP85,
  author       = {Ari Ahtiainen and
                  S. Alfonzetti and
                  V. Chari and
                  Mats Daniels and
                  Michel Diaz and
                  Alberto Faro and
                  Hans A. Hansson and
                  Guy Juanole and
                  Ulla Karjalainen and
                  Gesualdo Le Moli and
                  Juhani Malka and
                  Sergio Palazzo and
                  Orlando Pereda},
  editor       = {Michel Diaz},
  title        = {An approach for evaluating formal description techniques},
  booktitle    = {Protocol Specification, Testing and Verification V, Proceedings of
                  the {IFIP} {WG6.1} Fifth International Conference on Protocol Specification,
                  Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
  pages        = {421--438},
  publisher    = {North-Holland},
  year         = {1985},
  timestamp    = {Mon, 23 Oct 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/AhtiainenACDDFHJKMMPP85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}