Johan Lilius

Olmo León Cadahía

Sensors, 2014

A fuzzy ontology for semantic modelling and recognition of human behaviour.

[BibT_eX]

[DOI]

Manuel P. Cuéllar

Knowl. Based Syst., 2014

Power-aware HEVC decoding with tunable image quality.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Workshop on Signal Processing Systems, 2014

Modelling Resilience of Data Processing Capabilities of CPS.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Video transcoding time prediction for proactive load balancing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia and Expo, 2014

Can IT health-care applications improve the medication tray-filling process at hospital wards? An exploratory study using eye-tracking and stress response.

[BibT_eX]

[DOI]

Riitta Danielsson-Ojala

Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014

1Teaching many-core programming.

[BibT_eX]

[DOI]

Leonidas Tsiopoulos

Fareed Ahmed Johkio

Georgios Georgakarakos

Andreas Dahlin

Proceedings of the 10th European Workshop on Microelectronics Education (EWME), 2014

Energy efficiency and performance management of parallel dataflow applications.

[BibT_eX]

[DOI]

Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing, 2014

A run-time power manager exploiting software parallelism.

[BibT_eX]

[DOI]

Simon Holmbacka

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013

A survey on ontologies for human behavior recognition.

[BibT_eX]

[DOI]

Manuel P. Cuéllar

ACM Comput. Surv., 2013

Understanding Movement and Interaction: An Ontology for Kinect-Based 3D Depth Sensors.

[BibT_eX]

[DOI]

Robin Wikström

Proceedings of the Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction, 2013

Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

Task Migration for Dynamic Power and Performance Characteristics on Many-Core Distributed Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

QoS Manager for Energy Efficient Many-Core Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

An approach to improve semantics in Smart Spaces using reactive fuzzy rules.

[BibT_eX]

[DOI]

Manuel P. Cuéllar

Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

Parallel decoder for low density parity check codes: A MPSoC study.

[BibT_eX]

[DOI]

Sudeep Kanur

Georgios Georgakarakos

Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Static and quasi-static compositions of stream processing applications from dynamic dataflow programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2013

Rapid prototyping of semantic applications in smart spaces with a visual rule language.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013

Lightweight Framework for Runtime Updating of C-Based Software in Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Hot Topics in Software Upgrades, 2013

A Computation and Storage Trade-off Strategy for Cost-Efficient Video Transcoding in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Extending Semantic Web Tools for Improving Smart Spaces Interoperability and Usability.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2013

Modeling control tokens for composition of CAL actors.

[BibT_eX]

[DOI]

Proceedings of the 2013 Conference on Design and Architectures for Signal and Image Processing, 2013

Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013

2012

Bit Rate Reduction Video Transcoding with Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the 20th Euromicro International Conference on Parallel, 2012

Scheduling of dynamic dataflow programs based on state space analysis.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

2011

Preface.

[BibT_eX]

[DOI]

Wojciech Penczek

Fundam. Informaticae, 2011

Programming biomedical smart space applications with BioImageXD and PythonRules.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011

Scheduling of dynamic dataflow programs with model checking.

[BibT_eX]

[DOI]

Proceedings of the IEEE Workshop on Signal Processing Systems, 2011

Power proportional characteristics of an energy manager for web clusters.

[BibT_eX]

[DOI]

Simon Holmbacka

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

OWL Web Ontology Language as a Scripting Language for Smart Space Applications.

[BibT_eX]

[DOI]

Espen Suenson

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

A Framework for Context-Aware Applications for Smart Spaces.

[BibT_eX]

[DOI]

M. Mohsin Saleemi

Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011

Analysis of video segmentation for spatial resolution reduction video transcoding.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Intelligent Signal Processing and Communications Systems, 2011

Interfacing and scheduling legacy code within the Canals framework.

[BibT_eX]

[DOI]

Proceedings of the 2011 Conference on Design and Architectures for Signal and Image Processing, 2011

Cost and Energy Reduction Evaluation for ARM Based Web Servers.

[BibT_eX]

[DOI]

Olle Svanfeldt-Winter

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

A PID-Controlled Power Manager for Energy Efficient Web Clusters.

[BibT_eX]

[DOI]

Simon Holmbacka

Proceedings of the IEEE Ninth International Conference on Dependable, 2011

2010

Rialto 2.0: A Language for Heterogeneous Computations.

[BibT_eX]

[DOI]

Andreas Dahlin

Lionel Morel

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Using UML Models and Formal Verification in Model-Based Testing.

[BibT_eX]

[DOI]

Qaisar A. Malik

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Model-Based Testing Using System vs. Test Models - What Is the Difference?.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

Model-Based Testing Using Scenarios and Event-B Refinements.

[BibT_eX]

[DOI]

Qaisar A. Malik

Linas Laibinis

Proceedings of the Methods, 2009

MDE for SoC design.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2009

The canals language and its compiler.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, 2009

Design Complexity Management in Embedded System Design.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Analysis of memory access optimization for motion compensation frames in MPEG-4.

[BibT_eX]

[DOI]

Haitham Habli

Johan Ersfolk

Proceedings of the 2008 IEEE International Symposium on System-on-Chip, 2009

