Ivan Porres Paltor

E-post: ivan.porres@abo.fi
Mobiltelefon: +358-504096303
Telefon: +358-2-2153463


Referentgranskade publikationer

A4 Konferenspublikationer
Exhaustive Simulation and Test Generation Using fUML Activity Diagrams (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan
Springer, Cham
Visa på utgivarens sida
A4 Konferenspublikationer
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models (2019)
Iqbal Junaid, Ashraf Adnan, Truscan Dragos, Porres Ivan.
IEEE
Visa på utgivarens sida
A2 Granskningsartikel, litteraturgranskning, systematisk granskning
Model-based testing using UML activity diagrams: A systematic mapping study (2019)
Ahmad Tanwir, Iqbal Junaid, Ashraf Adnan,Truscan Dragos, Porres Ivan
Computer Science Review
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Reasoning about UML/OCL class diagrams using constraint logic programming and formula: (2019)
Beatriz Pérez, Ivan Porres
Information Systems
Visa på utgivarens sida
A4 Konferenspublikationer
A Systematic Mapping Study on API Documentation Generation Approaches (2018)
Kristian Nybom, Adnan Ashraf, Ivan Porres
IEEE
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Distributed virtual machine consolidation: A systematic mapping study (2018)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
Computer Science Review
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Fast algorithms for fragmentable items bin packing (2018)
Benjamin Byholm, Ivan Porres
Journal of Heuristics
IEEE Transactions on Services Computing
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Identifying Worst-Case User Scenarios for Performance Testing of Web Applications Using Markov-Chain Workload Models (2018)
Tanwir Ahmad, Dragos Truscan, Ivan Porres
Future Generation Computer Systems
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Multi-Objective Dynamic Virtual Machine Consolidation in the Cloud Using Ant Colony System (2018)
Adnan Ashraf, Ivan Porres
International Journal of Parallel, Emergent and Distributed Systems
Journal of Visual Languages and Computing
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Nasal high‐flow therapy decreased electrical activity of the diaphragm in preterm infants during the weaning phase (2018)
Arata Oda, Vilhelmiina Parikka, Liisa Lehtonen, Ivan Porres, Hanna Soukka
Acta Paediatrica
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors (2018)
Jurka Rahikkala, Sami Hyrynsalmi, Ville Leppänen, Ivan Porres
e-Informatica Software Engineering Journal
Visa på utgivarens sida
A4 Konferenspublikationer
Optimized Deployment Plans for Platform As a Service Clouds (2017)
Benjamin Byholm, Ivan Porres
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction (2017)
Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres
ACM
Workshop proceedings in PDF (not online)
Visa på utgivarens sida
A4 Konferenspublikationer
On Optimization of Test Parallelization with Constraints (2016)
Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres
CEUR Workshop Proceedings
CEUR-WS.org
A4 Konferenspublikationer
On the Impact of Mixing Responsibilities Between Devs and Ops (2016)
Kristian Nybom, Jens Smeds, Ivan Porres
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Perceived Obstacles by Novice Developers Adopting User Interface APIs and Tools (2016)
Irum Rauf, Pekka Perälä, Jouni Huotari, Ivan Porres
IEEE
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Prediction-Based VM Provisioning and Admission Control for Multi-Tier Web Applications (2016)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
Journal of Cloud Computing
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Quantitatively Measuring a Large-Scale Agile Transformation (2016)
Mart Olszewska (née Pląska), Jeannette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
Journal of Systems and Software
Visa på utgivarens sida
A4 Konferenspublikationer
A Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud (2015)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud (2015)
Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
IEEE Computer Society Conference Publishing Services (CPS)
Visa på utgivarens sida
A4 Konferenspublikationer
DevOps: A Definition and Perceived Adoption Impediments (2015)
Jens Smeds, Kristian Nybom, Ivan Porres
Springer
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Scenario-based Design and Validation of REST Web Service Compositions (2015)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Using Ant Colony System to Consolidate VMs for Green Cloud Computing (2015)
Fahimeh Farahnakian, Adnan Ashraf, Tapio Pahikkala, Pasi Liljeberg, Juha Plosila, Ivan Porres, Hannu Tenhunen
Visa på utgivarens sida
A4 Konferenspublikationer
An Integrated Approach for Designing and Validating REST Web Service Compositions (2014)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
SCITEPRESS Science And Technology Publications
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Consistency of UML Class, Object and Statechart Diagrams Using Ontology Reasoners (2014)
Ali Hanzala Khan, Ivan Porres
Visa på utgivarens sida
A4 Konferenspublikationer
Cost-Efficient, Reliable, Utility-Based Session Management in the Cloud (2014)
Benjamin Byholm, Iván Porres
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Energy-Aware Dynamic VM Consolidation in Cloud Data Centers Using Ant Colony System (2014)
Farahnakian F, Ashraf A, Liljeberg P, Pahikkala T, Plosila J, Porres I, Tenhunen H
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (2014)
Laibinis L, Byholm B, Pereverzeva I, Troubitsyna E, Tan KE, Porres I
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Smart Dosing: A Mobile Application for Tracking the Medication Tray-Filling and Dispensation Processes in Hospital Wards (2014)
Khan NA, Díaz Rodríguez N, Danielsson-Ojala R, Pirinen H, Kauhanen L, Salanterä S, Majors J, Björklund S, Rautanen K, Salakoski T, Tuominen I, Porres I, Lilius J
A4 Konferenspublikationer
Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment (2014)
Adnan Ashraf, Ivan Porres

IEEE computer society press
A4 Konferenspublikationer
A Metrics Model to Measure the Impact of an Agile Transformation in Large Software Development Organizations (2013)
Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Authoring IEC 61508 Based Software Development Process Models (2013)
Ivan Porres, Jeanette Heidenberg, Max Weijola, Kristian Nordman, Dragos Truscan
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Consistency of UML Class and Statechart Diagrams with State Invariants (2013)
Ali Hanzala Khan, Irum Rauf, Ivan Porres
SCITEPRESS Digital Library
Visa på utgivarens sida
C2 Redigerat verk
Developing Cloud Software: Algorithms, Applications, and Tools (2013)
Ivan Porres, Tommi Mikkonen, Adnan Ashraf
TUCS general publications
A3 Bokavsnitt, kapitel i forskningsböcker
Introduction to Cloud Computing Technologies (2013)
Adnan Ashraf, Mikko Hartikainen, Usman Hassan, Keijo Heljanko, Johan Lilius, Tommi Mikkonen, Ivan Porres, Mahbubul Syeed, Sasu Tarkoma
TUCS general publications
A4 Konferenspublikationer
Model-Based Performance Testing in the Cloud Using the MBPeT Tool (2013)
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
Model-Based Performance Testing of Web Services Using Probabilistic Timed Automata (2013)
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
SCITEPRESS Digital Library
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Performance Testing in the Cloud using MBPeT (2013)
Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres
TUCS general publications
A4 Konferenspublikationer
Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
Parallel, Distributed and Network-Based Processing
IEEE
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Prediction-Based Virtual Machine Provisioning and Admission Control for Multi-Tier Web Applications (2013)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
TUCS general publications
A3 Bokavsnitt, kapitel i forskningsböcker
Proactive Virtual Machine Allocation for Video Transcoding in the Cloud (2013)
Fareed Jokhio, Adnan Ashraf, Tewodros Deneke, Sebastien Lafond, Ivan Porres, Johan Lilius
TUCS general publications
A4 Konferenspublikationer
Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing (2013)
Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sébastien Lafond, Ivan Porres, Johan Lilius
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Union and Difference of Models, 10 Years Later (2013)
Ivan Porres
CEUR Workshop Proceedings
CEUR-WS.org
A4 Konferenspublikationer
A Session-Based Adaptive Admission Control Approach for Virtualized Application Servers (2012)
Ashraf A, Byholm B, Porres I
IEEE Computer Society
A4 Konferenspublikationer
MBPeT – A Model-Based Performance Testing Tool (2012)
Abbors F, Ahmad T, Truscan D, Porres I
A3 Bokavsnitt, kapitel i forskningsböcker
Ontology Driven Smart Space Application Development (2012)
Saleemi MM, Díaz Rodríguez N, Suenson E, Lilius J, Porres I
River publishers
A4 Konferenspublikationer
A Framework for Context-Aware Applications for Smart Spaces (2011)
M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Iván Porres
Springer
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Beyond CRUD (2011)
Irum Rauf, Ivan Porres
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Designing IDE as a Service (2011)
Timo Aho, Adnan Ashraf, Marc Englund, Joni Katajamäki, Johannes Koskinen, Janne Lautamäki, Antti Nieminen, Ivan Porres, Ilkka Turunen
Communications of the Cloud Software
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Designing Level 3 Behavioral RESTful Web Service Interfaces (2011)
Irum Rauf, Ivan Porres
Applied Computing Review
Visa på utgivarens sida
A4 Konferenspublikationer
Framework for Smart Space Application Development (2011)
André Kaustell, M. Mohsin Saleemi, Thomas Rosqvist, Juuso Jokiniemi, Johan Lilius, Ivan Porres
SCITEPRESS Digital Library
A4 Konferenspublikationer
Modeling Behavioral RESTful Web Service Interfaces in UML (2011)
Ivan Porres, Irum Rauf
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
OWL Web Ontology Language as a Scripting Language for Smart Space Applications. (2011)
Suenson E, Lilius J, Porres I
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Programming Biomedical Smart Space Applications with BioImageXD and PythonRules (2011)
Natalia Díaz Rodríguez, Pasi Kankaanpää, M Mohsin Saleemi, Johan Lilius, Ivan Porres
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
Towards Behaviorally Enriched Semantic RESTful Interfaces using OWL2 (2011)
Irum Rauf, Ivan Porres
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Authoring and verification of clinical guidelines: A model driven approach (2010)
Perez B, Porres I
Journal of Biomedical Informatics
Visa på utgivarens sida
A4 Konferenspublikationer
From Nondeterministic UML Protocol Statemachines to Class Contracts (2010)
Ivan Porres, Irum Rauf
IEEE computer society press
Visa på utgivarens sida
A4 Konferenspublikationer
Modeling a Composite RESTful Web Service with UML (2010)
Irum Rauf, Anna Ruokonen, Tarja Systa, Ivan Porres
ACM
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
MDE for Soc Design (2009)
Dragoş Truşcan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Ivan Lilius
Innovations in Systems and Software Engineering
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Metamodeling Language Supporting Subset and Union Properties (2008)
Alanen M, Porres I
Software and Systems Modeling
Visa på utgivarens sida
A4 Konferenspublikationer
A Testing Framework for NOTA-Based Devices (2008)
Karlå M, Truscan D, Lilius J, Porres I, Eriksson T, Hurskainen M
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Statechart Features and Pre-Release Maintenance Defects (2008)
Heidenberg J, Nåls A, Porres I
Journal of Visual Languages and Computing
A3 Bokavsnitt, kapitel i forskningsböcker
SystemC-based Simulation of the MICAS Architecture (2008)
Truscan D, Sandström K, Lilius J, Porres I
A4 Konferenspublikationer
Testable Specifications of NoTA-Based Modular Embedded Systems (2008)
Truscan D, Lindqvist J, Lilius J, Porres I, Eriksson T, Rakkola J, Latva-Aho A
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Creating and reconciling diagrams after executing model transformations (2007)
Marcus Alanen, Torbjörn Lundkvist, Ivan Porres I
Science of Computer Programming
Visa på utgivarens sida
A4 Konferenspublikationer
SystemC-based Simulation of the MICAS Architecture (2007)
Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan
A4 Konferenspublikationer
Design Method Support for Domain Specific SoC Design (2006)
Alanen M, Lilius J, Porres I, Truscan D, Oliver I, Sandström K
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
An Architecture Exploration Environment for System on Chip Design (2005)
Lilius J, Lillqvist T, Lundkvist T, Oliver I, Porres I, Sandström K, Sveholm G, Zaka AP
Nordic Journal of Computing
A3 Bokavsnitt, kapitel i forskningsböcker
Code Generation for Embedded Systems (2005)
Björklund D, Lilius J, Porres I
Hermes Science Publications
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Comparison of Modeling Frameworks for Software Engineering (2005)
Alanen M, Lundkvist T, Porres I
Nordic Journal of Computing
A3 Bokavsnitt, kapitel i forskningsböcker
On Modeling Techniques for Supporting Model Driven Development of Protocol Processing Applications (2005)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Rule-Based Update Transformations and Their Application to Model Refactorings (2005)
Ivan Porres
Software and Systems Modeling
Visa på utgivarens sida
A4 Konferenspublikationer
Software Development and Experimentation in an Academic Environment: The Gaudi Experience (2005)
Back R, Milovanov L, Porres I
A4 Konferenspublikationer
The MICAS Tool (2005)
Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glenn Sveholm, Asim Pervez Zaka
Tampere University Press
A3 Bokavsnitt, kapitel i forskningsböcker
A Unified Approach to Code Generation from Behavioral Diagrams (2004)
Björklund D, Lilius J, Porres I
Kluwer Academic publishers
A4 Konferenspublikationer
MDE Support in a Protocol Processing Design Method (2004)
Alanen M, Lilius J, Porres I, Truscan D
A4 Konferenspublikationer
Model Driven Engineering: A Position Paper (2004)
Alanen M, Lilius J, Porres I, Truscan D
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Toolkit for Model Manipulation (2003)
Porres I
Software and Systems Modeling
Visa på utgivarens sida
A4 Konferenspublikationer
A Workbench to Experiment on New Model Engineering Applications (2003)
Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan
Porres

Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Generic Deep Copy Algorithm for MOF-Based Models (2003)
Porres I, Alanen M
A4 Konferenspublikationer
Rialto Profile in the SMW Toolkit (2003)
Dag Björklund, Johan Lilius, Ivan Porres I
IEEE Computer Society
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Continuous Action Systems as a Model for Hybrid Systems (2001)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Nordic Journal of Computing
A4 Konferenspublikationer
Towards Efficient Code Synthesis from Statecharts (2001)
Dag Björklund, Johan Lilius, Ivan Porres
A4 Konferenspublikationer
Generalizing Action Systems to Hybrid Systems (2000)
Back R, Petre L, Porres I
A4 Konferenspublikationer
The Production Cell: An Exercise in the Formal Verification of a UML Model (2000)
Lilius J, Porres Paltor I
IEEE Computer Society
A4 Konferenspublikationer
Analysing UML Use Cases as Contracts (1999)
Back R, Petre L, Porres I
A4 Konferenspublikationer
Formalising UML State Machines for Model Checking (1999)
Johan Lilius, Iván Porres Paltor
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
General Hybrid Action Systems (1999)
Back R, Petre L, Porres Paltor I
A4 Konferenspublikationer
vUML: A Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
IEEE Computer Society
Visa på utgivarens sida
A4 Konferenspublikationer
Developing a Customisable Programming Environment for Message Passing based Systems (1995)
Mats Aspnäs, Thomas Långbacka, Ivan Porres Paltor
IOS Press


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Systematic Mapping Study on Tools for API Documentation Generation (2017)
Kristian Nybom, Adnan Ashraf, Ivan Porres
Visa på utgivarens sida
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Dynamic Horizontal and Vertical Scaling of Multiple Cloud Services in Soft Real-Time (2017)
Benjamin Byholm, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Fast Algorithms for Fragmentable Items Bin Packing (2017)
Benjamin Byholm, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Distributed Virtual Machine Consolidation: A Systematic Mapping Study (2016)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Systematic Review of API Usability Evaluation Methods (2015)
Irum Rauf, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards a Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud (2015)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud (2014)
Benjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Did It Actually Go This Well? A Large-Scale Case Study on an Agile Transformation (2014)
Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Integrated Approach to Design and Validate REST Web Service Compositions (2013)
Irum Rauf, Faezeh Siavashi, Dragos Truscan, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Cost-Efficient Dynamically Scalable Video Transcoding in Cloud Computing (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Model-Based Performance Testing Using the MBPeT Tool (2013)
Tanwir Ahmad, Fredrik Abbors, Dragos Truscan, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Tool for Efficient Combination and Evaluation of Reusable Design Assets (2010)
Johan Ersfolk, Johan Lilius, Torbjörn Lundkvist, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
NoTA (Sub)System Specification Guidelines (2008)
Karlå M, Lilius J, Lindqvist J, Porres I, Truscan D, Eriksson T, Latva-Aho A, Rakkola J
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Testable specifications of NoTA-based modular embedded systems (2007)
Johan Lilius, Johan Lindqvist, Ivan Porres, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Realizing a Model Driven Engineering Process (2003)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation (1999)
Ivan Porres Paltor, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Production Cell: An Exercise in the Formal Verification of a UML Model (1999)
Johan Lilius, Ivan Porres Paltor
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
D4 Publicerad utvecklings- eller forskningsrapport eller studie
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor

Senast uppdaterad 2018-19-09 vid 19:45