Publications (308)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page2/13 Next page Last page
A Å B C D E F G H I J K L M N O P Q R S T U V W All 
D4 Published development or research report or study
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
D4 Published development or research report or study
Timing Analysis of Message Sequence Charts (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
D4 Published development or research report or study
An expenditure-based estimation of self-employment income underreporting in Finland (2000)
Edvard Johansson
D4 Published development or research report or study
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuandong Li, Johan Lilius
TUCS Publication Series
D4 Published development or research report or study
Components vs. Objects (2000)
Petre L
D4 Published development or research report or study
Mobile Components as Topological Action Systems (2000)
Petre L, Waldén M
D4 Published development or research report or study
A Methodology for Co-design Based on a Healthcare Case Study (2001)
Petre L, Rönkkö M, Troubitsyna E, Waldén M, Jansson M
D4 Published development or research report or study
A Methodology for integration of formal methods in a healthcare case study (2001)
Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson
D4 Published development or research report or study
Employer of Last Resort?: Who Makes the Transition from Unemployment to Self-Employment? (2001)
Edvard Johansson
D4 Published development or research report or study
Developing Control Systems: A Method and a Case Study (2002)
Petre L
D4 Published development or research report or study
Globalization and the human rights of women (2002)
Katarina Frostell
D4 Published development or research report or study
Who Is Responsible for Corporate Human Rights Violations? (2002)
Viljam Engström
D4 Published development or research report or study
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Published development or research report or study
A MOF-Based Metamodel for SA/RT (2003)
Joakim Isaksson, Dragos Truscan, Johan Lilius
D4 Published development or research report or study
An Implementation of Escape Analysis for Java (2003)
Jonas Munsin, Johan Lilius
D4 Published development or research report or study
A note on the impact of hours worked on mortality in the OECD (2003)
Edvard Johansson
D4 Published development or research report or study
Elevvården på andra stadiet: en utredning av elevvården och tryggheten i studiemiljön (2003)
Carola Bryggman, Susanne Sperring
D4 Published development or research report or study
Memory Usage Estimation of Java Programs (2003)
Henrik Enqvist, Johan Lilius
D4 Published development or research report or study
Realizing a Model Driven Engineering Process (2003)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
D4 Published development or research report or study
Region Based Allocation in Java (2003)
Henrik Enqvist, Johan Lilius
D4 Published development or research report or study
Rethinking Software Updating; Concepts for Improved Updatability (2003)
Dan Österberg, Johan Lilius
D4 Published development or research report or study
TACO IPv6 Router - a Case Study in Protocol Processor Design (2003)
Seppo Virtanen, Dragos Truscan, Johan Lilius
10 | 25 | 50 | 100 
First page Previous page2/13 Next page Last page
Share link Export