• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Edited special issues of journals (2):

• Ina Schieferdecker, Colin Willcock, Dragos Truscan (Eds.), Model-Based Testing for Embedded and Real-Time Communication Systems (MBT4ERTCS). International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 2(2), 2011.
• Johan Lilius, Richardo J. Machado, Dragos Truscan, Joao M. Fernandes, Ivan (guest editors) Porres (Eds.), Selected Papers of the 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005). Nordic Journal of Computing 12(3), 2005.

Articles in journals (7):

• Tanwir Ahmad, Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres, Model-based testing using UML activity diagrams: A systematic mapping study. Computer Science Review 33, 98–112, 2019.
• Andrey Sadovykh, Wasif Afzal, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliere, Alessandra Bagnato, Abel Gómez, Jordi Cabot, Orlando Avila-García, On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience. Microprocessors and Microsystems 71, 0–0, 2019.
• Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez, Jesús Gorroñogoitia, Luigi Pomante, Pavel Smrz, The MegaM@Rt2 ECSEL Project: MegaModelling At Runtime – Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems. Microprocessors and Microsystems , 86–95, 2018.
• Tanwir Ahmad, Dragos Truscan, Ivan Porres, Identifying Worst-Case User Scenarios for Performance Testing of Web Applications Using Markov-Chain Workload Models. Future Generation Computer Systems: The International Journal of Grid Computing: Theory Methods and Applications , 11, 2018.
• Qaisar A. Malik, Linas Laibinis, Dragos Truscan, Johan Lilius, Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development. International Journal On Advances in Software 3(1 & 2), 147–160, 2010.
• Dragoş Truşcan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Ivan Lilius, MDE for Soc Design. Innovations in Systems and Software Engineering 5(1), 49–64, 2009.
• João M. Fernandes, Johan Lilius, Dragos Truscan, Integration of DFDs Into a UML-Based Model-Driven Engineering Approach. Software and Systems Modeling 5(4), 403–428, 2006.

Articles in proceedings (54):

