Informaatioteknologia

Julkaisut

Julkaisuja vuodessa 1988 2011 2013 2014 2015 2016 2017 2018 2020 2024

• 8245 Viittaukset
• 39 h-index
• 548 Konferenssiartikkeli
• 231 Artikkeli
• 148 Tutkimusraportti
• 56 Luku
• 83 Lisää
  • 27 Tohtorinväitöskirja
  • 25 Antologia/toimitettu lehti
  • 16 Muu myötävaikuttaminen
  • 4 Katsausartikkeli
  • 3 Tiivistelmä
  • 1 Esipuhe/jälkisanat
  • 1 Tutkielma
  • 1 Ilmoitus
  • 1 Keskustelupuheenvuoro
  • 1 Sävellysteos
  • 1 Lisensiaatin tutkielma
  • 1 Pro gradu
  • 1 Työpaperi

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2023

  EARLY: A Tool for Real-Time Security Attack Detection

  Ahmad, T., Truscan, D. & Vain, J., jouluk. 2023, CyberSecurity in a DevOps Environment : From Requirements to Monitoring. Sadovykh, A., Truscan, D., Mallouli, W., Cavalli, A. R., Seceleanu, C. & Bagnato, A. (toim.). Springer, s. 225-251

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

  • Intrusion Detection System 100%
  • Security Attack 100%
  • Security Attack Detection 100%
  • Real-time Security 100%
  • Network Traffic 66%
  30 Lataukset (Pure)

• Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems

  Chariyarupadannayil Sudheerbabu, G., Ahmad, T., Truscan, D. & Vain, J., 2023, CyberSecurity in a DevOps Environment : From Requirements to Monitoring. Sadovykh, A., Truscan, D., Mallouli, W., Cavalli, A. R., Seceleanu, C. & Bagnato, A. (toim.). Springer, s. 127-159

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

  • Metamorphic Testing 100%
  • Fault Localization 100%
  • Failure Diagnosis 66%
  • Test Oracle 66%
  • Root Cause Analysis 66%
• 2019

  Energy aware ultrascale systems

  Oleksiak, A., Lefevre, L., Alonso, P., Da Costa, G., De Maio, V., Frasheri, N., Garcia, V. M., Guerrero, J., Lafond, S., Lastovetsky, A., Reddy Manumachu, R., Muite, B., Orgerie, A.-C., Piatek, W., Pierson, J.-M., Prodan, R., Stolf, P., Sheme, E. & Varrette, S., 2019, Ultrascale Computing Systems. Carretero, J., Jeannot, E. & Zomaya, A. Y. (toim.). The Institution of Engineering and Technology, s. –

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen

• Preface

  Dongol, B., Petre, L. & Smith, G., 2019, Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019. Dongol, B., Petre, L. & Smith, G. (toim.). Springer Verlag, s. v–vi

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• RDF stores for enhanced living environments: An overview

  Karvinen, P., Diaz-Rodriguez, N., Grönroos, S. & Lilius, J., 2019, Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems. Ganchev, I., Garcia, N. M., Dobre, C., Mavromoustakis, C. X. & Goleva, R. (toim.). Springer, s. 19–52

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  5 Sitaatiot (Scopus)
• 2018

  Model-Based Representations for Dataflow Schedules

  Bhattacharyya, S. S. & Lilius, J., 2018, Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Springer Verlag, s. 88-105 18 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10760 LNCS)( Programming and Software Engineering).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

  • Signal Processing 100%
  • Data Flow Graph 100%
  • Functional Specification 100%
  • Specialized Architectures 100%
  • Design Tools 100%
  2 Sitaatiot (Scopus)

• WEBRSIM: A Web-Based Reaction Systems Simulator

  Ivanov, S., Rogojin, V., Azimi Rashti, S. & Petre, I., 2018, Enjoying Natural Computing. Graciani, C., Riscos-Núñez, A., Păun, G., Rozenberg, G. & Salomaa, A. (toim.). Springer, s. 170–181

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  10 Sitaatiot (Scopus)
• 2017

  Reaction systems: a model of computation inspired by the functioning of the living cell

  Ehrenfeucht, A., Petre, I. & Rozenberg, G., 2017, The Role of Theory in Computer Science : Essays Dedicated to Janusz Brzozowski. Konstantinidis, S., Moreira, N., Reis, R. & Shallit, J. (toim.). World Scientific Publishing, s. 1–32

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  30 Sitaatiot (Scopus)

