Logotype Mälardalenn University
This web site has been moved.
Please visit our new and improved web site at: http://www.es.mdh.se/
Startpage www.mdh.se

PROGRESS publications

Time period:
Publication type:
Filter:
   


 
Books

7th International Conference on the Quality of Software Architectures, QoSA 2011 and 2nd International Symposium on Architecting Critical Systems, ISARCS 2011, Ivica Crnkovic, Judith Stafford (external), ACM, December, 2011

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, Ivica Crnkovic, Antonia Bertolino (external), Judith Stafford (external), ACM, December, 2011

Software Architecture - 5th European Conference, ECSA 2011, Ivica Crnkovic, Volker Gruhn (external), Matthias Book (external), LNCS Springer Vorlag, December, 2011

Urheberrecht für die Informationsgesellschaft, Holger Kienle (former), (external), Internet & Gesellschaft Co:llaboratory, ISBN: 978-3-9503139-0-1, 2011

Real-Time Systems, Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet (MIT), Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu, Fraunhofer IESE, February, 2010

Software Configuration management, Ivica Crnkovic, Fraunhofer, IESE, September, 2009

Event Pattern Detection for Embedded Systems - A Resource-efficient Event Algebra, Jan Carlson, VDM Verlag, ISBN: 978-3639184440, 2009

A Modular Tool Architecture for Worst-Case Execution Time Analysis, Andreas Ermedahl (former), VDM Verlag, ISBN: -13: 9783639018813, 2008

Component-Based Software Engineering, 10th International Symposium, CBSE 2007, Heinz Schmidt (external), Ivica Crnkovic, George Heineman (external), Judith Stafford (external), Springer, LNCS Series, Vol. 4608, ISBN: 978-3-540-73550-2, 2007

 
Journals

Resource sharing among real-time components under multiprocessor clustered scheduling, Farhang Nemati, Thomas Nolte, Real-Time Systems, vol 49, nr 5, p580-613, Springer , September, 2013

The ALL-TIMES project: introduction and overview, Björn Lisper, nternational Journal on Software Tools for Technology Transfer, vol 15, nr 1, p1-8, Springer, February, 2013

Practical experiences of applying source-level WCET flow analysis to industrial code, Björn Lisper, Andreas Ermedahl (former), Dietmar Schreiner (external), Peter Gliwa (external), Jens Knoop (external), International Journal on Software Tools for Technology Transfer, vol 15, nr 1, p53-63, Springer, February, 2013

Estimation of productivity increase for timing analysis tool chains, Nicholas Merriam (external), Björn Lisper, International Journal on Software Tools for Technology Transfer , vol 15, nr 1, p65-84, Springer, February, 2013

Software Architecture Evolution through Evolvability Analysis, Hongyu Pei-Breivold (former), Ivica Crnkovic, Magnus Larsson, The Journal of Systems & Software, vol 85, p2574-2592, Elsevier, http://dx.doi.org/10.1016/j.jss.2012.05.085, July, 2012

Data Management for Component-Based Embedded Real-Time Systems: the Database Proxy Approach, Andreas Hjertström, Dag Nyström, Mikael Sjödin, Journal of Systems and Software, vol 85, nr 4, p821-834, Elsevier, April, 2012

A Formal Analysis Framework for AADL, Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, The Journal of Science and Technology, November, 2011

A Classification Framework for Software Component Models, Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, Michel Chaudron (Technical University Eindhoven), IEEE Transaction of Software Engineering, vol 37, nr 5, p593-615, IEEE, October, 2011

Country's Internet spreading rate modelling with Fuzzy Cognitive Map, Maja Štula (University of Split, Croatia), Alen Doko (external), Josip Maras, International Journal of Modelling and Simulation, vol 1, nr 2, p287-295, October, 2011

A New Way about using Statistical Analysis of Worst-Case Execution Times, Yue Lu, Thomas Nolte, Iain Bate (University of York, UK), Liliana Cucu-Grosjean (INRIA Nancy-Grand Est), ACM SIGBED Review, vol 8, nr 2, ACM, September, 2011

Software Components beyond Programming: From Routines to Services, Ivica Crnkovic, Judith Stafford (external), Clemens Szyperski (Microsoft), IEEE Software, vol 28, Issue 3, p22-26, IEEE, July, 2011

Reverse engineering legacy Web applications with phpModeler, Josip Maras, Maja Štula (University of Split, Croatia), Ana Petricic (former), JCIS : Journal of Communications and Information Sciences, vol 1, nr 2, p82-93, June, 2011

An Efficient Algorithm for Parametric WCET Calculation, Stefan Bygde, Andreas Ermedahl (former), Björn Lisper, Journal of Systems Architecture, vol 57 , p614-624 , Elsevier, May, 2011

System-Specific Static Code Analyses: A Case Study in the Complex Embedded Systems Domain, Holger Kienle (former), Johan Kraft (former), Thomas Nolte, Software Quality Journal, Springer, April, 2011

Oh Dear, We Bought Our Competitor: Integrating Similar Software Systems, Rikard Land (former), Ivica Crnkovic, IEEE Software, vol 28, Issue 2, p75-82, IEEE, March, 2011

Sharing Resources among Independently-developed Systems on Multi-cores , Farhang Nemati, Moris Behnam, Thomas Nolte, ACM SIGBED Review, vol 8, nr 1, ACM, March, 2011

A Study on Factors Influencing Power Consumption in Multithreaded and Multicore CPU’s , Vijayalekshmi Saravanan (VIT. India & MDH), Senthil Kumar Chandran, Sasikumar Punnekkat, WSEAS TRANSACTIONS on COMPUTERS , vol 10, nr 3, WSES, March, 2011

Developing UPPAAL over 15 years, Gerd Berhmann (Aalborg University, Denmark), Alexandre David (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), Software - Practice and Experience, vol 41, nr 2, p133–142, Wiley Publisher, February, 2011

A resource-efficient event algebra, Jan Carlson, Björn Lisper, Science of Computer Programming, vol 75, nr 12, p1215-1234, Elsevier, December, 2010

Prototyping and Code Synthesis of Hierarchically Scheduled Systems using TIMES, Mikael Åsberg, Thomas Nolte, Paul Pettersson, Journal of Convergence (Consumer Electronics), vol 1, nr 1, p77-86, FTRA Publishing, December, 2010

Guest Editorial Special Section on Real-Time and (Networked) Embedded Systems II, Thomas Nolte, Roberto Passerone (University of Trento, Italy), IEEE Transactions on Industrial Informatics, vol 6, nr 4, p475-478, IEEE Industrial Electronics Society, November, 2010

Semantic decoupling: reducing the impact of requirement changes , Israel Navarro (external), Nancy Leveson (MIT), Kristina Lundqvist, Requirements Engineering, August, 2010

Identifying Irreducible Loops in the Instrumentation Point Graph, Adam Betts (former), Journal of Systems Architecture, July, 2010

Support for Different Roles in Software Engineering Master's Thesis Projects, Martin Höst (Lund University), (external), Frank Lüders, IEEE Transactions on Education, vol 53, nr 2, p288--296, IEEE Education Society, May, 2010

It's About Time to Take JavaScript (More) Seriously, Holger Kienle (former), IEEE Software, vol 27, nr 3, p60-62, IEEE, May, 2010

Overrun Methods and Resource Holding Times for Hierarchical Scheduling of Semi-Independent Real-Time Systems, Moris Behnam, Thomas Nolte, Mikael Sjödin, Insik Shin (former), IEEE Transactions on Industrial Informatics, vol 6, nr 1, p93-104, IEEE Industrial Electronics Society, February, 2010

Applying REMES Behavioral Modeling to PLC Systems, Aneta Vulgarakis, Aida Causevic, Mechatronic Systems, vol 1, nr 1, p40-49, Faculty Of Electrical Engineering, University Sarajevo, December, 2009

A Synchronization Protocol for Temporal Isolation of Software Components in Vehicular Systems, Thomas Nolte, Insik Shin (former), Moris Behnam, Mikael Sjödin, IEEE Transactions on Industrial Informatics, vol 5, nr 4, p375-387, IEEE Industrial Electronics Society, November, 2009

Guest Editorial Special Section on Real-Time and (Networked) Embedded Systems, Thomas Nolte, Roberto Passerone (University of Trento, Italy), IEEE Transactions on Industrial Informatics, vol 5, nr 3, p198-201, IEEE Industrial Electronics Society, August, 2009

Pinpointing Interrupts in Embedded Real-Time Systems using Hashed Execution Contexts, Daniel Sundmark, Andreas Ermedahl (former), Johan Stärner, IEEE Transactions on Industrial Informatics, June, 2009

Software product integration: A case study-based synthesis of reference models, Stig Larsson (former), Petri Myllyperkiö (ABB Distribution Automation, Finland), Fredrik Ekdahl (external), Ivica Crnkovic, Information and Software Technology, vol 51, nr 6, p1066-1080, Elsevier, June, 2009

Managing Redundancy in CAN-based Networks Supporting N-Version Programming, Julián Proenza (Universitat de les Illes Balears, Spain), José Miro-Julia (UIB), Hans Hansson, Computer Standards & Interfaces, Elsevier, December, 2008

Efficient implementation of tight response-times for tasks with offsets, Jukka Mäki-Turja, Mikael Nolin, Real-Time Systems Journal, vol 40, nr 1, p77-116, Springer Netherlands, October, 2008

Estimation of station blackout frequency for Indian fast breeder test reactor, Senthil Kumar Chandran, Annals of Nuclear Energy, vol 35, p2332-2337, Elsevier, September, 2008

Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements, Vittorio Cortellessa (Università dell’Aquila), Ivica Crnkovic, Fabrizio Marinelli (external), Pasqualina Potena (former), Journal of Universal Computer Science, vol 14, nr 8, p1228-1256, J.UCS, July, 2008

GSEEM: a European Master Programme on Global Software Engineering, Patricia Lago (external), Henry Muccini (external), Ljerka Beus-Dukic (external), Ivica Crnkovic, Sasikumar Punnekkat, International Journal on Engineering Education, vol (To be published), IJEE, May, 2008

The worst-case execution-time problem—overview of methods and survey of tools, Reinhard Wilhelm (external), Jakob Engblom (Virtutech, Sweden), Andreas Ermedahl (former), Niklas Holsti (Tidorum LTD), Stephan Thesing (external), David Whalley (external), Guillem Bernat (external), Christian Ferdinand (external), Reinhold Heckmann (external), Tulika Mitra (external), Frank Muller (external), Isabelle Puaut (external), Peter Puschner (external), Jan Staschulat (external), Per Stenström (external), ACM Transactions on Embedded Computing Systems (TECS), vol 7, nr 3, p1---53, ACM, April, 2008

Task Automata: Schedulability, Decidability and Undecidability, Elena Fersman (Ericsson Research, Sweden), Pavel Krcal (Department of Information Technology, Uppsala University), Paul Pettersson, Wang Yi (external), International Journal of Information and Computation, vol 205, nr 8, p1149-1172, Elsevier, August, 2007

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time Systems Engineering, Martin Ouimet (MIT), Kristina Lundqvist, Journal of Universal Computer Science (JUCS), vol 14, July, 2007

The SAVE approach to component-based development of vehicular systems, Mikael Åkerholm (former), Jan Carlson, Johan Fredriksson (former), Hans Hansson, John Håkansson (Department of Information Technology, Uppsala University), Anders Möller, Paul Pettersson, Massimo Tivoli (former), Journal of Systems and Software, vol 80, nr 5, p655-667, Elsevier, May, 2007

Software Configuration Management, René Krikhaar (external), Ivica Crnkovic, Science of Computer Programming, vol 65, nr 3, p215-221, Elsevier, April, 2007

Component-Based Software Engineering of Trustworthy Embedded Systems, Ivica Crnkovic, Heinz Schmidt (external), Judith Stafford (external), George Heineman (external), Kurt Wallnau (external), Journal of Systems and Software, vol 80, nr 5, p641-642, Elsevier, January, 2007

Software Systems In-House Integration: Architecture, Process Practices and Strategy Selection, Rikard Land (former), Ivica Crnkovic, Journal of Information and Software Technology, vol 49, nr 5, p419-444, Elsevier, September, 2006

Schedulability Analysis of Fixed Priority Systems using Timed Automata, Elena Fersman (Ericsson Research, Sweden), Leonid Mokrushin (Department of Information Technology, Uppsala University), Paul Pettersson, Wang Yi (external), Theoretical Computer Science, vol 354, nr 2, p301-317, Elsevier, March, 2006

Modeling an Electronic Throttle Controller using the Timed Abstract State Machine Language and Toolset, Martin Ouimet (MIT), Guillaume Berteau (MIT), Kristina Lundqvist, Models in Software Engineering, Lecture Notes in, vol 4364, March, 2006


 
Theses

Parametric WCET Analysis, Stefan Bygde, Ph D Thesis, Mälardalen University Press, June, 2013

Methods and Tool Support for Analyzing Architectural Models of Embedded Systems, Stefan Björnander, Licentiate Thesis, Mälardalen University, December, 2012

Data Management in Component-Based Embedded Real-Time Systems, Andreas Hjertström, Ph D Thesis, Mälardalen University, Västerås, Sweden, June, 2012

Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems, Yue Lu, Ph D Thesis, Mälardalen University Press Dissertations, June, 2012

Managing Extra-Functional Properties in Component-Based Development of Embedded Systems, Séverine Sentilles, Ph D Thesis, Mälardalen University, Västerås, Sweden, June, 2012

A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems, Aneta Vulgarakis, Ph D Thesis, Mälardalen University, June, 2012

Resource Sharing in Real-Time Systems on Multiprocessors, Farhang Nemati, Ph D Thesis, Mälardalen University, May, 2012

Towards a Predictable Component-Based Run-Time System, Rafia Inam, Licentiate Thesis, Mälardalen University Press, January, 2012