Memory Analysis of Low Power MPEG-4 Decoder Architecture.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software and Systems, 2009

2008

Content scheduling in multimedia interactive mobile games.

[BibT_eX]

[DOI]

Proceedings of the 2008 Conference on Future Play: Research, Play, Share, 2008

A Model-Based Design Process for the SegBus Distributed Architecture.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

Testable Specifications of NoTA-based Modular Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

Interrupt Costs in Embedded System with Short Latency Hardware Accelerators.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

System architecture and interactivity model for mobile TV applications.

[BibT_eX]

[DOI]

M. Mohsin Saleemi

Jerker Björkqvist

Proceedings of the Third International Conference on Digital Interactive Media in Entertainment and Arts, 2008

2007

Energy consumption analysis for two embedded Java virtual machines.

[BibT_eX]

[DOI]

J. Syst. Archit., 2007

Function Inlining in Embedded Systems with Code Size Limitation.

[BibT_eX]

[DOI]

Xinrong Zhou

Lu Yan

Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

SystemC-based Simulation of the MICAS Architecture.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2007

Towards a Design Methodology for Multiprocessor Platforms.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Integration of DFDs into a UML-based Model-driven Engineering Approach.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2006

Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Static Energy Saving Through Multi-Bank Memory Architecture.

[BibT_eX]

[DOI]

Proceedings of 2006 International Conference on Embedded Computer Systems: Architectures, 2006

Formal Service-Oriented Development of Fault Tolerant Communicating Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Design Method Support for Domain Specific SoC design.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

Synthesis of Scenario Based Test Cases from B Models.

[BibT_eX]

[DOI]

Manoranjan Satpathy

Qaisar A. Malik

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

An Energy Consumption Model for an Embedded Java Virtual Machine.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems, 2006

2005

Guest Editors' Foreword.

[BibT_eX]

Ricardo Jorge Machado

Nord. J. Comput., 2005

An Architecture Exploration Environment for System on Chip Design.

[BibT_eX]

Nord. J. Comput., 2005

A system-level framework for designing and evaluating protocol processor architectures.

[BibT_eX]

[DOI]

Int. J. Embed. Syst., 2005

Function Inlining with Code Size Limitation in Embedded Systems.

[BibT_eX]

[DOI]

Xinrong Zhou

Lu Yan

Int. Arab J. Inf. Technol., 2005

Formal Model-Driven Development of Communicating Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

Highly Automated FPGA Synthesis of Application-Specific Protocol Processors.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), 2005

Using feature models to automate model transformations.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

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

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Software Development, 2005

2004

Guest Editors' Foreword: Programming and Software Development Environment Research in the Nordic Countries.

[BibT_eX]

Kasper Østerbye

Nord. J. Comput., 2004

A MOF-Based Metamodel for SA/RT.

[BibT_eX]

[DOI]

Joakim Isaksson

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

An Opcode Level Energy Consumption Model for a Java Virtual Machine.

[BibT_eX]

[DOI]

Proceedings of the 3rd Virtual Machine Research and Technology Symposium, 2004

Tool Support for DFD-UML Model-based Transformations.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Functional and Object-Oriented Views in Embedded Software Modeling.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003

A Workbench to Experiment on New Model Engineering Applications.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2003, 2003

A Unified Approach to Code Generation from Behavioral Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2003

Fast Evaluation of Protocol Processor Architectures for IPv6 Routing.

[BibT_eX]

[DOI]

Seppo Virtanen

Proceedings of the 2003 Design, 2003

Rialto Profile in the SMW Toolkit.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Towards a Kernel Language for Heterogeneous Computing.

[BibT_eX]

[DOI]

Proceedings of the 2002 Design, 2002

A language for multiple models of computation.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001

Efficient verification of a class of time Petri nets using linear programming.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

Towards Efficient Code Synthesis from Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

OB(PN)2: An Object Based Petri Net Programming Notation.

[BibT_eX]

[DOI]

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

The TACO protocol processor simulation environment.

[BibT_eX]

[DOI]

Seppo Virtanen

Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

2000

A causal semantics for time Petri nets.

[BibT_eX]

[DOI]

Tuomas Aura

Theor. Comput. Sci., 2000

The Production Cell: An Exercise in the Formal Verification of a UML Model.

[BibT_eX]

[DOI]

Ivan Paltor

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

Defining Precise Semantics for UML.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, 2000

Checking compositions of UML sequence diagrams for timing inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

Formalising UML State Machines for Model Checking.

[BibT_eX]

[DOI]

Ivan Paltor

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Timing Analysis of UML Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Checking time Petri nets for linear duration properties.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

vUML: A Tool for Verifying UML Models.

[BibT_eX]

[DOI]

Ivan Paltor

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998

Efficient State Space Search for Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

Partial Order Reductions for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

prod 3.2: An Advanced Tool for Efficient Reachability Analysis.

[BibT_eX]

[DOI]

Kimmo Varpaaniemi

Keijo Heljanko

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

Time Processes for Time Petri-Nets.

[BibT_eX]

[DOI]

Tuomas Aura

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

OB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1992

High-Level Nets and Linear Logic.

[BibT_eX]

[DOI]