• Testing Web Services with Model-Based Mutation

  Siavashi, F., Iqbal, J., Truscan, D. & Vain, J., 2017, Software Technologies. Enrique, C., Jorge, C., André, L., A., M. L. & Sinderen Marten, V. (toim.). Springer, s. 45–67

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  5 Sitaatiot (Scopus)
• 2016

  A Provably Correct Resilience Mediator Pattern

  Neovius, M., Rönkkö, M. & Walden, M., 2016, From Action Systems to Distributed Systems - The Refinement Approach. Petre, L. & Sekerinski, E. (toim.). CRC Press, s. 125–139

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Integrating Refinement-Based Methods for Developing Timed Systems

  Vain, J., Tsiopoulos, L. & Boström, P., 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (toim.). CRC Press, s. 171–185

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  4 Sitaatiot (Scopus)

• Quantitative model refinement in four different frameworks, with applications to the heat shock response

  Gratie, D.-E., Iancu, B., Azimi Rashti, S. & Petre, I., 2016, From Action Systems to Distributed Systems. Petre, L. & Sekerinski, E. (toim.). CRC Press, s. 201–214

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  3 Sitaatiot (Scopus)
• 2015

  A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

  Truscan, D., Vain, J., Koskinen, M. & Iqbal, J., 2015, Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Holzinger, A., Cardoso, J., Cordeiro, J., Libourel, T., Maciaszek, L. & Sinderen, M. (toim.). Springer, s. 349–364

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• CEUR-WS-LOD: Conversion of CEUR-WS Workshops to Linked Data

  Kolchin, M., Chernyi, E., Kozlov, F., Shipilo, A. & Kovriguina, L., 2015, Semantic Web Evaluation Challenges. Gandon, F., Cabrio, E., Stankovic, M. & Zimmermann, A. (toim.). Springer, s. 142–152 11 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  4 Sitaatiot (Scopus)

• Green Data Centers

  Basmadjian, R., Bouvry, P., Da Costa, G., Gyarmati, L., Kliazovich, D., Lafond, S., Lefèvre, L., De Meer, H., Pierson, J.-M., Pries, R., Torres, J., Anh Trinh, T. & Ullah Khan, S., 2015, Large-scale Distributed Systems and Energy Efficiency: A Holistic View. Pierson, J.-M. (toim.). John Wiley & Sons, s. 159–196

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  14 Sitaatiot (Scopus)

• Metadata Extraction from Conference Proceedings Using Template-Based Approach

  Kovriguina, L., Shipilo, A., Kozlov, F., Kolchin, M. & Chernyi, E., 2015, Semantic Web Evaluation Challenges. Gandon, F., Cabrio, E., Stankovic, M. & Zimmermann, A. (toim.). Springer, s. 153–164 12 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  4 Sitaatiot (Scopus)

• Mining Web Server Logs for Creating Workload Models

  Abbors, F., Truscan, D. & Ahmad, T., 2015, Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Holzinger, A., Cardoso, J., Cordeiro, J., Libourel, T., Maciaszek, L. & Sinderen, M. (toim.). Springer, s. 131–150

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

  Tiedosto
  3 Sitaatiot (Scopus)

  37 Lataukset (Pure)

• Quantitative model refinement for guarded command models

  Azimi Rashti, S. & Petre, I., 2015, Multidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday. Gheorghe, M., Petre, I., Pérez-Jiménez, M. J., Rozenberg, G. & Salomaa, A. (toim.). Spandugino, s. 196–206

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Scenario-based Design and Validation of REST Web Service Compositions

  Rauf, I., Siavashi, F., Truscan, D. & Porres Paltor, I., 2015, Web Information Systems and Technologies - 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers. Valérie, M. & Karl-Heinz, K. (toim.). Springer, s. 145–160

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Towards Correct and Reusable Network-on-Chip Architectures

  Kamali, M., Petre, L., Sere, K. & Daneshtalab, M., 2015, Modelling and Simulation of Computer Networks and Systems: Methodologies and Applications. Obaidat, M., Nicopolitidis, P. & Zarai, F. (toim.). Elsevier, s. 357–392

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

  1 Sitaatiot (Scopus)

• Towards the Russian Linked Culture Cloud: Data Enrichment and Publishing

  Mouromtsev, D., Haase, P., Chernyi, E., Pavlov, D., Andreev, A. & Spiridonova, A., 2015, The Semantic Web. Latest Advances and New Domains. Gandon, F., Sabou, M., Sack, H., d’Amato, C., Cudré-Mauroux, P. & Zimmermann, A. (toim.). Springer, s. 637–651 15 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  17 Sitaatiot (Scopus)