Modeling and Timing Analysis of Industrial Component-Based Distributed Real-time Embedded Systems, Saad Mubeen, Licentiate Thesis, Mälardalen University, Västerås, Sweden, January, 2012

Design and Analysis Support for Abstract Models of Component-based Embedded Systems, Jagadish Suryadevara, Licentiate Thesis, Mälardalen University Press, June, 2011

Synchronization Protocols for a Compositional Real-Time Scheduling Framework, Moris Behnam, Ph D Thesis, MRTC, November, 2010

Approximation Techniques for Timing Analysis of Complex Real-Time Embedded Systems, Yue Lu, Licentiate Thesis, Mälardalen University Press Licentiate Theses, ISSN 1651-9256; 122, October, 2010

Predictability By Construction: Working the Architecture/Program Seam, Kurt Wallnau (former), Ph D Thesis, MRTC, September, 2010

Enabling Timing Analysis of Complex Embedded Software Systems, Johan Kraft (former), Ph D Thesis, Mälardalen University Press, August, 2010

Partitioned Scheduling of Real-Time Tasks on Multi-core Platforms, Farhang Nemati, Licentiate Thesis, MRTC, May, 2010

Static WCET Analysis based on Abstract Interpretation and Counting of Elements, Stefan Bygde, Licentiate Thesis, Mälardalen University Press, March, 2010

Information Centric Development of Component-Based Embedded Real-Time Systems, Andreas Hjertström, Licentiate Thesis, Mälardalen University Press, December, 2009

A Study of Combinatorial Optimization Problems in Industrial Computer Systems, Markus Bohlin, Ph D Thesis, Mälardalen University Press, November, 2009

Towards Efficient Component-Based Software Development of Distributed Embedded Systems, Séverine Sentilles, Licentiate Thesis, Mälardalen University, Västerås,Sweden, November, 2009

Exploring the Sources of Enterprise Agility in Software Organizations, Jayakanth Srinivasan, Ph D Thesis, MRTC, October, 2009

A Resource-Aware Component Model for Embedded Systems, Aneta Vulgarakis, Licentiate Thesis, MRTC, September, 2009

New Strategies for Ensuring Time and Value Correctness in Dependable Real-Time Systems , Hüseyin Aysan, Licentiate Thesis, MRTC, May, 2009

Towards a Capability Model for Release Planning of Software Intensive Systems, Markus Lindgren (former), Ph D Thesis, MRTC, November, 2008

Hierarchical Real-Time Scheduling and Synchronization, Moris Behnam, Licentiate Thesis, MRTC, October, 2008

Improving Predictability and Resource Utilization in Component-Based Embedded Real-Time Systems, Johan Fredriksson (former), Ph D Thesis, Mälardalen University Press, October, 2008

Transformation between JavaBeans and SaveComp software component models, Juraj Feljan, Master Thesis, MRTC, July, 2008

On Hierarchical Scheduling in VxWorks, Mikael Åsberg, Moris Behnam, Thomas Nolte, Reinder J. Bril (TU/e, The Netherlands), Master Thesis, Nr. 2378, June, 2008

Reusability of Software Components in the Vehicular Domain, Mikael Åkerholm (former), Ph D Thesis, Mälardalen University Press, May, 2008

On Evaluating Test Techniques in an Industrial Setting, Sigrid Eldh, Licentiate Thesis, Mälardalen University, Sweden, December, 2007

Reverse Engineering of Legacy Real-Time Systems: An Automated Approach Based on Execution-Time Recording, Joel Huselius, Ph D Thesis, Mälardalen University, June, 2007

Abstract Interpretation and Abstract Domains, Stefan Bygde (external), Master Thesis, MRTC, June, 2006

Share-Driven Scheduling of Embedded Networks, Thomas Nolte, Ph D Thesis, Mälardalen University, May, 2006


 
Articles in collection

Software Reverse Engineering in the Domain of Complex Embedded Systems, Holger Kienle (former), Johan Kraft (former), Hausi Müller (Universtiy of Victoria, Canada), Reverse Engineering, InTech, ISBN: 979-953-307-268-4, Editor(s): Alexandru Telea, November, 2011

Reverse Engineering, Hausi Müller (Universtiy of Victoria, Canada), Holger Kienle (former), Encyclopedia of Software Engineering, p 1016-1030, Taylor & Francis , ISBN: 978-1-4200-5977-9, Editor(s): Phillip A. Laplante, 2011

Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems, Guillermo Rodriguez-Navas (Universitat de les Illes Balears, Spain), Julián Proenza (Universitat de les Illes Balears, Spain), Hans Hansson, Paul Pettersson, Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, IGI Global, ISBN: 978-1-60566-750-8, Editor(s): Luís Gomes, Universidade Nova de Lisboa, Portugal and João M. Fernandes, Universidade do Minho, Portugal, June, 2009

Real-Time in Networked Embedded Systems, Hans Hansson, Mikael Sjödin, Thomas Nolte, Daniel Sundmark, Networked Embedded Systems, CRC Press, Taylor & Francis Group, Editor(s): Richard Zurawski, 2009

Tools for Model-Checking, Alexandre David (Aalborg University, Denmark), Gerd Berhmann (Aalborg University, Denmark), Peter Bulychev (external), Joakim Byg (external), Thomas Chatain (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Jacob Illum Rasmussen (external), Jiri Srba (external), Wang Yi (external), Kenneth Y. Joergensen (external), Didier Lime (external), Morgan Magnin (external), Olivier H. Roux (external), Louis-Marie Tranonouez (external), Formal Approaches for Communicating Embedded Systems, ISTE Publishing / John Wiley, ISBN: 978-1-8482-1143-8, Editor(s): Jard, Claude and Roux, Olivier (H.), 2009

Outils pour le Model-Checking de Systèmes Temporisés, Alexandre David (Aalborg University, Denmark), Gerd Berhmann (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Jacob Illum Rasmussen (external), Wang Yi (external), Morgan Magnin (external), Approches formelles des systèmes embarqués communicant, ISBN: ISBN 978-2-7462-1942-7, January, 2008

Testing Real-time systems using UPPAAL, Anders Hessel, Kim Guldstrand Larsen (Aalborg University, Denmark), Marius Mikuèionis (Aalborg University, Denmark), Brian Nielsen (Aalborg University, Denmark), Paul Pettersson, Arne Skou (Aalborg University, Denmark), Formal Methods and Testing, p 77-117, Spring-Verlag, Editor(s): Robert M. Hierons, Jonathan P. Bowen, and Mark Harman, 2008

Component-based Software Engineering, Michel Chaudron (Technical University Eindhoven), Ivica Crnkovic, Software Engineering, Principle and Practice, p 605-628, Wiley, ISBN: 978-0-470-031467-9, Editor(s): Hans van Vliet, 2008

Timing Analysis of CAN-Based Automotive Communication Systems, Thomas Nolte, Hans Hansson, Mikael Nolin, Sasikumar Punnekkat, Automotive Embedded Systems Handbook, CRC Press, Taylor & Francis Group, Editor(s): Nicolas Navet, Francoise Simonot-Lion and Richard Zurawski, 2008

Execution Time Analysis for Embedded Real-Time Systems, Andreas Ermedahl (former), Jakob Engblom (Virtutech, Sweden), Handbook of Real-Time Embedded Systems, p 35.1 -- 35.17, Chapman & Hall/CRC - Taylor and Francis Group, ISBN: 1-58488-678-1, Editor(s): Insup Lee, Jospeh Y-T. Leung, Sang H. Son, 2007

Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings, Anders Wall (former), Johan Kraft (former), Christer Norström, LNCS 4313: Leveraging Applications of Formal Methods, p 130-145, Springer Berlin/Heidelberg, ISBN: 978-3-540-48928-3, November, 2006

Trends in Timing Analysis, Björn Lisper, From Model-Driven Design to Resource Management for Distributed Embedded Systems, p 85-94, Springer Boston, ISBN: 978-0-387-39361-2, 2006

Component-based Software Engineering for Embedded Systems, Ivica Crnkovic, From MDD Concepts to Experiments and Illustrations, p 71-90, IESTE, Ltd, ISBN: 1-905209-59-2, Editor(s): Jean-Phillipe Babau, Joël Champeau, Sébastien Gérard, 2006


 
Conferences and workshops

Simulation of planning strategies for track allocation at marshalling yards, Markus Bohlin, 16th International Conference on Computational Methods and Experimental Measurements, December, 2013

Towards Code Generation from Design Models for Embedded Systems on Heterogeneous CPU-GPU Platforms, Federico Ciccozzi, ETFA13 - IEEE International Conference on Emerging Technology and Factory Automation -WiP, IEEE, Cagliari, Italy, September, 2013

Device Utilization Analysis for IEC 61499 Systems in Early Stages of Development, Luka Lednicki, Jan Carlson, Kristian Sandström (ABB Corporate Research, Västerås), ETFA13 - IEEE International Conference on Emerging Technology and Factory Automation, IEEE, Cagliari, Italy, September, 2013

Quantifying the Sub-optimality of Non-preemptive Real-time Scheduling, Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat, The 25th Euromicro Conference on Real-Time Systems, Paris, France, July, 2013

A Statistical Response-Time Analysis of Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean (INRIA Nancy-Grand Est), 33rd IEEE Real-Time Systems Symposium (RTSS'12), p 351-362, San Juan, Puerto Rico, December, 2012

Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems, Luka Lednicki, Ivica Crnkovic, Mario Zagar (University of Zagreb), Proceedings of The Seventh International Conference on Software Engineering Advances, p 563-570, IARIA, Lisbon, Portugal, November, 2012

Database Proxy Tool Support in an AUTOSAR Development Environment, Andreas Hjertström, Dag Nyström, Mikael Sjödin, 38th Euromicro Conference on Software Engineering and Advanced Applications, p 4, IEEE, Cesme, Izmir, Turkey, September, 2012

Data Distribution Service for Industrial Automation, Kristian Sandström (ABB Corporate Research, Västerås), Jinsong Yang (ABB Corporate Research), Thomas Nolte, Moris Behnam, 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA'12), Krakow, Poland, September, 2012

On Jitter in Time Partitioned Real-Time Systems, Kristian Sandström (ABB Corporate Research, Västerås), Thomas Nolte, Moris Behnam, Reinder J. Bril (TU/e, The Netherlands), 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA'12), Work-in-Progress (WiP) session, Krakow, Poland, September, 2012

Towards Automatic Synthesis of Hardware-Specific Code in Component-based Embedded Systems, Luka Lednicki, Ivica Crnkovic, Mario Zagar (University of Zagreb), Proceedings of 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, Cesme, Turkey, September, 2012

Towards Probabilistic Mode Automata for Adaptable Resource-Aware Component-Based Systems Design, Heinz Schmidt (external), Ian Peake (RMIT), Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin, Improving Systems and Software Engineering Conference / Software Engineering Process Groups Conference, Melbourne, Australia,, August, 2012

Collaboration Patterns in Distributed Software Development Projects, Igor Cavrak (University of Zagreb), Marin Orlic (FER, University Zagreb, Croatia), Ivica Crnkovic, ICSE 2012, Zurich, Switzerland Software Engineering Education, p 1256-1265, IEEE, Editor(s):IEEE, June, 2012

Introducing Database-Centric Support in AUTOSAR, Andreas Hjertström, Dag Nyström, Mikael Sjödin, 7th IEEE International Symposium on Industrial Embedded Systems (SIES’12), Karlsruhe, Germany, June, 2012

Timing Analysis of Component-based Embedded Systems, Jan Carlson, 15th International ACM SIGSOFT Symposium on Component Based Software Engineering, ACM, Bertinoro, Italy, June, 2012

Implementing Hierarchical Scheduling on COTS Ethernet Switches Using a Master/Slave Approach, Zahid Iqbal (University of Porto, Portugal), Luis Almeida (University of Porto, Portugal), Ricardo Marau (University of Aveiro, Portugal), Moris Behnam, Thomas Nolte, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Karlsruhe, Germany, June, 2012

Implementing Hierarchical Scheduling to support Multi-Mode System, Rafia Inam, Mikael Sjödin, Reinder J. Bril (TU/e, The Netherlands), 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), WiP, IEEE, Karlsruhe, Germany , June, 2012

Will They Report It? Ethical Attitude of Graduate Software Engineers in Reporting Bad News, Abdulkadir Sajeev (former), Ivica Crnkovic, 25th IEEE Conference on Software Engineering Eduaction and Training, IEEE, Nanjing, China, April, 2012

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata, Leo Hatvani, Cristina Seceleanu, Paul Pettersson, 4th Workshop on Adaptive and Reconfigurable Embedded Systems, April, 2012

Engineering and Analyzing Multi-Switch Networks with Single Point of Control, Moris Behnam, Zahid Iqbal (University of Porto, Portugal), Pedro Silva (Universidade de Aveiro, Portugal), Ricardo Marau (University of Aveiro, Portugal), Luis Almeida (University of Porto, Portugal), Paulo Portugal (University of Porto, Portugal), International Workshop on Worst-case Traversal Time (WCTT'11), November, 2011, November, 2011

RapidRT: A Tool For Statistical Response-Time Analysis of Complex Industrial Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Liliana Cucu-Grosjean (INRIA Nancy-Grand Est), Iain Bate (University of York, UK), Real-Time SystemS @ Work, the Open Demo Session of Real-Time Techniques and Technologies of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), Vienna, Austria, November, 2011

A Demonstration of Hierarchical Scheduling over Ethernet, Rui Santos (University of Aveiro, Portugal), Paulo Pedreiras (University of Aveiro, Portugal), Moris Behnam, Thomas Nolte, Luis Almeida (University of Porto, Portugal), Real-Time SystemS @ Work, the Open Demo Session of Real-Time Techniques and Technologies of the 32nd IEEE Real-Time Systems Symposium (RTSS'11), Vienna, Austria, November, 2011

Sequential Composition of Execution Time Distributions by Convolution, Marcelo Santos (former), Björn Lisper, George Lima (external), Veronica Lima (external), Proc. 4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems (CRTS 2011), p 30-37, Vienna, Austria, Editor(s):Robert Davis and Linh Thi Xuan Phan, November, 2011

Opaque Analysis for Resource Sharing in Compositional Real-Time Systems, Martijn van den Heuvel (TU/e, The Netherlands), Moris Behnam, Reinder J. Bril (TU/e, The Netherlands), Johan Lukkien (external), Thomas Nolte, 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'11), November, 2011

Client-side Web Application Slicing, Josip Maras, Jan Carlson, Ivica Crnkovic, ASE 2011 - Automated Software Engineering, p 504-507, ASE, Lawrence, Kansas, November, 2011

Probabilistic Schedulability Guarantees for Dependable Real-time Systems under Error Bursts, Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Rolf Johansson (external), 8th IEEE International Conference on Embedded Software and Systems, Changsha, China, November, 2011

Adding Support for Hardware Devices to Component Models for Embedded Systems, Luka Lednicki, Juraj Feljan, Jan Carlson, Mario Zagar (University of Zagreb), ICSEA 2011, The Sixth International Conference on Software Engineering Advances, p 149-154, IARIA, Barcelona, Spain, Editor(s):Luigi Lavazza, Luis Fernandez-Sanz, Oleksandr Panchenko, Teemu Kanstrén, October, 2011

Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT, Eun-Young Kang (former), Pierre Yves Schnobbens (external), Paul Pettersson, Proceedings of the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP'11), Springer-Verlag, September, 2011

Extending Schedulability Analysis of Controller Area Network for Mixed (Periodic/Sporadic) Messages, Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin, the 16th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), 2011, p 10, IEEE, Toulouse, France, September, 2011

Support for Hierarchical Scheduling in FreeRTOS, Rafia Inam, Jukka Mäki-Turja, Mikael Sjödin, Mohammad Ashjaei, Sara Afshar, 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA11), IEEE, Toulouse, France, September, 2011

A Trace-Based Statistical Worst-Case Execution Time Analysis of Component-Based Real-Time Embedded Systems , Yue Lu, Thomas Nolte, Iain Bate (University of York, UK), Liliana Cucu-Grosjean (INRIA Nancy-Grand Est), 16th IEEE International Conference on Emerging Technology and Factory Automation (ETFA'11), Work-in-Progress (WiP) session, Toulouse, France, September, 2011

Towards Real-Time Scheduling of Virtual Machines Without Kernel Modifications, Mikael Åsberg, Nils Forsberg (MRTC), Thomas Nolte, Shinpei Kato (Nagoya University, Nagoya, Japan), 16th IEEE International Conference on Emerging Technology and Factory Automation (ETFA'11), Work-in-Progress (WiP) session, Toulouse, France, September, 2011

Towards Resource Sharing by Message Passing among Real-Time Components on Multi-cores, Farhang Nemati, Rafia Inam, Thomas Nolte, Mikael Sjödin, 16th IEEE International Conference on Emerging Technology and Factory Automation (ETFA'11), Work-in-Progress (WiP) session, Toulouse, France, September, 2011

Analysis and Optimization of the MTU in Real-Time Communications over Switched Ethernet, Moris Behnam, Ricardo Marau (University of Aveiro, Portugal), Paulo Pedreiras (University of Aveiro, Portugal), 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'11), Toulouse, France, September, 2011

On how to deal with uncertainty when architecting embedded software and systems, Jakob Axelsson, 5th European Conference on Software Architecture, p 199-202, Lecture Notes in Computer Science 6903, Springer, Essen, Germany, Editor(s):Ivica Crnkovic, Volker Gruhn, Matthias Book, September, 2011

Response-Time Analysis for Transactions with Execution-Time Dependencies, Jukka Mäki-Turja, Mikael Sjödin, 19th International Conference on Real-Time and Network Systems (RTNS), Nantes, France, September, 2011

Ten Years of Access for All from WSE 2001 to WSE 2011, Holger Kienle (former), Porfirio Tramontana (external), Scott Tilley (external), Davide Bolchini (external), 13th IEEE International Symposium on Web Systems Evolution, p 99-104, IEEE, Williamsburg, VA, Editor(s):Holger M. Kienle, Davide Bolchini, Porfirio Tramontana, September, 2011

Predictability and Evolution in Resilient Systems. , Ivica Crnkovic, SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems , Pringer LNCS, Geneve, September, 2011

A Loadable Task Execution Recorder for Hierarchical Scheduling in Linux, Mikael Åsberg, Thomas Nolte, Shinpei Kato (Nagoya University, Nagoya, Japan), 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), IEEE, Toyama, Japan, August, 2011

Flexible Semantic-Preserving Flattening of Hierarchical Component Models, Thomas Leveque (former), Jan Carlson, Séverine Sentilles, Etienne Borde (former), 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), IEEE Computer Society, Oulu, Finland, August, 2011

Resource Hold Times under Multiprocessor Static-Priority Global Scheduling, Farhang Nemati, Thomas Nolte, 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), IEEE, Toyama, Japan, August, 2011

Compositionality and CPS from a Platform Perspective, Thomas Nolte, 1st International Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNA'11), satellite workshop of 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11), IEEE, Toyama, Japan, August, 2011

Support for Hardware Devices in Component Models for Embedded Systems, Luka Lednicki, International Doctoral Symposium on Software Engineering and Advanced Applications, Oulu, Finland, August, 2011

Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator, Aneta Vulgarakis, Cristina Seceleanu, Paul Pettersson, Ivan Skuliber (Ericsson Nikola Tesla, Zagreb, Croatia), Darko Huljenic (Ericsson Nikola Tesla, Zagreb, Croatia), 11th InternationalConference on Quality Software (QSIC 2011), IEEE, Madrid, Spain, July, 2011

Fully-Automatic Derivation of Exact Program-Flow Constraints for a Tighter Worst-Case Execution-Time Analysis, Amine Marref (former), Proceedings of the 11th IEEE International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XI), IEEE, Samos, Greece, July, 2011

