Mikko Tiusanen
Mikko Tiusanen
Tuntematon yhteys
Vahvistettu sähköpostiosoite verkkotunnuksessa professori.fi
Nimike
Viittaukset
Viittaukset
Vuosi
Distributing Mobility Agents Hierarchically under Frequent Location Updates
D Forsberg, JK Malinen, JT Malinen, T Weckström, M Tiusanen
IEEE International Workshop on Mobile Multimedia Communications 1999, MoMuC …, 1999
771999
Symbolic, symmetry, and stubborn set searches
M Tiusanen
International Conference on Application and Theory of Petri Nets, 511-530, 1994
201994
PROD-A Pr/T-net reachability analysis tool
P Grönberg, M Tiusanen, K Varpaaniemi
171993
A Graph Model for E cient Reachability Analysis of Description Languages
A Valmari, M Tiusanen
Proceedings of the 8th European Workshop on Application and Theory of Petri …, 1987
121987
Some unsolved problems in modelling self-timed circuits using Petri nets
M Tiusanen
Bulletin of the EATCS 36, 152-160, 1988
101988
Convit, a tool for learning concurrent programming
HM Järvinen, M Tiusanen, A Virtanen
E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare …, 2003
82003
Static Analysis of Ada Tasking Programs: Models and Algorithms
M Tiusanen
University of Illinois at Chicago, 1993
61993
Wireless Networks and Their Impact on Network-Based Learning Content
JT Malinen, HH Kari, M Tiusanen
Enabling Network-based Learning 1999 (ENABLE'99), 154-160, 1999
5*1999
Maze: Moodle module for games of exercises
M Tiusanen, R Lahtinen
Koli Calling '11, 11th Koli Calling International Conference on Computing …, 2011
32011
Petri net based Analysis Environment Supporting Software Production
R Kujansuu, M Lindqvist, L Ojala, M Tiusanen
International Symposium on Circuits and Systems 1985 (ISCAS'85), 727-730, 1985
31985
Graph models for static analysis of ada tasking programs
M Tiusanen, T Murata
情報処理学会研究報告ソフトウェア工学 (SE) 1992 (59 (1992-SE-086)), 141-150, 1992
21992
A Design Support System for Concurrent Programs
J Kuussaari, S Saukkonen, R KuJansuu, M Lindqvist, M Tiusanen
Euromicro 85, 3-6, 1985
21985
States and Transformations for Software Engineering Theory
HM Järvinen, M Tiusanen
Proceedings of the Semat Workshop on a General Theory of Software …, 2012
12012
Good to know about the efficiency of state space methods
M Tiusanen, A Valmari
SPLST'09 & NW-MODE'09, Proceedings of 11th Symposium on Programming …, 2009
12009
On Models for Static Analysis of Ada Tasking Programs
M Tiusanen
Concurrency, Specification & Programming Workshop 1992 (CS&P'92), 1993
11993
Specification of a Net Description Language Compiler
M Tiusanen
Helsingin Teknillinen Korkeakoulu. Digitaalitekniikan Laboratorio, 1987
11987
A Graph Model for Efficient Reachability Analysis of Description Languages
M Tiusanen, A Valmari
Helsinki University of Technology, 1986
11986
Concurrent execution system for action languages
A Jääskeläinen, HM Järvinen, M Tiusanen
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
2017
Towards an ideal software engineering project course
T Ahtee, M Tiusanen
15th Koli Calling Conference on Computing Education Research (Koli Calling …, 2015
2015
Scenario-Driven Design Considerations for MANET Protocols
JT Malinen, HH Kari, M Tiusanen
IFIP TC6 WG6.1 Second International Working Conference on Distributed …, 2013
2013
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20