• 2014

  Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach

  Ostroumov, S., Tsiopoulos, L., Walden, M. & Plosila, J., 2014, Advancing Embedded Systems and Real-Time Communications with Emerging Technologies. Virtanen, S. (toim.). IGI Global, s. 302–333

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• The Reduction Power of Simple Operations for Gene Assembly in Ciliates

  Azimi Rashti, S. & Petre, I., 2014, Discrete Mathematics and Computer Science. Paun, G. & Marcus, S. (toim.). s. 23–36

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
• 2013

  Introduction to Cloud Computing Technologies

  Ashraf, A., Hartikainen, M., Hassan, U., Heljanko, K., Lilius, J., Mikkonen, T., Porres Paltor, I., Syeed, M. & Tarkoma, S., 2013, Developing Cloud Software: Algorithms, Applications, and Tools. Porres, I., Mikkonen, T. & Ashraf, A. (toim.). TUCS general publications, s. 1–41

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Performance Testing in the Cloud using MBPeT

  Abbors, F., Ahmad, T., Truscan, D. & Porres Paltor, I., 2013, Developing Cloud Software : algorithms, applications, and tools. Porres, I., Mikkonen, T. & Ashraf, A. (toim.). TUCS general publications, s. 191–225

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

  Tiedosto
  28 Lataukset (Pure)

• Prediction-Based Virtual Machine Provisioning and Admission Control for Multi-Tier Web Applications

  Ashraf, A., Byholm, B. & Porres Paltor, I., 2013, Developing Cloud Software: Algorithms, Applications, and Tools. Porres, I., Mikkonen, T. & Ashraf, A. (toim.). TUCS general publications, s. 71–112

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Proactive Virtual Machine Allocation for Video Transcoding in the Cloud

  Jokhio, F., Ashraf, A., Deneke, T., Lafond, S., Porres Paltor, I. & Lilius, J., 2013, Developing Cloud Software: Algorithms, Applications, and Tools. Porres, I., Mikkonen, T. & Ashraf, A. (toim.). TUCS general publications, s. 113–143

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
• 2012

  Hybrid Cellular and Broadcasting Networks

  Gomez-Barquero, D., Unger, P., Nasr, K., Poikonen, J. & Nybom, K., 2012, Pervasive Mobile and Ambient Wireless Communications. Verdone, R. & Zanella, A. (toim.). Springer, s. 547–576

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Location-Awareness with Action Systems

  Petre, L., Sere, K. & Walden, M., 2012, Handbook of Research on Mobile Software Engineering - Design, Implementation, and Emergent Applications. Alencar, P. & Cowan, D. (toim.). IGI Global, s. 463–483

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Ontology Driven Smart Space Application Development

  Saleemi, M., Rodríguez N, D., Suenson, E., Lilius, J. & Porres Paltor, I., 2012, Semantic Interoperability: Issues, Solutions, and Challenges. Pileggi, S. & Fernandez-Llatas, C. (toim.). River publishers, s. 101–125

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Smart Metering and Customer Consumption Behavior Profiling Exploring Potential Business Opportunities for DSOs and Electricity Retailers

  Liu, H., Eklund, T. & Back, B., 2012, Knowledge Service Engineering Handbook. Kantola, J. & Karwowski, W. (toim.). Taylor & Francis, s. 177–186

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Supporting student innovation through project-based learning and industry co-operation

  Roslöf, J., Björkqvist, J. & Virtanen, S., 2012, Innovations 2012: World Innovations in Engineering Education and Research. Aung, W., Ilic, V., Mertanen, O., Moscinski, J. & Uhomoibhi, J. (toim.). iNEER, s. –

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Towards Self-Placing Applications on 2D and 3D NoCs

  Petre, L., Sere, K., Tsiopoulos, L., Liljeberg, P. & Plosila, J., 2012, Autonomic Networking-on-Chip: Bio-inspired Specification, Development, and Verification. Cong-Vinh, P. (toim.). CRC Press, s. –

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
• 2011

  Beyond CRUD

  Rauf, I. & Porres Paltor, I., 2011, REST: From Research to Practice. Wilde, E. & Pautasso, C. (toim.). Springer, s. 117–135

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Development of Controllers Using Simulink and Contract-Based Design

  Boström, P., Huova, M., Olszewska, M., Linjama, M., Heikkilä, M., Sere, K. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (toim.). Information science reference IGI, s. 151–169

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Development of Safety-Critical Control Systems in Event-B Using FMEA

  Prokhorova, I., Troubitsyna, E., Laibinis, L. & Kharchenko, V., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (toim.). Information science reference IGI, s. 75–91

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Measuring the Progress of a System Development

  Olszewska, M. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (toim.). Information science reference IGI, s. 417–441

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)