Automatic Synthesis and Adaption of Gray-box Components for Embedded Systems - Reuse vs. Optimization, Etienne Borde (former), Jan Carlson, 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS), IEEE Computer Society, Munich, Germany, July, 2011

A New Way about using Statistical Analysis of Worst-Case Execution Times, Yue Lu, Thomas Nolte, Iain Bate (University of York, UK), Liliana Cucu-Grosjean (INRIA Nancy-Grand Est), 23rd EUROMICRO Conference on Real-Time Systems (ECRTS'11), Work-in-Progress (WiP) session, Porto, Portugal, July, 2011

Deriving WCET Bounds by Abstract Execution, Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011), Austrian Computer Society (OCG), Porto, Portugal, Editor(s):Chris Healy, July, 2011

Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool, Paul Pettersson, IEEE 35th Annual Computer Software and Applications Conference, p 450-451, IEEE Computer Society Press, July, 2011

Refining Extra-Functional Property Values in Hierarchical Component Models, Thomas Leveque (former), Séverine Sentilles, The 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011), ACM SIGSOFT, Boulder, Colorado (USA), June, 2011

Towards Verified Synthesis of ProCom, a Component Model for Real-Time Embedded Systems, Etienne Borde (former), Jan Carlson, 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE), ACM, Boulder, Colorado, USA, June, 2011

PRIDE – an Environment for Component-based Development of Distributed Real-time Embedded Systems, Etienne Borde (former), Jan Carlson, Juraj Feljan, Luka Lednicki, Thomas Leveque (former), Josip Maras, Ana Petricic (former), Séverine Sentilles, 9th Working IEEE/IFIP Conference on Software Architecture, IEEE, Boulder, Colorado, USA , June, 2011

Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Iain Bate (University of York, UK), Johan Kraft (former), Christer Norström, 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), IEEE, Västerås, Sweden, June, 2011

A Statistical Response-Time Analysis of Complex Real-Time Embedded Systems by using Timing Traces, Yue Lu, Thomas Nolte, Iain Bate (University of York, UK), Liliana Cucu-Grosjean (INRIA Nancy-Grand Est), 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), Work-in-Progress (WiP) session, Västerås, Sweden, June, 2011

An Engineering Approach to Synchronization Based on Overrun for Compositional Real-Time Systems, Ugur Keskin (Eindhoven University of Technology, The Netherlands), Martijn van den Heuvel (TU/e, The Netherlands), Reinder J. Bril (TU/e, The Netherlands), Johan Lukkien (external), Moris Behnam, Thomas Nolte, 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), Västerås, Sweden, June, 2011

Towards an Efficient Approach for Resource Sharing in Real-Time Multiprocessor Systems, Moris Behnam, Farhang Nemati, Thomas Nolte, Håkan Grahn (Blekinge Institute of Technology), 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), Work-in-Progress (WiP) session, Västerås, Sweden, June, 2011

Towards Adaptive Hierarchical Scheduling of Overloaded Real-Time Systems, Nima Khalilzad, Thomas Nolte, Moris Behnam, 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), Work-in-Progress (WiP) session, Västerås, Sweden, June, 2011

Scaling FTT-SE to large networks, Farahnaz Yekeh (Umea University), Mostafa Pordel (Umea University), Luis Almeida (University of Porto, Portugal), Moris Behnam, Proceedings of the Work-In-Progress (WIP) session of 6th IEEE International Symposium on Industrial Embedded Systems (SIES’11) , Västerås, Sweden, June, 2011

A Generalised Error Model and Schedulability Guarantees for Dependable Real-Time Systems, Hüseyin Aysan, Sasikumar Punnekkat, First International Workshop on Dependable and Secure Industrial and Embedded Systems, Västerås, Sweden, June, 2011

Towards a Contract-based Fault-tolerant Scheduling Framework for Distributed Real-time Systems, Abhilash Thekkilakattil, Hüseyin Aysan, Sasikumar Punnekkat, The 1st International Workshop on Dependable and Secure Industrial and Embedded Systems, Västerås, Sweden, June, 2011