• Damir Bilic, Etienne Brosse, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, Uwe Ryssel, An Integrated Model-based Tool Chain for Managing Variability in Complex System Design. In: Models and Evolution Workshop (ME 2019), co-located with the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Model Driven Engineering Languages and Systems (MODELS 2019) Workshops, 0–0, IEEE, 2019.
• Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres, Exhaustive Simulation and Test Generation Using fUML Activity Diagrams. In: P. Giorgini, B. Weber (Eds.), Advanced Information Systems Engineering, Lecture Notes in Computer Science 11483, 96–110, Springer, Cham, 2019.
• Andrey Sadovykh, Alessandra Bagnato, Dragos Truscan, Hugo Bruneliere, Abel Gómez, Jordi Cabot, Orlando Avila-García, Wasif Afzal, A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project. In: Paolo Ciancarini, Manuel Mazzara, Angelo Messina, Alberto Sillitti, Giancarlo Succi (Eds.), Proceedings of 6th International Conference in Software Engineering for Defence Applications, Advances in Intelligent Systems and Computing 925, 265–274, Springer International Publishing, 2019.
• Andrey Sadovykh, Dragos Truscan, Pierluigi Pierini, Gunnar Widforss, Adnan Ashraf, Hugo Bruneliere, Pavel Smrz, Alessandra Bagnato, Wasif Afzal, Alexandra Espinosa Hortelano, On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects. In: Design, Automation & Test in Europe Conference, DATE 2019, 498–503, EDAA, 2019.
• Andrey Sadovykh, Adnan Ashraf, Alessandra Bagnato, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliere, Orlando Avila-Carcia, Wasif Afzal, Model-Based System Engineering in Practice: Document Generation - MegaM@Rt2 Project Experience. In: Alexey Fedorov, Maxim Tsepkov (Eds.), Proceedings of the 14th Central and Eastern European Software Engineering Conference Russia (CEE-SECR '18), 9:1–9:6, ACM, 2018.
• Faezeh Siavashi, Dragos Truscan, Jüri Vain, Vulnerability Assessment of Web Services with Model-based Mutation Testing. In: N N (Ed.), 2018 IEEE International Conference on Software Quality, Reliability and Security, 301–312, IEEE, 2018.
• Faezeh Siavashi, Dragos Truscan, Juri Vain, Vulnerability Assessment of Web Services with Model-Based Mutation Testing. In: N. N. (Ed.), 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 301–312, IEEE, 2018.
• Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz, The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems. In: Euromicro Conference on Digital System Design (DSD), 1–10, IEEE, 2017.
• Junaid Iqbal, Dragos Truscan, Juri Vain, Ivan Porres, Reconstructing Timed Symbolic Traces from Rtioco-Based Timed Test Sequences Using Backward-Induction. In: George Angelos Papadopoulos, Ondrej Rysavy, Valentino Vranić (Eds.), Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 6:1–6:10, ACM, 2017.
• Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos, On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata. In: Sunil Kumar Khatri, R.K. Kapur, Ajay Rana, Sanjay Singh, P.K. Kapur (Eds.), International Conference on Infocom Technologies and Unmanned Systems (ICTUS 2017), 978-1-5386-0514-1 , 81–88, IEEE, 2017.
• Tanwir Ahmad, Dragos Truscan, Automatic Performance Space Exploration of Web Applications using Genetic Algorithms. In: Sascha Ossowski, Giorgio Buttazzo, John Kim (Eds.), The 31st ACM Symposium on Applied Computing, 795 – 800, ACM, 2016.
• Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres, On Optimization of Test Parallelization with Constraints. In: Lukas Alperowitz, Andreas Steffens (Eds.), 1st Workshop on Continuous Software Engineering co-located with Software Engineering, 164–171, CEUR-WS.org, 2016.
• Faezeh Siavashi, Dragos Truscan, Irum Rauf, Juri Vain, On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. In: Leszek Maciaszek, Jorge Cardoso, André Ludwig, Marten van Sinderen, Enrique Cabello (Eds.), Proceedings of the 11th International Joint Conference on Software Technologies, 1, 15–26, SCITEPRESS-Science and Technology Publications, 2016.
• Tanwir Ahmad, Fredrik Abbors, Dragos Truscan, Automatic Performance Space Exploration of Web Applications. In: Omer F. Rana, Jörn Altmann, Gheorghe Cosmin Silaghi (Eds.), Economics of Grids, Clouds, Systems, and Services, GECON 2015, 9512, 99–112, Springer LNCS, 2015.
• Faezeh Siavashi, Dragos Truscan, Environment Modeling in Model-Based Testing: Concepts, Prospects and Research Challenges. A Systematic Literature Review. In: He Zhang, Muhammad Ali Babar (Eds.), 19th International Conference on Evaluation and Assessment in Software Engineering, 1–6, ACM, 2015.
• Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila, A Practical Application of UPPAAL and DTRON for Runtime Verification. In: Judith Bishop, Sagar Sen, Rakesh Shukla, Forrest Shull (Eds.), IEEE/ACM Second International Workshop on Software Engineering Research and Industrial Practice (SER&IP 2015), 39–45, IEEE, 2015.
• Fredrik Abbors, Dragos Truscan, Tanwir Ahmad, An Automated Approach for Creating Workload Models From Server Log Data. In: Holzinger Andreas, Libourel Therese, Maciaszek Leszek, Mellor Stephen (Eds.), Proceedings of the 9th International Conference on Software Engineering and Applications, 14–25, Scitepress, 2014.
• Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres, An Integrated Approach for Designing and Validating REST Web Service Compositions. In: Valerie Monfort, Karl-Heinz Krempels (Eds.), 10th International Conference on Web Information Systems and Technologies, 1, 104–115, SCITEPRESS Digital Library, 2014.
• Dragos Truscan, Jüri Vain, Martin Koskinen, Combining Aspect-Orientation and UPPAAL Timed Automata. In: Andreas Holzinger, Jorge Cardoso, José Cordeiro, Marten van Sinderen, Stephen Mellor (Eds.), Proceedings of the 9th International Conference on Software Paradigm Trends, 159–164, SCITEPRESS, 2014.
• Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres, Model-Based Performance Testing of Web Services Using Probabilistic Timed Automata. In: Karl-Heinz Krempels, Alexander Stocker (Eds.), Proceedings of the 9th International Conference on Web Information Systems and Technologies, 99–104, Webist, 2013.
• Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres, Model-Based Performance Testing in the Cloud Using the MBPeT Tool. In: Seelam Seetharami (Ed.), Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE '13), International Conference on Performance Engineering 1, 423–424, ACM, 2013.
• Martin Koskinen, Dragos Truscan, Tanwir Ahmad, Niklas Grönblom, Combining Model-Based Testing and Continuous Integration. In: Luigi Lavazza, Roy Oberhauser, Adriana Martin, Jameleddine Hassine, Michael Gebhart, Marko Jäntti (Eds.), ICSEA 2013: The Eighth International Conference on Software Engineering Advances, 65–71, IARIA, 2013.
• Risto Nevalainen, Uwe Kremer, Oscar Slotosch, Dragos Truscan, Vicky Wong, Impact of multicore platforms in hardware and software certification. In: International Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT), 1–6, online, 2013.
• Mehdi Nobakht, Dragos Truscan, An Approach for Validation, Verification, and Model-Based Testing of UML-Based Real-Time Systems. In: Luigi Lavazza, Roy Oberhauser, Adriana Martin, Jameleddine Hassine, Michael Gebhart, Marko Jäntti (Eds.), ICSEA 2013, The Eighth International Conference on Software Engineering Advances, 79–85, IARIA, 2013.
• Ivan Porres, Jeanette Heidenberg, Max Weijola, Kristian Nordman, Dragos Truscan, Authoring IEC 61508 Based Software Development Process Models. In: Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre (Eds.), Product-Focused Software Process Improvement, LNCS 7983, 268–282, Springer Berlin Heidelberg, 2013.
• Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres, MBPeT – A Model-Based Performance Testing Tool. In: Amir Alimohammad, Petre Dini (Eds.), 4th International Conference on Advances in System Testing and Validation Lifecycle, 1–8, IARIA, 2012.
• Jerker Björkqvist, Luigia Petre, Karl Rönnholm, Dragos Truscan, Integrating Innovation Activities in a Master Level Capstone Project Course. In: Jerker Björkqvist, Mikko-Jussi Laakso, Janne Roslöf, Raija Tuohi, Seppo Virtanen (Eds.), International Conference on Engineering Education, Research Reports 38, 1065–1072, Turku University of Applied Sciences, 2012.
• Kim Nylund, Erik Östman, Dragos Truscan, Risto Teittien, Towards Rapid Creation of Test Adaptation in On-line Model-Based Testing. In: Sheikh Iqbal Ahamed, Doo-Hwan Bae, Sungdeok Cha, Carl K. Chang, Rajesh Subramanyan, Eric Wong, Hen-I Yang (Eds.), The 3rd IEEE International Workshop on Software Test Automation (STA 2011) , 174 - 179 , IEEE, 2011.
• Fredrik Abbors, Andreas Bäcklund, Dragos Truscan, MATERA - An Integrated Framework for Model-Based Testing. In: Sterritt Roy, Eames Brandon, Sprinkle Jonathan (Eds.), Proceedings of the 7th Workshop on System Testing and Validation (STV10), 321 – 328, IEEE Computer Society, 2010.
• Fredrik Abbors, Dragos Truscan, Approaching Performance Testing from a Model-Based Testing Perspective. In: 2nd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2010), 125–128, IEEE Computer Society , 2010.
• Andreas Bäcklund, Fredrik Abbors, Dragos Truscan, Including Model-Based Statistical Testing in the MATERA Approach. In: Bauer Thomas, Eichler Hajo, Wendland Marc-Florian, Wieczorek Sebastian (Eds.), Proceedings of 3rd Workshop on Model-based Testing in Practice (MOTIP 2010), 19–28, Fraunhofer Focus, 2010.
• Qaisar Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius, Model-Based Testing using System vs. Test Models - What is the Difference?. In: 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 291–299, IEEE Computer Society, 2010.
• Qaisar Malik, Dragos Truscan, Johan Lilius, Using UML Models and Formal Verification in Model-Based Testing. In: Roy Sterritt, Brandon Eames, Jonathan Sprinkle (Eds.), 17th IEEE Intl. Conference on Engineering of Computer-Based Systems (ECBS 2010), 50–56, IEEE Computer Society, 2010.
• Fredrik Abbors, Tuomas Pääjärvi, Risto Teittinen, Dragos Truscan, Johan Lilius, Transformational Support for Model-Based Testing – from UML to QML. In: Bauer Thomas, Eichler Hajo, Rennoch Axel, Wieczorek Sebastian (Eds.), Proceedings of 2nd Workshop on Model-based Testing in Practice, 55–64, Fraunhofer Focus, 2009.
• Fredrik Abbors, Dragos Truscan, Johan Lilius, Tracing Requirements in a Model-Based Testing Approach. In: Alimohammad Amirhossein, Meixner Anne, Popescu Manuela (Eds.), Proceedings of The First International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009), 123–128, IEEE Computer Society , 2009.
• Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius, Using System Models vs. Test Models in Model-Based Testing. In: Proceedings of "Opiskelijoiden minikonferenssi" at "Tietotekninen tuki ohjelmoinnin opetuksessa", 2009.
• Mathias Karlå, Dragos Truscan, Johan Lilius, Ivan Porres, Timo Eriksson, Mikko Hurskainen, A Testing Framework for NOTA-Based Devices. In: Proceedings of 1st Workshop on Model-based Testing in Practice (MoTIP'08), 2008.
• Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho, Testable Specifications of NoTA-Based Modular Embedded Systems. In: Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), International Conference and Workshops on Engineering of Computer-Based Systems, 375–383, IEEE Computer Society, 2008.
• Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen, A Model-Based Design Process for the SegBus Distributed Architecture . In: Proceedings of 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008) , 307–316, IEEE Computer Society, 2008.
• Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan, SystemC-based Simulation of the MICAS Architecture. In: Proceedings of the Forum on specification and Design Languages (FDL 2007), 2007.
• Dragos Truscan, Tiberiu Seceleanu, Hannu Tenhunen, Johan Lilius, Towards a Design Methodology for Multiprocessor Platforms. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 1, 575–578, IEEE Computer Society, 2007.