• Network Availability for Distributed Applications

  Petre, L., Sere, K. & Walden, M., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (toim.). IGI Global, s. 36–56

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Towards Designing FPGA-Based Systems by Refinement in B

  Ostroumov, S., Troubitsyna, E., Laibinis, L. & Kharchenko, V., 2011, Dependability and Computer Engineering: Concepts for Software-Intensive Systems. Petre, L., Sere, K. & Troubitsyna, E. (toim.). Information science reference IGI, s. 92–112

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)
• 2009

  A New Mathematical Model for the Heat Shock Response

  Petre, I., Mizera, A., Hyder, C., Mikhailov, A., Eriksson, J., Sistonen, L. & Back, R.-J., 2009, Algorithmic bioprocesses. Condon, A., Harel, D., Kok, J. N., Salomaa, A. & Winfree, E. (toim.). Springer, s. 411–425 15 Sivumäärä

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  9 Sitaatiot (Scopus)

• Documenting the Progress of the System Development

  Olszewska, M., Walden, M. & Snook, C., 2009, Methods, Models and Tools for Fault Tolerance. Butler, M., Jones, C. B., Romanovsky, A. & Troubitsyna, E. (toim.). Springer, s. 251–274 (Programming and Software Engineering; Vuosikerta 5454).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

  • System Development 100%
  • Formal Method 100%
  • Case Study 100%
  • Development Process 50%
  • Combined Method 50%
• 2008

  Model-based Testing Using Scenarios and Event-B Refinements

  A Malik, Q., Lilius, J. & Laibinis, L., 2008, Methods, Models and Tools for Fault Tolerance. Butler CJAR, M. & Troubitsyna, E. (toim.). Springer, s. 177–195

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• SystemC-based Simulation of the MICAS Architecture

  Truscan, D., Sandström, K., Lilius, J. & Porres Paltor, I., 2008, Embedded Systems Specification and Design Languages. Villar, E. (toim.). Springer, s. 87–103

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

  1 Sitaatiot (Scopus)
• 2007

  Lyotropic mesomorphism and aggregation in surfactant systems

  Danielsson, I., Rosenholm, J. B., Stenius, P. & Backlund, S., 2007, Colloids and Surfaces. s. 1-11 11 Sivumäärä (Colloids and Surfaces).

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Protocol Processor Design Issues

  Truscan, D., Virtanen, S. & Lilius, J., 2007, Processor Design - System-On-Chip Computing for ASICs and FPGAs. Nurmi & Jari (toim.). Springer, s. 257–285

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (Scopus)

• System Level Simulations

  Virtanen, S., Truscan, D., Määttä, S., Westerlund, T., Isoaho, J. & Nurmi, J., 2007, Processor Design - System-On-Chip Computing for ASICs and FPGAs. Nurmi, J. (toim.). Springer, s. 405–426

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
• 2006

  Formal Service-Oriented Development of Fault Tolerant Communicating Systems

  Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J. & Malik, Q., 2006, Rigorous Development of Complex Fault-Tolerant Systems. Springer Berlin / Heidelberg, s. 261–287

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• Providing Managers with a Visual Cross-Level Analysis Method

  Eklund, T., Collan, M., Länsiluoto, A. & Back, B., 2006, Expanding the Limits of the Possible. Walden, P., Fullér, R. & Carlsson, J. (toim.). Painotalo Gillot, s. 220–240

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
• 2005

  Code Generation for Embedded Systems

  Björklund, D., Lilius, J. & Porres Paltor, I., 2005, Model Driven Engineering for Distributed Real-time Embedded Systems. Gérard, S., Babau, J.-P. & Champeau, J. (toim.). Hermes Science Publications, s. –

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu

• On Modeling Techniques for Supporting Model Driven Development of Protocol Processing Applications

  Alanen, M., Lilius, J., Porres Paltor, I. & Truscan, D., 2005, Model-Driven Software Development. Beydeda, S., Book, M. & Gruhn, V. (toim.). Springer, s. 305–328

  Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
  6 Sitaatiot (Scopus)