Trace-Based Statistical Timing Analysis of Complex Industrial Real-Time Embedded Systems, Yue Lu, Real-Time in Sweden 2011 (RTiS' 11) , Mälardalen Real-Time Research Center (MRTC) , Västerås, Sweden, Editor(s):The Swedish National Real-Time Association (SNART), June, 2011

Pragmatic reuse in web application development, Josip Maras, International Conference of Software Engineering - ICSE 2011, p 1094-1097, ACM, Honolulu, Hawaii, Editor(s): Taylor, Richard N. ; Gall, Harald ; Medvidovic, Nenad, June, 2011

Reusing Web Application User-Interface Controls, Josip Maras, Maja Štula (University of Split, Croatia), Jan Carlson, Proceedings of the 11th International Conference on Web Engineering (ICWE 2011), p 228-242, Springer, Paphos, Cyprus, Editor(s):Auer, Sören ; Diaz, Oscar ; Papadopoulos, George, June, 2011

Probabilistic Scheduling Guarantees under Error Bursts in Controller Area Network (CAN), Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, 18th International Conference on Control Systems and Computer Science, IEEE , Bucharest, Romania, May, 2011

Predictable dynamic deployment of components in embedded systems, Ana Petricic (former), ICSE '11 Proceeding of the 33rd international conference on Software engineering, p 1128--1129, ACM, May, 2011

Pattern-driven Support for Designing Component-based Architectural Models, Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson, 18th IEEE International Conference on Engineering of Computer-Based Systems (ECBS) , IEEE CS, Las Vegas, USA, April, 2011

ABV – A Verifier for the Architecture Analysis and Design Language (AADL), Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, Sixth IEEE International Workshop UML and AADL at ICECCS 2011 , April, 2011

WCET Analysis of Component-Based Systems using Timing Traces, Adam Betts (former), Amine Marref (former), Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), IEEE, Las Vegas, USA, April, 2011

Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times, Amine Marref (former), Adam Betts (former), Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), IEEE, Las Vegas, USA, April, 2011

Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems, Johan Kraft (former), Holger Kienle (former), Thomas Nolte, Ivica Crnkovic, Hans Hansson, 15th European Conference on Software Maintenance and Reengineering (CSMR'11), Oldenburg, Germany, March, 2011

A Statistical Approach to Simulation Model Validation in Response-Time Analysis of Complex Real-Time Embedded Systems, Yue Lu, Johan Kraft (former), Thomas Nolte, Iain Bate (University of York, UK), 26th ACM Symposium on Applied Computing (SAC'11), p 711-716, ACM, TaiChung, Taiwan, March, 2011

Analysis of Mistakes as a Method to Improve Test Case Design, Sigrid Eldh, Hans Hansson, Sasikumar Punnekkat, International Conference on Software Testing, Verification and Validation(ICST), IEEE, Berlin, March, 2011

Task-Level Probabilistic Scheduling Guarantees for Dependable Real-Time Systems - A Designer Centric Approach, Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, IEEE International Workshop on Object/component/service-oriented Real-time Networked Ultra-dependable Systems, IEEE, Newport Beach, U.S.A, March, 2011

Hierarchical Composition of Parametric WCET in a Component Based Approach, Thomas Leveque (former), Etienne Borde (former), Amine Marref (former), Jan Carlson, 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC'11), IEEE , Newport Beach, USA, March, 2011

Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code, Amine Marref (former), Adam Betts (former), Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2011), IEEE, Newport Beach, CA, USA, March, 2011

Bounding the number of self-blocking occurrences of SIRAP, Moris Behnam, Thomas Nolte, Reinder J. Bril (TU/e, The Netherlands), IEEE Real-Time Systems Symposium (RTSS'10), San Diego, CA, USA, December, 2010

Partitioning Real-Time Systems on Multiprocessors with Shared Resources, Farhang Nemati, Thomas Nolte, Moris Behnam, Proceedings of 14th International Conference On Principles Of Distributed Systems (OPODIS'10), Tozeur, Tunisia, December, 2010

An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Johan Kraft (former), Christer Norström, The 43th Winter Simulation Conference 2010 (WSC'10), the PhD Colloquium , Baltimore, Maryland, United States, December, 2010

An Approximate Timing Analysis Framework for Complex Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Johan Kraft (former), The 13th IEEE International Conference on Computational Science and Engineering (CSE'10), p 102-111 , IEEE, Hong Kong SAR, China, December, 2010

On Using Extreme Value Theory in Response-Time Analysis of Priority-Driven Periodic Real-Time Systems, Yue Lu, Thomas Nolte, The 31st IEEE Real-Time Systems Symposium (RTSS'10), Work-In-Progress (WIP) session, San Diego, CA, USA, December, 2010

Independently-developed Systems on Multi-cores with Shared Resources, Farhang Nemati, Moris Behnam, Thomas Nolte, 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'10) in conjunction with the 31th IEEE International Real-Time Systems Symposium (RTSS'10), December, 2010

Preemption Control Using Frequency Scaling in Fixed Priority Scheduling, Abhilash Thekkilakattil, Anju S Pillai, Radu Dobrin, Sasikumar Punnekkat, The IEEE/IFIP Embedded and Ubiquitous Computing Conference (EUC 2010), HongKong, December, 2010

Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects, Johan Kraft (former), Anders Wall (former), Holger Kienle (former), Proceedings of the First International Conference on Runtime Verification (RV 2010), Springer-Verlag (Lecture Notes in Computer Science), Malta, November, 2010

Reducing the Number of Preemptions in Real-Time Systems Scheduling by CPU Frequency Scaling, Abhilash Thekkilakattil, Anju S Pillai, Radu Dobrin, Sasikumar Punnekkat, The 18th International Conference on Real-Time and Network Systems, Toulouse, France, November, 2010

Efficient scheduling with adaptive fault tolerance in heterogeneous multiprocessor systems, Senthil Kumar Chandran, Radhamani Pillay (former), Radu Dobrin, Sasikumar Punnekkat, International Conference on Computer and Electrical Engineering (ICCEE), Chengdu, China, November, 2010

Joint Structural and Inter-frame Skipping for MPEG-2 Video, Damir Isovic, In proceedings of SIGRAD 2010, Sweden, November, 2010

Modeling and Reasoning about Service Behaviors and their Compositions, Aida Causevic, Cristina Seceleanu, Paul Pettersson, Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2010), Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing track, Springer LNCS, Amirandes, Heraclion, Crete, October, 2010

Mutation testing framework for software reliability model analysis and reliability estimation, Aleksandar Dimov (former), Senthil Kumar Chandran, Sasikumar Punnekkat, Central and Eastern European Software Engineering Conference (CEE-SECR), Moscow, Russia, October, 2010

Optimizing Resources in Real-time Scheduling for Fault Tolerant Processors, Radhamani Pillay (former), Senthil Kumar Chandran, Sasikumar Punnekkat, International Conference on Parallel, Distributed and Grid Computing (PGDC-2010), IEEE, Solan (HP), India, October, 2010

Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code, Björn Lisper, Andreas Ermedahl (former), Dietmar Schreiner (external), Jens Knoop (external), Peter Gliwa (external), Proc. 4th$ International Symposium on Leveraging Applications of Formal Methods (ISOLA'10), p 449-463, Springer-Verlag, Heraclion, Crete, Editor(s):Tiziana Margaria and Bernhard Steffen, October, 2010

How Open are Societies in the Virtual? Towards an Assessment of the Distribution of Power Between Users and Operators, Holger Kienle (former), Gordana Dodig-Crnkovic, Andreas Lober (external), Crina Vasiliu (external), The 3rd Free Culture Research Conference (FCRC 2010), Berlin, Germany, October, 2010

On Validation of Simulation Models in Timing Analysis of Complex Real-Time Embedded Systems, Yue Lu, Johan Kraft (former), Thomas Nolte, Christer Norström, The 15th IEEE International Conference on Emerging Technologies and Factory Automation (EFTA'10), Work-In-Progress (WIP) session., p 56-59, IEEE, Bilbao, September, 2010

Fuzzy reliability model for component-based software systems, Aleksandar Dimov (former), Sasikumar Punnekkat, EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Lille, France, September, 2010

Verification and Controller Synthesis for Resource-Constrained Real-Time Systems: Case Study of an Autonomous Truck, Shuhao Li (Aalborg University), Paul Pettersson, Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, IEEE Computer Society, September, 2010

On Optimal Real-time Subsystem-Interface Generation in the Presence of Shared Resources, Moris Behnam, Thomas Nolte, Nathan Fisher (Wayne State University. USA), 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Bilbao, Spain, September, 2010

Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems, Jan Carlson, Juraj Feljan, Jukka Mäki-Turja, Mikael Sjödin, 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, Lille, France, September, 2010

Integrating Behavioral Descriptions into a Component Model for Embedded Systems, Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Seceleanu, 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), p 113-118, IEEE, Lille, France, September, 2010

REMES Tool-chain - A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems, Dinko Ivanov (University “St.Kliment Ohridski”, Sofia, Bulgaria), Marin Orlic (FER, University Zagreb, Croatia), Cristina Seceleanu, Aneta Vulgarakis, Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, September, 2010

A Flexible Tool for Evaluating Scheduling, Synchronization and Partitioning Algorithms on Multiprocessors, Farhang Nemati, Thomas Nolte, the Work-In-Progress (WIP) session of 15th IEEE International Conference on Emerging Techonologies and Factory (ETFA'10), Bilbao, Spain, September, 2010

Efficient Fault Tolerant Scheduling on Controller Area Network (CAN), Hüseyin Aysan, Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat, The 15th International Conference on Emerging Technologies and Factory Automation, Bilbao, Spain, September, 2010

Mapping Complex Timing Constraints to Simple Real-Time Scheduling Parameters, Damir Isovic, Radu Dobrin, 15th International Conference on Emerging Technologies and Factory Automation, WiP, Bilbao, Spain, September, 2010

On Hierarchical Server-based Communication with Switched Ethernet, Rui Santos (University of Aveiro, Portugal), Paulo Pedreiras (University of Aveiro, Portugal), Farahnaz Yekeh (external), Thomas Nolte, Luis Almeida (University of Porto, Portugal), 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, September, 2010

Towards Hierarchical Scheduling in Linux/Multi-core Platform, Mikael Åsberg, Thomas Nolte, Shinpei Kato (Nagoya University, Nagoya, Japan), 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Work-in-Progress (WiP) session, Bilbao, Spain, September, 2010

phpModeler - an approach to Reverse Engineering legacy Web applications, Josip Maras, Ana Petricic (former), Maja Štula (University of Split, Croatia), DICES workshop @ SoftCOM 2010, Bol, Croatia, September, 2010

Classification and Survey of Component Models, Ivica Crnkovic, Aneta Vulgarakis, Mario Zagar (University of Zagreb), Ana Petricic (former), Juraj Feljan, Luka Lednicki, Josip Maras, DICES workshop @ SoftCOM 2010, Bol, Croatia, September, 2010

PRIDE, Ivica Crnkovic, Séverine Sentilles, Thomas Leveque (former), Mario Zagar (University of Zagreb), Ana Petricic (former), Juraj Feljan, Luka Lednicki, Josip Maras, DICES workshop @ SoftCOM 2010, Bol, Croatia, September, 2010

Performing a project in a Distributed Software Development Course: Lessons Learned, Federico Ciccozzi, Ivica Crnkovic, ICGSE 2010 - IEEE International Conference on Global Software Engineering, IEEE, Princeton, August, 2010

A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems, Yue Lu, Thomas Nolte, Johan Kraft (former), Christer Norström, The 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'10), p 153-160, IEEE, Macau, SAR, China, August, 2010

Prototyping Hierarchically Scheduled Systems using Task Automata and TIMES, Mikael Åsberg, Thomas Nolte, Paul Pettersson, Proceedings of the 5th International Conference on Embedded and Multimedia Computing (EMC-10), Cebu, Philippines, August, 2010

Project Monitoring and Control In Model-Driven and Component-Based Development of Embedded Systems : The CARMA Principle and Preliminary Results, Rikard Land (former), Jan Carlson, Stig Larsson (former), Ivica Crnkovic, 5th International Conference on Evaluation of Novel Approaches to Software Engineering, SciTePress, Athens, Greece, July, 2010

A Statistical Approach to Simulation Model Validation in Timing Analysis of Complex Real-Time Embedded Systems, Yue Lu, Johan Kraft (former), Thomas Nolte, Christer Norström, The 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'10) in conjunction with the 22nd Euromicro Conference on Real-Time Systems (ECRTS'10), p 12-17, Brussels, July, 2010

Timing Analyzing for Systems with Task Execution Dependencies, Yue Lu, Thomas Nolte, Iain Bate (University of York, UK), Christer Norström, The 34th Annual IEEE Computer Software and Applications Conference (COMPSAC'10), p 515-524, IEEE, Seoul, South Korea, July, 2010

Database Proxies for Component-Based Real-Time Systems, Andreas Hjertström, Dag Nyström, Mikael Sjödin, 22st Euromicro Conference on Real-Time Systems, p 79 - 89, Brussels, Belgium, July, 2010

Extracting client-side Web User Interface controls, Josip Maras, Maja Štula (University of Split, Croatia), Jan Carlson, International Conference on Web Engineering, p 502-505, IEEE, Vienna, Editor(s):Benatallah, B.; Casati, F.; Kappel, G.; Rossi, G. , July, 2010

A loadable task execution recorder for Linux, Mikael Åsberg, Johan Kraft (former), Thomas Nolte, Shinpei Kato (Nagoya University, Nagoya, Japan), Proceedings of the 1st International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Brussels, Belgium, July, 2010

Implementation of Overrun and Skipping in VxWorks, Mikael Åsberg, Moris Behnam, Thomas Nolte, Reinder J. Bril (TU/e, The Netherlands), Proceedings of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Brussels, Belgium, July, 2010

Extending an HSF-enabled Open Source Real-Time Operating System with Resource Sharing, Martijn van den Heuvel (TU/e, The Netherlands), Reinder J. Bril (TU/e, The Netherlands), Moris Behnam, Proceedings of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Brussels, Belgium, July, 2010

Schedulability Analysis for Multi-level Hierarchical Server Composition in Ethernet Switches, Rui Santos (University of Aveiro, Portugal), Moris Behnam, Thomas Nolte, Luis Almeida (University of Porto, Portugal), Paulo Pedreiras (University of Aveiro, Portugal), 9th International Workshop on Real-Time Networks RTN'2010, Brussels, Belgium, July, 2010

Improving the global schedulability analysis of overrun without payback, Ugur Keskin (Eindhoven University of Technology, The Netherlands), Reinder J. Bril (TU/e, The Netherlands), Johan Lukkien (external), Moris Behnam, Thomas Nolte, Proceedings of the Work-In-Progress (WIP) session of the 22nd Euromicro Conference on Real-Time Systems (ECRTS'10), Brussels, Belgium, July, 2010

Towards WCET Analysis of Multicore Architectures using UPPAAL, Andreas Gustavsson, Andreas Ermedahl (former), Björn Lisper, Paul Pettersson, Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, p 103-113, Österreichische Computer Gesellschaft, Bruxells, July, 2010

Using Temporal Isolation to Achieve Predictable Integration of Real-Time Components, Rafia Inam, Jukka Mäki-Turja, Jan Carlson, Mikael Sjödin, 22nd Euromicro Conference on Real-Time Systems (ECRTS10) WiP Session, p 17-20, Brussels, Belgium, July, 2010

The Mälardalen WCET Benchmarks - Past, Present and Future, Jan Gustafsson, Adam Betts (former), Andreas Ermedahl (former), Björn Lisper, Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, July, 2010

Modeling uncertainties in the estimation of software reliability – a pragmatic approach, Senthil Kumar Chandran, Aleksandar Dimov (former), Sasikumar Punnekkat, International Conference on Secure Software Integration and Reliability Improvement (SSIRI)- Best paper award, IEEE, Singapore, June, 2010

Bridging the Semantic Gap between Abstract Models of Embedded Systems, Jagadish Suryadevara, Eun-Young Kang (former), Cristina Seceleanu, Paul Pettersson, 13th International Symposium on Component Based Software Engineering (CBSE), Springer LNCS, vol 6092, Prague, Czech Republic, Editor(s):Lars Grunske and Ralf Reussner, June, 2010

Towards Simulative Environment for Early Development of Component-Based Embedded Systems, Marin Orlic (FER, University Zagreb, Croatia), Aneta Vulgarakis, Mario Zagar (FER, University Zagreb, Croatia), Fifteenth International Workshop on Component-Oriented Programming, Czech Republic, Prague, June, 2010

How do we collect data for software reliability estimation? , Aleksandar Dimov (former), Senthil Kumar Chandran, Sasikumar Punnekkat, International Conference on Computer Systems and Technologies (CompSysTech), Sofia, June, 2010

Fault Tolerant Scheduling on Control Area Network (CAN), Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, IEEE International Workshop on Object/component/service-oriented Real-time Networked Ultra-dependable Systems , IEEE, Carmona, Spain, May, 2010

Software Architecture Evolution – An Integrated Approach in Industry (Extended Abstract), Hongyu Pei-Breivold (former), Ivica Crnkovic, Australian Software Engineering Conference (ASWEC), Bulletin of Applied Computing and Information Technology, Auckland, New Zealand, April, 2010

Towards Fully Automated Test Management for Large Complex Systems, Sigrid Eldh, Joachim Brandt (Ericsson Ltd, UK), Mark Street (Ericsson Ltd, UK), Hans Hansson, Sasikumar Punnekkat, International Conference on Software Testing, Verification and Validation(ICST), IEEE, Paris, April, 2010

A Statistical Approach for Validation of Task Simulation Models with Intricate Temporal Execution Dependencies, Yue Lu, Johan Kraft (former), Thomas Nolte, Christer Norström, Proceedings of the Work-In-Progress (WIP) track of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'10), p 5-8, Stockholm, Sweden, April, 2010

Improving the efficiency of Ethernet switches for real-time communication, Rui Santos (University of Aveiro, Portugal), A Vieria (Universidade de Aveiro, Portugal), Ricardo Marau (University of Aveiro, Portugal), Paulo Pedreiras (University of Aveiro, Portugal), A Oliveira (Universidade de Aveiro, Portugal), Luis Almeida (University of Porto, Portugal), Thomas Nolte, Workshop on Adaptive Resource Management (WARM'10), Stockholm, Sweden, April, 2010

Statistical-based Response-Time Analysis of Systems with Execution Dependencies between Tasks, Yue Lu, Thomas Nolte, Johan Kraft (former), Christer Norström, The 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'10), p 169-179, St. Anne's College, University of Oxford, March, 2010

Timing Analyzing for Systems with Execution Dependencies between Tasks, Yue Lu, Thomas Nolte, Iain Bate (University of York, UK), Christer Norström, Track on Real-Time Systems, The 25th ACM Symposium on Applied Computing (SAC'10), p 357-358, ACM, Sierre, Switzerland, March, 2010

Customers' Role in Teaching Distributed Software Development, Ivana Bosnic (University of Zagreb), Igor Cavrak (University of Zagreb), Mario Zagar (University of Zagreb), Rikard Land (former), Ivica Crnkovic, 23rd Annual IEEE-CS Conference on Software Engineering Education and Training, IEEE, Pittsburgh, PA, USA, March, 2010

System-specific Static Code Analyses for Complex Embedded Systems, Holger Kienle (former), Johan Kraft (former), Thomas Nolte, 4th International Workshop on Software Quality and Maintainability (SQM 2010), sattelite event of the 14th European Conference on Software Maintenance and Reengineering (CSMR 2010), Madris, Spain, March, 2010

Agile in India: Findings from Three Cases, Jayakanth Srinivasan, Kristina Lundqvist, 3rd India Software Engineering Conference, Mysore, India, February, 2010

Developing UPPAAL over 15 years, Gerd Berhmann (Aalborg University, Denmark), Alexandre David (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), Workshop on Tool Building in Formal Methods, February, 2010

Schedulability analysis of synchronization protocols based on overrun without payback for hierarchical scheduling frameworks revisited , Reinder J. Bril (TU/e, The Netherlands), Ugur Keskin (Eindhoven University of Technology, The Netherlands), Moris Behnam, Thomas Nolte, Proceedings of the 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'09) in conjunction with the 30th IEEE International Real-Time Systems Symposium (RTSS'09), Washington, DC, USA, December, 2009

Subsystem-Interface Generation in the Presence of Shared Resources, Moris Behnam, Nathan Fisher (Wayne State University. USA), Proceedings of the 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'09) in conjunction with the 30th IEEE International Real-Time Systems Symposium (RTSS'09) , p 8, Washington DC, USA, December, 2009

Statistical-based Response-Time Analysis of Systems with Execution Dependencies between Tasks, Yue Lu, Thomas Nolte, Johan Kraft (former), Christer Norström, Proceedings of the Work-In-Progress (WIP) track of the 30th IEEE Real-Time Systems Symposium (RTSS'09), p 73-76, Washington, DC, USA, December, 2009

Creating a Lean System of Innovation: The Case of Rockwell Collins , Jayakanth Srinivasan, 2nd ISPIM Innovation Symposium, New York, USA, December, 2009

Validating the Design Model of an Autonomous Truck System, Jagadish Suryadevara, Paul Pettersson, Cristina Seceleanu, Mälardalen University Software Enginnering Workshop (MUSE'09), Mälardalen University, Västerås, Sweden, November, 2009

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development, Jan Gustafsson, Peter Altenbernd (external), Andreas Ermedahl (former), Björn Lisper, Proc. of the Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009) , p 308-319, Lecture Notes in Computer Science (LNCS), Springer, Newport Beach, CA, USA, Editor(s):Sunggu Lee, Priya Narasimhan, November, 2009

Reverse engineering legacy Web applications with phpModeler, Josip Maras, Ana Petricic (former), Maja Štula (University of Split, Croatia), Mälardalen University Software Enginnering Workshop (MUSE'09), Mälardalen University, Västeras, Sweden, November, 2009

Invited paper: Master Education in Collaboration with Industry, Damir Isovic, Ivica Crnkovic, International Symposium on Total Engineering Education 2009, Shanghai, China, October, 2009

Applying REMES behavioral modeling to PLC systems, Aneta Vulgarakis, Aida Causevic, 22nd International Symposium on Information, Communication and Automation Technologies - ICAT 2009, IEEE, Sarajevo, Bosnia and Herzegovina, October, 2009

Refining SIRAP with a Dedicated Resource Ceiling for Self-Blocking, Moris Behnam, Thomas Nolte, Reinder J. Bril (TU/e, The Netherlands), Proceedings of the 9th ACM & IEEE International Conference on Embedded Software (EMSOFT'09), ACM, Grenoble, France, October, 2009

Redefining the role of testers in organisational transition to agile methodologies, Adnan Causevic, Abdulkadir Sajeev (former), Sasikumar Punnekkat, International Conference on Software, Services & Semantic Technologies (S3T), Sofia, Bulgaria, October, 2009

Behavioral Modeling and Refinement of Services , Aida Causevic, Cristina Seceleanu, Paul Pettersson, Prodceedings of 21st Nordic Workshop on Programming Theory, NWPT '09 , Lyngby, Denmark, October, 2009

Analyzing a Pattern-Based Model of a Real-Time Turntable System, Davor Slutej (external), John Håkansson (Department of Information Technology, Uppsala University), Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson, 6th International Workshop on Formal Engineering approaches to Software Components and Architectures(FESCA), ETAPS'09, York, UK, March, p 161-178, Electronic Notes in Theoretical Computer Science (ENTCS), Vol 253, Elsevier, Editor(s):Jens Happe, Barbora Zimmerova, September, 2009

Being Agile when Developing Software Components and Component-Based Systems – Experiences from Industry, Iva Krasteva (Sofia University), Rikard Land (former), Abdulkadir Sajeev (former), EuroSPI, Publizon, Madrid, Spain, September, 2009

Multiprocessor Synchronization and Hierarchical Scheduling, Farhang Nemati, Moris Behnam, Thomas Nolte, Proceedings of the First IEEE International Workshop on Real-time Systems on Multicore Platforms: Theory and Practice (XRTS-2009) in conjunction with ICPP'09, Vienna, Austria, September, 2009

Efficiently Migrating Real-Time Systems to Multi-Cores, Farhang Nemati, Moris Behnam, Thomas Nolte, Proceedings of 14th IEEE International Conference on Emerging Techonologies and Factory (ETFA'09), Mallorca, Spain, September, 2009

A Data-Entity Approach for Component-Based Real-Time Embedded Systems Development, Andreas Hjertström, Dag Nyström, Mikael Sjödin, 14th IEEE International Conference on Emerging Technology and Factory Automation, p 1 - 8, ISBN: 978-1-4244-2727-7, Palma de Mallorca, Spain, September, 2009

Optimizing the Fault Tolerance Capabilities of Distributed Real-Time Systems, Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat, Hüseyin Aysan, The 14th International Conference on Emerging Technologies and Factory Automation, WiP, Palma de Mallorca, Spain, September, 2009

Investigation of Implementing a Synchronization Protocol under Multiprocessors Hierarchical Scheduling, Farhang Nemati, Moris Behnam, Thomas Nolte, Reinder J. Bril (TU/e, The Netherlands), Proceedings of the Work-In-Progress (WIP) session of 14th IEEE International Conference on Emerging Techonologies and Factory (ETFA'09), Mallorca, Spain, September, 2009

Improved SIRAP analysis for synchronization in hierarchical scheduled real-time systems, Moris Behnam, Thomas Nolte, Reinder J. Bril (TU/e, The Netherlands), Proceedings of 14th IEEE International Conference on Emerging Techonologies and Factory (ETFA'09), Mallorca, Spain, September, 2009

Scheduling Relay Nodes for Reliable Wireless Real-Time Communications, Elisabeth Uhlemann, Thomas Nolte, Proceedings of the Work-In-Progress (WIP) session of 14th IEEE International Conference on Emerging Techonologies and Factory (ETFA'09), Mallorca, Spain, September, 2009

Execution Time Monitoring in Linux, Mikael Åsberg, Thomas Nolte, Clara M. Otero Perez (NXP Semiconductors/Research, The Netherlands), Shinpei Kato (Nagoya University, Nagoya, Japan), Proceedings of 14th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA'09), Work-in-Progress (WiP) session, Mallorca, Spain, September, 2009

Towards Hierarchical Scheduling in AUTOSAR, Mikael Åsberg, Moris Behnam, Farhang Nemati, Thomas Nolte, Proceedings of 14th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA'09), Mallorca, Spain, September, 2009

Reuse with Software Components – A Survey of Industrial State of Practice, Rikard Land (former), Daniel Sundmark, Frank Lüders, Iva Krasteva (Sofia University), Adnan Causevic, 11th International Conference on Software Reuse, Springer, Falls Church, VA, USA, September, 2009

Towards Systematic Software Reuse in Certifiable Safety-Critical Systems, Mikael Åkerholm (former), Rikard Land (former), International Workshop on Software Reuse and Safety, Falls Church, VA, September, 2009

An Efficient Algorithm for Parametric WCET Calculation, Stefan Bygde, Andreas Ermedahl (former), Björn Lisper, The 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, p 13-21, IEEE Computer Society, Beijing, China, Editor(s):Patrick Kellenberger, August, 2009

Overrun and Skipping in Hierarchically Scheduled Real-Time Systems, Moris Behnam, Thomas Nolte, Mikael Åsberg, Reinder J. Bril (TU/e, The Netherlands), 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'09), p 519-526, Beijing, China, August, 2009

Using JavaBeans to Realize a Domain-Specific Component Model, Juraj Feljan, Jan Carlson, Mario Zagar (University of Zagreb), 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), p 474-477, Patras, Greece, August, 2009

Formal Semantics of the ProCom Real-Time Component Model, Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, Paul Pettersson, 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Patras, Greece, August, 2009

A Cascading Redundancy Approach for Dependable Real-Time Systems, Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Peking, Kina, August, 2009

Simulation-Based Timing Analysis of Complex Real-Time Systems, Markus Bohlin, Yue Lu, Johan Kraft (former), Per Kreuger (external), Thomas Nolte, The 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'09), p 321-328, Beijing, China, August, 2009

A Component-Based Technology for Hardware and Software Components, Luka Lednicki, Ana Petricic (former), Mario Zagar (University of Zagreb), 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, Pataras, Greece, August, 2009

Hierarchical Scheduling of Complex Embedded Real-Time Systems, Thomas Nolte, Moris Behnam, Mikael Åsberg, Reinder J. Bril (TU/e, The Netherlands), Insik Shin (former), École d'Éte Temps-Réel (ETR'09), p 129-142, Paris, France, August, 2009

Deriving the Worst-Case Execution Time Input Values, Andreas Ermedahl (former), Johan Fredriksson (former), Jan Gustafsson, Peter Altenbernd (external), 21st Euromicro Conference of Real-Time Systems, (ECRTS'09), p 45-54, Dublin, Ireland, July, 2009

Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring, Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft (former), Thomas Nolte, Christer Norström, The 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS'09) in conjunction with the 33rd Annual IEEE Computer Software and Applications Conference (COMPSAC'09), p 510-515, IEEE Computer Society Press, Seattle,Washington, USA, July, 2009

Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems, Aida Causevic, Aneta Vulgarakis, 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2009), IEEE Computer Society Press, July, 2009

Transaction level control for application execution on the SegBus Platform, Tiberiu Seceleanu, Ivica Crnkovic, Cristina Seceleanu, 33rd Annual IEEE International Computer Software and Applications Conference, IEEE, Seattle,Washington, July, 2009

An Investigation of Synchronization under Multiprocessors Hierarchical Scheduling, Farhang Nemati, Moris Behnam, Thomas Nolte, Proceedings of the Work-In-Progress (WIP) session of the 21st Euromicro Conference on Real-Time Systems (ECRTS'09), p 49-52, Dublin, Ireland, July, 2009

Towards Response-Time Analysis of Complex Real-Time Systems by using ParametricWorst-Case Execution-Time Estimate on Tasks – A Case Study for Robotic Control System, Yue Lu, Antonio Cicchetti, Mikael Sjödin, Jukka Mäki-Turja, Stefan Bygde, Christer Norström, The 21st Euromicro Conference on Real-Time Systems (ECRTS'09) Work-In-Progress (WIP) session, p 5-8, Dublin, Ireland, July, 2009

A new approach for global synchronization in hierarchical scheduled real-time systems, Moris Behnam, Thomas Nolte, Reinder J. Bril (TU/e, The Netherlands), Work-in-Progress (WiP) session of the 21st Euromicro Conference on Real-Time Systems (ECRTS'09), p 41-44, Dublin, Ireland, July, 2009

‘State of the Art’ in Using Agile Methods for Embedded Systems Development, Jayakanth Srinivasan, Radu Dobrin, Kristina Lundqvist, Industrial Experience in Embedded Systems Design (IEESD 2009), Seattle,Washington, July, 2009

Towards a Resource-Aware Component Model for Embedded Systems, Aneta Vulgarakis, Doctoral Symposium of 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), IEEE Computer Society Press, July, 2009

Lessons Learned from a Workshop on Relationship Building, Jayakanth Srinivasan, Annika Lofgren (Kreo), Christer Norström, Kristina Lundqvist, 4th IEEE International Conference on Global Software Engineering, IEEE, Limerick, Ireland, July, 2009

Towards Guidelines for a Development Process for Component-Based Embedded Systems, Rikard Land (former), Jan Carlson, Stig Larsson (former), Ivica Crnkovic, Workshop on Software Engineering Processes and Applications (SEPA) in conjunction with the International Conference on Computational Science and Applications (ICCSA), p 43-58, Springer, Yongin, Korea, June, 2009

Integration of Extra-Functional Properties in Component Models, Séverine Sentilles, Petr Stepan (external), Jan Carlson, Ivica Crnkovic, 12th International Symposium on Component Based Software Engineering (CBSE 2009), LNCS 5582, Springer Berlin, LNCS 5582, East Stroudsburg University, Pennsylvania, USA, Editor(s):Christine Hofmeister, Grace A. Lewis, Iman Poernomo, June, 2009

A Model-Driven Engineering Framework for Component Models Interoperability, Ivica Crnkovic, Ivano Malavolta (University di Aquila), Henry Muccini (external), Proceedings of the 12th International Symposium on Component-Based Software Engineering (CBSE 2009), Springer, LNCS 5582, Editor(s):Christine Hofmeister, Grace A. Lewis, Iman Poernomo, June, 2009

ALF – A Language for WCET Flow Analysis, Jan Gustafsson, Andreas Ermedahl (former), Björn Lisper, Christer Sandberg (former), Linus Källberg, Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09), OCG, Dublin, Ireland, Editor(s):Niklas Holsti, June, 2009

Using UML for Domain-Specific Component Models, Ana Petricic (former), Luka Lednicki, Ivica Crnkovic, Fourteenth International Workshop on Component-Oriented Programming, June, 2009

REMES: A Resource Model for Embedded Systems, Cristina Seceleanu, Aneta Vulgarakis, Paul Pettersson, In Proc. of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE Computer Society, June, 2009

Exploring the Sources of Enterprise Agility in Software Organizations, Jayakanth Srinivasan, Kristina Lundqvist, Christer Norström, Second International Engineering Systems Symposium The Emerging Field of Engineering Systems: Achievements and Challenges, ESD, June, 2009

Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems, Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic, Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE'09), p 607-610, Vancouver, Canada, May, 2009

Organizational Enablers for Agile Adoption: Learning from GameDevCo , Jayakanth Srinivasan, Kristina Lundqvist, 10th International Conference on Agile Processes in Software Engineering and Extreme Programming , Springer, Sardinia, Italy, May, 2009

ArcheOpterix: An Extendable Tool for Architecture Optimization of AADL Models, Aldeida Aleti (external), Stefan Björnander, Lars Grunske (external), Indika Meedeniya (external), ICSE '09: Proceedings of the 31st International Workshop on Software Quality, May, 2009

Model Identification for WCET Analysis, Björn Lisper, Marcelo Santos (former), Proc. 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009), IEEE, San Francisco, CA, April, 2009

Using Agile Methods in Product Development, Jayakanth Srinivasan, Kristina Lundqvist, ITNG 2009, April, 2009

Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation, Robert Feldt (Blekinge Institute of Technology), Martin Höst (Lund University), Frank Lüders, Proc. 22nd Conference on Software Engineering Education & Training, Hyderabad, India, February, 2009

VTV -- A Voting Strategy for Real-Time Systems, Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin, 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'08), Taipei, Taiwan, December, 2008

Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources, Insik Shin (former), Moris Behnam, Thomas Nolte, Mikael Nolin, In Proceedings of the 29th IEEE International Real-Time Systems Symposium (RTSS'08), p 209-220, IEEE Computer Society, Barcelona, Spain, December, 2008

Approximate Timing Analysis of Complex Legacy Real-Time Systems using Simulation Optimization, Yue Lu, Markus Bohlin, Johan Kraft (former), Per Kreuger (external), Thomas Nolte, Christer Norström, Proceedings of the Work-In-Progress (WIP) track of the 29th IEEE Real-Time Systems Symposium (RTSS'08), p 29-32, Barcelona, Spain, December, 2008

Driving Open Innovation: Learning from Three Cases, Jayakanth Srinivasan, Kristina Lundqvist, Workshop on Open Innovation in Services, Univ. of Cambridge, December, 2008

Realizing a domain specific component model with JavaBeans, Juraj Feljan, Jan Carlson, Mario Zagar (University of Zagreb), Eight Conference on Software Engineering Research and Practice in Sweden (SERPS'08), Karlskrona, Sweden, November, 2008

Synchronization protocols for hierarchical real-time scheduling frameworks, Moris Behnam, Thomas Nolte, Mikael Åsberg, Insik Shin (former), Proceedings of the 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'08) in conjunction with the 29th IEEE International Real-Time Systems Symposium (RTSS'08), p 53-60, Barcelona, Spain, November, 2008

Server-based real-time communications of Switched Ethernet, Ricardo Marau (University of Aveiro, Portugal), Nuno Figueiredo (University of Aveiro, Portugal), Rui Santos (University of Aveiro, Portugal), Paulo Pedreiras (University of Aveiro, Portugal), Luis Almeida (University of Porto, Portugal), Thomas Nolte, Proceedings of the 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'08) in conjunction with the 29th IEEE International Real-Time Systems Symposium (RTSS'08), p 37-44, Barcelona, Spain, November, 2008

Semantics of Information as Interactive Computation, Gordana Dodig-Crnkovic, Fifth International Workshop on Philosophy and Informatics, Kaiserslautern 2008,, Springer, DFKI Technical Reports; Berlin, Kaiserslautern, Germany, Editor(s):Manuel Moeller, Wolfgang Neuser, and Thomas Roth-Berghofer, October, 2008

A Component Model Family for Vehicular Embedded Systems, Tomas Bures (former), Jan Carlson, Séverine Sentilles, Aneta Vulgarakis, The Third International Conference on Software Engineering Advances, IEEE, Sliema, Malta, October, 2008

Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT, John Håkansson (Department of Information Technology, Uppsala University), Jan Carlson, Aurelien Monot (Ecole des Mines, Nancy, France), Paul Pettersson, (external), 6th International Symposium on Automated Technology for Verification and Analysis, p 252-257, Springer-Verlag, Seoul, South Korea, Editor(s):Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan, October, 2008

Structural Testing of Component-Based Systems, Daniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl (former), Proceedings of the 11th International Symposium of Component Based Software Engineering (CBSE-2008), ACM, Karlsruhe, Germany, October, 2008

A Component Model for Control-Intensive Distributed Embedded Systems, Séverine Sentilles, Aneta Vulgarakis, Tomas Bures (former), Jan Carlson, Ivica Crnkovic, Proceedings of the 11th International Symposium on Component Based Software Engineering (CBSE2008), p 310-317, Springer Berlin, Karlsruhe, Germany, Editor(s):Michel R.V. Chaudron and Clemens Szyperski, October, 2008

Event-Pattern Triggered Real-Time Tasks, Jan Carlson, Jukka Mäki-Turja, Mikael Nolin, 16th International Conference on Real-Time and Network Systems (RTNS), p 77-85, Rennes, France, Editor(s):Giorgio Buttazzo and Pascale Mine, October, 2008

ALL-TIMES - A European Project on Integrating Timing Technology, Jan Gustafsson, Björn Lisper, Markus Schordan (external), Christian Ferdinand (external), Marek Jersak (external), Guillem Bernat (external), Proc. Third International Symposium on Leveraging Applications of Formal Methods (ISOLA'08), p 445-459, Springer, Porto Sani, Greece, Editor(s):Tiziana Margaria and Bernhard Steffen, October, 2008

Design-Time Management of Run-Time Data in Industrial Embedded Real-Time Systems Development, Andreas Hjertström, Dag Nyström, Mikael Nolin, Rikard Land (former), Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'08), IEEE Industrial Electronics Society, Hamburg, Germany, p 1285 - 1293, ISBN:978-1-4244-1505-2, September, 2008

Towards Efficient Software Component Evaluation: An Examination of Component Selection and Certification, Rikard Land (former), Alexandre Alvaro (CESAR), Ivica Crnkovic, Euromicro SEAA SPPI Track, IEEE, Parma, Italy, September, 2008

Scheduling of Semi-Independent Real-Time Components: Overrun Methods and Resource Holding Times, Moris Behnam, Insik Shin (former), Thomas Nolte, Mikael Nolin, Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'08), p 575-582, IEEE Industrial Electronics Society, Hamburg, Germany, September, 2008

Save-IDE – An Integrated development environment for building predictable component-based embedded systems, Séverine Sentilles, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, Ivica Crnkovic, Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, September, 2008

Towards Migrating Legacy Real-Time Systems to Multi-Core Platforms, Farhang Nemati, Johan Kraft (former), Thomas Nolte, Proceedings of the Work-In-Progress (WIP) session of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'08), p 717-720, IEEE Industrial Electronics Society, Hamburg, Germany, September, 2008

Introducing Component Based Software Engineering at an Embedded Systems Sub-Contractor, Mikael Åkerholm (former), Kristian Sandström (former), Ivica Crnkovic, 34th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), IEEE, Parma, Italy, September, 2008

Verification of an industrial rule-based manufacturing system using REX, AnneMarie Ericsson (University of Skövde), Mikael Berndtsson (University of Skövde), Paul Pettersson, Lena Pettersson (Volvo Information Technology, Skövde), 1st International Workshop on Complex Event Processing for Future Internet, September, 2008

Collaboration between Industry and Research for the Introduction of Model-Driven Software Engineering in a Master Program, Séverine Sentilles, Florian Noyrit (external), Ivica Crnkovic, Educators Symposium at the 11th International Conference MODELS 2008, p 75-80, Toulouse, France, September, 2008

Maximizing the Fault Tolerance Capability of Fixed Priority Schedules, Radu Dobrin, Sasikumar Punnekkat, Hüseyin Aysan, 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, KaoHsiung, Taiwan, August, 2008

Verification of COMDES-II Systems Using UPPAAL with Model Transformation, Xu Ke (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Paul Pettersson, Krzysztof Sierszecki (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Christo Angelov (Mads Clausen Institute for Product Innovation, University of Southern Denmark), 14th International IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), IEEE Computer Society Press, Kaohsiung, Taiwan, August, 2008

Embedded Systems Resources: Views on Modeling and Analysis, Aneta Vulgarakis, Cristina Seceleanu, 1st IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS 2008), IEEE CS, Turku, Finland, July, 2008

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code, Dani Barkah (Volvo CE, Eskilstuna, Sweden), Andreas Ermedahl (former), Jan Gustafsson, Björn Lisper, Christer Sandberg (former), 20th Euromicro Conference of Real-Time Systems, (ECRTS’08), Prague, Czech Republic, July, 2008

Bounding Shared-Stack Usage in Systems with Offsets and Precedences, Markus Bohlin, Kaj Hänninen, Jukka Mäki-Turja, Jan Carlson, Mikael Nolin, 20th Euromicro Conference on Real-Time Systems, Prague, Czech Republic, July, 2008

Towards Hierarchical Scheduling on top of VxWorks, Moris Behnam, Thomas Nolte, Insik Shin (former), Mikael Åsberg, Reinder J. Bril (TU/e, The Netherlands), Proceedings of the 4th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT'08), p 63-72, Prague, Czech Republic, July, 2008

An Overrun Method to Support Composition of Semi-Independant Real-Time Components, Moris Behnam, Insik Shin (former), Thomas Nolte, Mikael Nolin, Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC'08), p 1347-1352, IEEE Computer Society, Turku, Finland, July, 2008

Validation of Temporal Simulation Models of Complex Real-Time Systems, Farhang Nemati, Johan Kraft (former), Christer Norström, IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS'08), Turku, Finland, July, 2008

Error Modeling in Dependable Component-based Systems, Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin, IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS'08), Turku, Finland, July, 2008

Achieving Industrial Strength Timing Predictions of Embedded System Behavior, Mikael Nolin, Jukka Mäki-Turja, The 2008 International Conference on Embedded Systems and Applications, Las Vegas, Nevada, USA, July, 2008

Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution, Jan Gustafsson, Andreas Ermedahl (former), Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), Prague, Czech Republic, July, 2008

Towards an Automatic Parametric WCET Analysis, Stefan Bygde, Björn Lisper, Worst-Case Execution Time Analysis Workshop, p 9-17, Austrian Computer Society, Prague, Czech Republic, Editor(s):Raimund Kirner, July, 2008

Towards Server-based Switched Ethernet for Real-Time Communications, Ricardo Marau (University of Aveiro, Portugal), Luis Almeida (University of Porto, Portugal), Paulo Pedreiras (University of Aveiro, Portugal), Thomas Nolte, Proceedings of the Work-In-Progress (WIP) session of the 20th Euromicro International Conference on Real-Time Systems (ECRTS'08), p 60-63, Prague, Czech Republic, July, 2008

The Rubus Component Model for Resource Constrained Real-Time Systems, Kaj Hänninen, Jukka Mäki-Turja, Mikael Nolin, Mats Lindberg (Arcticus Systems), John Lundbäck (Arcticus Systems AB), Kurt-Lennart Lundbäck (Arcticus Systems AB), 3rd IEEE International Symposium on Industrial Embedded Systems, Montpellier, France, June, 2008

Towards the Powerline Alternative in Automotive Applications, Francesco Benzi (University of Pavia, Italy), Tullio Facchinetti (University of Pavia, Italy), Thomas Nolte, Luis Almeida (University of Porto, Portugal), Proceedings of the Work-In-Progress (WIP) session of the 7th IEEE International Workshop on Factory Communication Systems (WFCS'08), p 259-262, IEEE Industrial Electronics Society, Dresden, Germany, May, 2008

Challenges for Agile Development of COTS Components and COTS-Based Systems – A Theoretical Examination, Iva Krasteva (Sofia University), Per Branger (former), Rikard Land (former), Evaluation of Novel Approaches to Software Engineering (ENASE), Funchal, Portugal, May, 2008

COTS Selection Best Practices in Literature and in Industry, Rikard Land (former), Laurens Blankers (former), Michel Chaudron (Technical University Eindhoven), Ivica Crnkovic, 10th International Conference on Software Reuse (ICSR), Springer, Beijing, China, May, 2008

GENESIS - A Framework for Global Engineering of Embedded Systems, Radu Dobrin, Ivica Crnkovic, Sasikumar Punnekkat, Damir Isovic, (external), Software Engineering in East and South Europe (SEESE), ACM, Leipzig, Germany, May, 2008

Evaluation of an Additive WCET Model for Software Components, Marcelo Santos (former), Björn Lisper, WTR 2008 10th Brazilian Workshop on Real-time and Embedded Systems, Rio de Janeiro, Brazil, May, 2008

Usability Aspects of WCET Analysis, Jan Gustafsson, The 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC2008)., p 346 - 342, IEEE, Orlando, Florida, USA, May, 2008

Beating the Automotive Code Complexity Challenge, Hans Hansson, Mikael Nolin, Thomas Nolte, National Workshop on High-Confidence Automotive Cyber-Physical Systems, Troy, Michigan, USA, April, 2008

Scheduling Timed Modules for Correct Resource Sharing, Cristina Seceleanu, Paul Pettersson, Hans Hansson, In Proc. of the 1st IEEE International Conference on Software Testing, Verification and Validation (ICST 2008), IEEE Computer Society, April, 2008

A Metaheuristic Approach for Best Effort Timing Analysis targeting Complex Legacy Real-Time Systems, Johan Kraft (former), Yue Lu, Christer Norström, Anders Wall (former), The 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'08), p 258--269, IEEE, St. Louis, MO, USA, April, 2008

Adding the Time Dimension to Majority Voting Strategies, Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin, Proceedings of the Work-In-Progress (WIP) session of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'08), St. Louis, MO, United States, April, 2008

A Hierarchical Approach for Reconfigurable and Adaptive Embedded Systems, Moris Behnam, Thomas Nolte, Insik Shin (former), Proceedings of the Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'08), p 51-54, Cyber Physical Systems Week, St. Louis, MO, USA, April, 2008

Towards an Error Modeling Framework for Dependable Component Based Systems, Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, DATE Workshop on Dependable Software Systems, Munich, Germany, March, 2008

Key Aspects of Software Release Planning in Industry, Markus Lindgren (former), Rikard Land (former), Christer Norström, Anders Wall (former), 19th Australian Software Engineering Conference, IEEE Computer Society Press, Perth, Australia, March, 2008

Shared Stack Analysis in Transaction-Based Systems, Markus Bohlin, Kaj Hänninen, Jukka Mäki-Turja, Work in Progress Proceedings RTSS'07, p 37-40, Tucson, Arizona, USA, Editor(s):Jorgen Hansson, December, 2007

The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems, Martin Ouimet (MIT), Kristina Lundqvist, 14th Asia-Pacific Software Engineering Conference (APSEC ‘07),, Nagoya, Japan, December, 2007

Towards Optimal Hierarchical Resource Sharing in Open Environments, Insik Shin (former), Moris Behnam, Thomas Nolte, Mikael Nolin, Proceedings of the Work-In-Progress (WIP) session of the 28th IEEE Real-Time Systems Symposium (RTSS'07), p 57-60, IEEE Computer Society, Tucson, AZ, USA, December, 2007

Experiments with Component Tests to Improve Software Quality, Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, ISSRE (Industrial Track), IEEE, Trollhättan, Sweden, November, 2007

Generating Trace-Sets for Model-based Testing, Birgitta Lindström (University of Skövde), Paul Pettersson, Jeff Offutt (George Mason University), Proceedings of the 18th IEEE International Symposium on Software Reliability, p 171-180, IEEE Computer Society, November, 2007

Driving the selection of COTS components on the basis of system requirements, (external), Ivica Crnkovic, Pasqualina Potena (former), Fabrizio Marinelli (Laboratoire d’Informatique de l’Ecole Polytechnique, France), Automated Software Engineering (ASE) 2007, IEEE, ATlanta, US, November, 2007

SIRAP: A Synchronization Protocol for Hierarchical Resource Sharing in Real-Time Open Systems, Moris Behnam, Insik Shin (former), Thomas Nolte, Mikael Nolin, Proceedings of the 7th ACM & IEEE International Conference on Embedded Software (EMSOFT'07), p 279-288, ACM, Salzburg, Austria, October, 2007

Partial Order Reduction for Verification of Real-Time Components, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems, Lecture Notes in Computer Science 4763, p 211-226, Springer Verlag, Editor(s):Jean-François Raskin and P.S. Thiagarajan, October, 2007

Licentiate Thesis Abstract: Evaluating Test Techniques using Fault and Failure Analysis, Sigrid Eldh, 7th Conf. Software Engineering Research and Practice, p 4, Göteborg, Sweden, Editor(s):Thomas Arts, October, 2007

A Classification Framework for Component Models, Ivica Crnkovic, Michel Chaudron (Technical University Eindhoven), Séverine Sentilles, Aneta Vulgarakis, Proceedings of the 7th Conference on Software Engineering and Practice in Sweden, Göteborg, Sweden, October, 2007

Deriving Exact Stochastic Response Times of Periodic Tasks in Hybrid Priority-driven Soft Real-time Systems, Giordano A. Kaczynski (University of Catania, Italy), Lucia Lo Bello (University of Catania, Italy), Thomas Nolte, Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'07), p 101-110, IEEE Industrial Electronics Society, Patras, Greece, September, 2007

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution, Jan Gustafsson, Andreas Ermedahl (former), Christer Sandberg (former), Björn Lisper, Real-Time in Sweden (RTiS) 2007, Västerås, Sweden, August, 2007

Real-Time Control and Scheduling Co-Design for Efficient Jitter Handling, Moris Behnam, Damir Isovic, The 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu, Korea, August, 2007

Component-Based and Service-Oriented Software Engineering: Key Concepts and Principles, Hongyu Pei-Breivold (former), Magnus Larsson, 33rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Component Based Software Engineering (CBSE) Track, IEEE, Lübeck, Germany, August, 2007

Contract-Based Reusable Worst-Case Execution Time Estimate, Johan Fredriksson (former), Thomas Nolte, Mikael Nolin, Heinz Schmidt (external), Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'07), p 39-46, IEEE Computer Society, Daegu, Korea, August, 2007

Packaging Component-Analysis for Reuse, Johan Fredriksson (former), Rikard Land (former), 9th Real-Tine in Sweden (RTiS'07), Västerås, Sweden, August, 2007

Reusing Worst-Case Execution Time Analysis with Component Contracts, Johan Fredriksson (former), Thomas Nolte, Mikael Nolin, Heinz Schmidt (external), Proceedings of the 9th Real-Time in Sweden (RTiS'07), Västerås, Sweden, August, 2007

Extracting Simulation Models from Complex Embedded Real-Time Systems, Johan Kraft (former), Joel Huselius, Anders Wall (former), Christer Norström, Real-Time in Sweden 2007, Västerås, August, 2007

Experiences from Applying WCET Analysis in Industrial Settings, Jan Gustafsson, Andreas Ermedahl (former), Real-Time in Sweden (RTiS) 2007, Västerås, Sweden, August, 2007

A Model-Based Framework for Designing Embedded Real-Time Systems, Séverine Sentilles, Aneta Vulgarakis, Ivica Crnkovic, Proceedings of the Work-In-Progress (WIP) track of the 19th Euromicro Conference on Real-Time Systems (ECRTS 2007), Pisa, Italy, July, 2007

A Generalized Task Allocation Framework for Dependable Real-Time Systems, Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Proceedings of the Work-In-Progress (WIP) session of the 19th Euromicro Conference on Real-Time Systems (ECRTS 07), Pisa, Italy, July, 2007

Clustering Worst-Case Execution Times for Software Components, Johan Fredriksson (former), Thomas Nolte, Andreas Ermedahl (former), Mikael Nolin, Proceedings of the 7th International Workshop on Worst Case Execution Time Analysis (WCET'07), p 19-25, Pisa, Italy, July, 2007

Contract-Based Reusable Analysis for Software Components with Extra-Functional Properties, Johan Fredriksson (former), Thomas Nolte, Andreas Ermedahl (former), Mikael Nolin, Proceedings of the Work-In-Progress (WIP) session of the 19th Euromicro Conference on Real-Time Systems (ECRTS'07), p 57-60, Pisa, Italy, July, 2007

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis, Andreas Ermedahl (former), Christer Sandberg (former), Jan Gustafsson, Stefan Bygde, Björn Lisper, Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET'2007), Pisa, Italy, July, 2007

Independent Abstraction and Dynamic Slack Reclaiming in Hierarchical Real-Time Open Systems, Moris Behnam, Insik Shin (former), Thomas Nolte, Mikael Nolin, Proceedings of the Work-In-Progress (WIP) session of the 19th Euromicro Conference on Real-Time Systems (ECRTS'07), p 1-4, Pisa, Italy, July, 2007

Towards a European Master Programme on Global Software Engineering, Patricia Lago (external), Henry Muccini (external), Ljerka Beus-Dukic (external), Ivica Crnkovic, Sasikumar Punnekkat, Hans Van Vliet (external), 20th Conference on Software Engineering Education and Training (CSEE&T 2007), Dublin, July, 2007

The Timed Abstract State Machine Toolset: Specification, Simulation, and Verification of Real-Time Systems, Martin Ouimet (MIT), Kristina Lundqvist, 19th International Conference on Computer-Aided Verification (CAV '07), Berlin, Germany, July, 2007

Component Testing is not Enough - A Study of Software Faults in Telecom Middleware, Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson (Combitech Systems), 19th IFIP International Conference on Testing of Communicating Systems TESTCOM/FATES 2007, Springer LNCS, Tallinn, Estonia, June, 2007

Cover - A Test-Case Generation Tool for Timed Systems, Anders Hessel, Paul Pettersson, Testing of Software and Communicating Systems: Work-in-Progress and Position Papers, Tool Demonstrations, and Tutorial Abstracts of TestCom/FATES 2007, p 31-34, Editor(s):Alexandre Petrenko, Margus Veanes, Jan Tretmans, and Wolfgang Grieskamp, June, 2007

Seamless Formal Verification of Complex Event Processing Applications, AnneMarie Ericsson (University of Skövde), Paul Pettersson, Mikael Berndtsson (University of Skövde), Marco Seiriö (external), Proceedings of the 6th Inaugural International Conference on Distributed Event-Based Systems, ACM, June, 2007

Reusable Component Analysis for Component-Based Embedded Real-Time Systems, Johan Fredriksson (former), Rikard Land (former), 29th International Conference on Information Technology (ITI 2007), Cavtat near Dubrovnic, Croatia, June, 2007

A Model for Reuse and Optimization of Embedded Software Components, Mikael Åkerholm (former), Joakim Fröberg, Kristian Sandström (former), Ivica Crnkovic, 29th International Conference on Information technology Interface, (ITI 2007), IEEE, Cavtat, Croatia, June, 2007

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering., Martin Ouimet (MIT), Kristina Lundqvist, 14th International Workshop on Abstract State Machines (ASM '07), Grimstad, Norway, June, 2007

Handling Non-periodic Events Together with Complex Constrained Tasks in Distributed Real-Time Systems, Radu Dobrin, Gerhard Fohler (former), 16th International Conference on Control Systems and Computer Science, Bucharest, Romania, May, 2007

Experiences from Applying WCET Analysis in Industrial Settings, Jan Gustafsson, Andreas Ermedahl (former), The 10th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC2007), Santorini Island, Greece, May, 2007

Evaluating Dependability Attributes of Component-Based Specifications, Ivica Crnkovic, Lars Grunske (external), International Conference on Software Engineering (ICSE), p 157-158, IEEE, Minneapolis, May, 2007

Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes, Martin Ouimet (MIT), Kristina Lundqvist, International Workshop on Modeling in Software Engineering (MiSE '07), Satellite Workshop of ICSE '07, Minneapolis, MN, USA, May, 2007

Evaluating Dependability Attributes of Component-Based Specifications, Ivica Crnkovic, Lars Grunske (external), ICSE 2007 Tutorials, IEEE/ACM, Minneapolis, May, 2007

INCENSE: Information-Centric Run-Time Support for Component-Based Embedded Real-Time Systems, Andreas Hjertström, Dag Nyström, Mikael Åkerholm (former), Mikael Nolin, Proceedings of the Work-In-Progress (WIP) session, 14th IEEE Real-Time and Embedded Technology and Applications Symposium, p 4, Seattle, United States, April, 2007

Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver, Martin Ouimet (MIT), Kristina Lundqvist, Proceedings of the 3rd International Workshop on Model-Based Testing (MBT '07), Satellite Workshop of ETAPS 2007, Electronic Notes in Theoretical Computer Science (ENTCS), April, 2007

The Timed Abstract State Machine Language: An Executable Specification Language for Reactive Real-Time Systems, Martin Ouimet (MIT), Kristina Lundqvist, Mikael Nolin, 15th International Conference on Real-Time and Network Systems (RTNS '07), Nancy, France, April, 2007

A Global Algorithm for Model-Based Test Suite Generation, Anders Hessel, Paul Pettersson, Proceedings of Third Workshop on Model-Based Testing, Electronic Notes in Theoretical Computer Science 16697, March, 2007

Evaluating the Quality of Models Extracted from Embedded Real-Time Software, Joel Huselius, Johan Kraft (former), Hans Hansson, Sasikumar Punnekkat, Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, presented at the 5th Workshop and Session on Model-Based Development of Computer Based Systems, p 577-585, IEEE, Tucson, USA, March, 2007

Flexible Media Processing in Resource Constrained Real-Time Systems, Damir Isovic, Proceedings of the Eighth IEEE International Symposium on Multimedia (ISM 2006), IEEE Computer Society, San Diego, California, USA, December, 2006

Determining Maximum Stack Usage in Preemptive Shared Stack Systems, Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin, The 27th IEEE Real-Time Systems Symposium, Rio de Janeiro, Brazil, December, 2006

Real-Time Subsystem Integration in the Presence of Shared Resources, Moris Behnam, Insik Shin (former), Thomas Nolte, Mikael Nolin, Proceedings of the Work-In-Progress (WIP) session of the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil, December, 2006

Predicting Execution-Time for Variable Behaviour Embedded Real-Time Components, Johan Fredriksson (former), Thomas Nolte, Mikael Nolin, Heinz Schmidt (external), Workshop on Models and Analysis for Automotive Systems (WMAAS'06) in conjunction with the 27th IEEE Real-Time Systems Symposium (RTSS'06), Rio de Janeiro, Brazil, Editor(s):Marco Di Natale and Luis Almeida, December, 2006

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution, Jan Gustafsson, Andreas Ermedahl (former), Christer Sandberg (former), Björn Lisper, The 27th IEEE Real-Time Systems Symposium (RTSS 2006), Rio de Janeiro, Brazil, December, 2006

The Timed Abstract State Machine Language and the Hi-Five Framework, Martin Ouimet (MIT), Kristina Lundqvist, 27th IEEE International Real-Time Systems Symposium (RTSS '06) - Work in Progress Session, Rio De Janeiro, Brazil, December, 2006

Accurate predictions of real-time properties for components, Johan Fredriksson (former), International Research Training Groups Workshop, Schloss Dagstuhl, Wadern, Germany, November, 2006

Extracting Simulation Models from Complex Embedded Real-Time Systems, Johan Kraft (former), Joel Huselius, Christer Norström, Anders Wall (former), Proceedings of the 2006 International Conference on Software Engineering Advances, ICSEA'06, IEEE, Tahiti, French Polynesia, October, 2006

Component-based Development Process and Component Lifecycle, Ivica Crnkovic, Michel Chaudron (Technical University Eindhoven), Stig Larsson (former), International Conference on Software Engineering Advances, ICSEA'06, IEEE, Tahiti, French Polynesia, October, 2006

Integration of networked subsystems in a resource constrained environment, Thomas Nolte, Hans Hansson, Lucia Lo Bello (University of Catania, Italy), Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'06), p 905-912, IEEE Industrial Electronics Society, Prague, Czech Republic, September, 2006

Model Checking Timed Automata with Priorities using DBM Subtraction, Alexandre David (Aalborg University, Denmark), John Håkansson (Department of Information Technology, Uppsala University), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), p 128-142, Springer-Verlag, Editor(s):Eugene Asarin and Patricia Bouyer, September, 2006

Automatic Generation and Validation of Models of Legacy Software, Joel Huselius, Johan Kraft (former), Hans Hansson, Sasikumar Punnekkat, Proceedings of the 12:th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), p 342-349, Sydney, Australia, August, 2006

Inference of Event-Recording Automata using Timed Decision Trees, Olga Grinchtein (Department of Information Technology, Uppsala University), Bengt Jonsson (external), Paul Pettersson, Proceedings of the 17th International Conference on Concurrency Theory (CONCUR'06), p 435-449, Springer-Verlag, Editor(s):Christel Baier and Holger Hermanns, August, 2006

Facilitating subsystem integration by decoupling priority and identifier in CAN messages, Thomas Nolte, Lucia Lo Bello (University of Catania, Italy), Hans Hansson, Proceedings of the 5th International Workshop on Real-Time Networks (RTN'06) in conjunction with the 18th Euromicro International Conference on Real-Time Systems (ECRTS'06), Dresden, Germany, Editor(s):Jean-Dominique Decotignie, July, 2006

Increasing Accuracy of Property Predictions for Embedded Real-Time Components, Johan Fredriksson (former), 18th Euromicro Conference on Real-Time Systems (ECRTS 06), WiP, July, 2006

Application of Built-In-Testing in Component-Based Embedded Systems, Irena Pavlova (Faculty of Math. and Informatics, Sofia University), Mikael Åkerholm (former), Johan Fredriksson (former), The Role of Software Architecture for Testing and Analysis (ROSATEA'06), Portland, Maine, USA, July, 2006

Merging In-House Developed Software Systems – A Method for Exploring Alternatives, Rikard Land (former), Jan Carlson, Ivica Crnkovic, Stig Larsson (former), Quality of Software Architecture, University of Karlsruhe, Västerås, Sweden, June, 2006

Holistic approach in Education – Filling the Gap between Different Disci-plines, Ivica Crnkovic, Karmela Aleksić-Maslač (external), Hrvoje Jerković (external), 28th International Conference on Information Technology Interfaces, 2006., p 35-40, IEEE, Cavtat, Croatia, June, 2006

How to save on quality assurance challenges in software testing, Sigrid Eldh, Jornadas sobre Testeo de Software, p 103--121, ITI, Universidad Politecnica de Valencia, Valencia, Editor(s):Tanja E.J. Vos, May, 2006

Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller, Yves Boussemart (MIT), Martin Ouimet (MIT), Sebastien Gorelov (MIT), Kristina Lundqvist, 5th International Conference on Networking (ICN 2006) and International Conference on Systems (ICONS 2006) and International Conference on Mobile Communications and Learning, IEEE Computer Society Press, April, 2006

UPPAAL 4.0, Gerd Berhmann (Aalborg University, Denmark), Alexandre David (Aalborg University, Denmark), John Håkansson (Department of Information Technology, Uppsala University), Martijn Hendriks (Radboud University Nijmegen, The Netherlands), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), 3rd International Conference on Quantitative Evaluation of Systems (QEST'06), p 125-126, IEEE Computer Society, February, 2006

Model-based Testing of a WAP Gateway: an Industrial Case-Study, Anders Hessel, Paul Pettersson, International Workshop on Formal Methods for Industrial Critical Systems (FMICS'06), p 116-131, Springer-Verlag, February, 2006


 
MRTC reports

Automatic Synthesis and Integration of Gray-box Components for Critical Embedded Systems - Reuse vs. Optimizations, Etienne Borde (former), Jan Carlson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-252/2011-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2011

The Progress Process Guidelines (PPG), Rikard Land (former), Jan Carlson, Stig Larsson (former), Ivica Crnkovic, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-247/2010-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, September, 2010

Proceedings of the Work-in-Progress Session of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'10), Thomas Nolte, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-246/2010-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, August, 2010

Connecting ProCom and REMES, Aneta Vulgarakis, Séverine Sentilles, Jan Carlson, Cristina Seceleanu, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-244/2010-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May, 2010

Proceedings of the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS'10), Harini Ramaprasad (Southern Illinois University Carbondale), Radu Dobrin, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-248/2010-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, April, 2010

Classification and survey of component models, Juraj Feljan, Luka Lednicki, Josip Maras, Ana Petricic (former), Ivica Crnkovic, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-242/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, December, 2009

Best-Effort Simulation-Based Timing Analysis using Hill-Climbing with Random Restarts, Markus Bohlin, Yue Lu, Johan Kraft (former), Per Kreuger (external), Thomas Nolte, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-236/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, June, 2009

A Framework for Real-Time Systems Migration to Multi-Cores, Farhang Nemati, Johan Kraft (former), Thomas Nolte, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-235/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, May, 2009

ProCom: Formal Semantics, Jagadish Suryadevara, Aneta Vulgarakis, Jan Carlson, Cristina Seceleanu, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-234/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2009

An Industrial Survey on Software Process Practices, Preferences and Methods, Adnan Causevic, Iva Krasteva (Sofia University), Rikard Land (former), Abdulkadir Sajeev (former), Daniel Sundmark, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-233/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2009

REMES: A Resource Model for Embedded Systems, Paul Pettersson, Cristina Seceleanu, Aneta Vulgarakis, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-232/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, October, 2008

ProCom - the Progress Component Model Reference Manual, version 1.0, Tomas Bures (former), Jan Carlson, Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-230/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, June, 2008

A Systematic Comparison of Agile Principles and the Fundaments of Component-Based Software Development, Iva Krasteva (Sofia University), Per Branger (former), Rikard Land (former), MRTC report ISSN 1404-3041 ISRN MDH-MRTC-220/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, December, 2007

Software Component Evaluation: A Theoretical Study on Component Selection and Certification, Alexandre Alvaro (CESAR), Rikard Land (former), Ivica Crnkovic, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-217/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, November, 2007

Classifying and Consolidating Software Component Selection Methods, Rikard Land (former), Laurens Blankers (former), MRTC report ISSN 1404-3041 ISRN MDH-MRTC-218/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, November, 2007

FT-Feasibility in Fixed Priority Real-Time Scheduling, Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-210/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2007

The SaveCCM Language Reference Manual, Mikael Åkerholm (former), Jan Carlson, John Håkansson (Department of Information Technology, Uppsala University), Hans Hansson, Mikael Nolin, Thomas Nolte, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-207/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, January, 2007


 
Technical reports

Using Processor Speed-up to Control Preemption Related Costs, Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat, Technical Report, MRTC, January, 2013

An Evaluation Framework for Complex Industrial Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Technical Report, MRTC, February, 2012

Resource Sharing among Real-Time Components under Multiprocessor Clustered Scheduling, Farhang Nemati, Thomas Nolte, Technical Report, MRTC, May, 2011

Response-Time Analysis of Mixed-Type Controller Area Network (CAN) Messages, Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin, Technical Report, Mälardalen Real-Time Research Centre (MRTC), Mälardalen University, Sweden , May, 2011

Static Analysis on Executable Code - A Survey, Stefan Bygde, Technical Report, MRTC, April, 2011

Hierarchical Scheduling Framework Implementation in FreeRTOS, Rafia Inam, Jukka Mäki-Turja, Mikael Sjödin, S. M. H. Ashjaei (external), Sara Afshar (external), Technical Report, MRTC, April, 2011

Model of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling, Mikael Åsberg, Technical Report, Technical Report, Nr. 2379, January, 2011

Different Approaches used in Software Product Families, Rafia Inam, Technical Report, MRTC, April, 2010

Blocking-Aware Partitioning for Multiprocessors, Farhang Nemati, Thomas Nolte, Moris Behnam, Technical Report, MRTC, March, 2010

Database Proxies: A Data Management approach for Component-Based Real-Time Systems, Andreas Hjertström, Dag Nyström, Mikael Sjödin, Technical Report, MRTC, November, 2009

RTSSim - A Simulation Framework for Complex Embedded Systems, Johan Kraft (former), Technical Report, MRTC, March, 2009

Licentiate Proposal, INCENSE: Information-Centric Development of Component-Based Embedded Real-Time Systems., Andreas Hjertström, Technical Report, MRTC, May, 2008

Characterizing the problem of balancing agility and discipline, Jayakanth Srinivasan, Kristina Lundqvist, Technical Report, MRTC, April, 2008

On Optimal Hierarchical Resource Sharing in Open Environments, Insik Shin (former), Moris Behnam, Thomas Nolte, Mikael Nolin, Technical Report, MRTC, January, 2008

Verification of COMDES-II Systems Using UPPAAL with Model Transformation, Xu Ke (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Paul Pettersson, Krzysztof Sierszecki (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Christo Angelov (Mads Clausen Institute for Product Innovation, University of Southern Denmark), Technical Report, Mads Clausen Institute, November, 2007

Redundancy Management in a Low-Cost Distributed Hardware and Firmware Support for Software-Fault Tolerance, Julián Proenza (Universitat de les Illes Balears, Spain), José Miro-Julia (UIB), Hans Hansson, Technical Report, Departament de Matemàtiques i Informàtica, Universitat de les Illes Balears, October, 2007

Partial Order Reduction for Verification of Real-Time Components, John Håkansson (Department of Information Technology, Uppsala University), Paul Pettersson, Technical Report, Department of Information Technology, Uppsala University, Technical Report 2007-024, September, 2007

Worst-Case Execution Time Clustering for Software Components, Johan Fredriksson (former), Thomas Nolte, Andreas Ermedahl (former), Mikael Nolin, Technical Report, Department of Computer Science and Electronics, Mälardalen University, April, 2007

Contract-Based Reusable Worst-Case Execution Time Estimate, Johan Fredriksson (former), Thomas Nolte, Mikael Nolin, Heinz Schmidt (external), Technical Report, Mälardalen Real-Time Centre, April, 2007

Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis, Daniel Sundmark, Anders Pettersson, Christer Sandberg (former), Andreas Ermedahl (former), Henrik Thane, Technical Report, MRTC, April, 2007

Contract-Based Reusable Analysis for Software Components with Extra-Functional Properties, Johan Fredriksson (former), Thomas Nolte, Technical Report, MRTC, April, 2007

Model-based Testing of a WAP Gateway: an Industrial Case-Study, Anders Hessel, Paul Pettersson, Technical Report, Department of Information Technology, Uppsala University, September, 2006

Model-Checking with Insufficient Memory Resources, Birgitta Lindström (University of Skövde), Paul Pettersson, Technical Report, HS- IKI -TR-06-005, School of Humanities and Informatics, University of Skövde, February, 2006


 
In-the-press papers

Can you afford not to certify your control system?, Mikael Åkerholm (former), Rikard Land (former), Christian Strzyz (CC Systems), iVT International, http://www.ivtinternational.com/legislative_focus_nov.php, November, 2009
  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2013.02.25