Appendix 1

ASTEC publications 1995-2007

Statistical data 1995-2007

Table 1. ASTEC publications per type for each year.

ASTEC publications 1995-2007

Abdulla, P. A., Ben Henda, N., Deneux, J., Jonsson, B. and Reidmar, T. 2004.

"Detecting Dataflow Dependencies in Billing Processing Systems."

In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA '04) Paphos, Cyprus , October .

Abdulla, P. A., Bjesse, P. and Eén, N. 2000.

Symbolic Reachability Analysis Based on SAT-Solvers

In Proc. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) . ps

Abdulla, P. A., Bouajjani, A., Jonsson, B. and Nilsson, M. 1999.

Binary Communication in Parameterized System Verification

Nordic Workshop on Programming Theory, Uppsala, October 7, Technical report 1999-008, Department of Information Technology. vol: 8 . ps

Abdulla, P. A., Bouajjani, A., Jonsson, B. and Nilsson, M. 1999.

Handling Global Conditions in Parameterized System Verification

In Proc. 11th Int. Conf. on Computer Aided Verification vol: LNCS1633 pages: 134-145 . ps

Abdulla, P. A., Deneux, J. and Akerlund, O. 2004.

Designing Safe, Reliable Systems using Scade

In Proc. ISoLA '04: 1st International Symposium on Leveraging Applications of Formal Methods . ps

Abdulla, P. A., Iyer, P. and Nylén, A. 2000.

SAT-solving the coverability problem for unbounded Petri net

Technical report, Department of Information Technology, Uppsala University . ps

Abdulla, P. A., Iyer, P. and Nylén, A. 2000.

Unfoldings of unbounded petri nets

In Proc. 12 Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science vol: 1855 pages: 495-507 . ps

Altenbernd, P. 1997.

Cross-Compiling Software Circuits to CHaRy

ASTEC Report (replaced by Altenbernd, P. and Hansson, H. 1998) vol: 97/11 . ps

Altenbernd, P. and Hansson, H. 1998.

The Slack Method: A new method for static allocation of hard real-time tasks

Real-Time Journal, Kluwer, ASTEC Report 97/12 vol: 15(2) . ps

Amnell, T. 2003.

Code Synthesis for Timed Automata

Licentiate thesis, Information Technology, Uppsala University, Sept 1 . , pdf

Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K., Möller, O., Pettersson, P., Weise, C. and Yi, W. 2000.

UPPAAL - Now, Next, and Future,

In Proceedings of Modelling and Verification of Parallel Processes (MOVEP'2k), Nantes, France, June 19 to 23, 2000. LNCS Tutorial , F. Cassez, C. Jard, B. Rozoy, and M. Ryan (Eds.) vol: 2067 pages: 100-125 . ps , pdf , abstract , webpage

Amnell, T., David, A. and Yi, W. 2000.

A Real Time Animator for Hybrid Systems

In Proc. 6th ACM SIGPLAN LCTES'2000. To appear in LNCS. vol: accepted . ps

Amnell, T., David, A., Fersman, E., Möller, O., Pettersson, P. and Yi, W. 2001.

Tools for Real-Time UML: Formal Verification and Code Synthesis

In Proceedings of the Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES'2001), 18-22 June . ps , pdf , abstract

Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P. and Yi, W. 2003.

TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems

In Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS) . ps , pdf , abstract

Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P. and Yi, W. 2002.

TIMES: A Tool for Modelling and Implementation of Embedded Systems

Proceedings of 8th International Conference, TACAS 2002, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Katoen J.-P., Stevens P. (ed.) . - Springer-Verlag, (Lecture Notes in Computer Science) vol: 2280 pages: 460-464 . ps , pdf , abstract

Amnell, T., Fersman, E., Pettersson, P., Sun, H. and Yi, W. 2002.

Code Synthesis for Timed Automata

Nordic Journal of Computing vol: 9 (4) pages: 269-300 . ps , pdf , abstract , webpage

Andersson, E. 2005.

Profile-based adaptive JIT compilation in the context of the HIPE compiler

Uppsala Master's Theses in Computing Science, Examensarbete IT4, 2005-05-18. vol: 296 . , pdf

Andersson, J. 2005.

"Modeling the Temporal Behavior of Complex Embedded Systems - A Reverse Engineering Approach"

Licentiate Thesis, Mälardalen University Press, June . , pdf , abstract

Andersson, J., Krcal, P., Mokrushin, L., Christer Norström, C., Wall, A. and Yi, W. 2004.

Modeling and Simulating an Industrial Robot

Technical Reports from the Department of Information Technology, Uppsala University vol: 41 pages: 58-60 . , pdf

Andersson, J., Wall, A. and Norström, C. 2006.

A Framework for Analysis of Timing and Resource Utilization targeting Complex Embedded Systems

ARTES - A network for Real-Time research and graduate Education in Sweden 1997 – 2006, Uppsala University, Editor(s): Hans Hansson pages: 297-329 . , abstract

Andersson, J., Wall, A. and Norström, C. 2004.

A Framework for Analysis of Timing and Resource Utilization Targeting Industrial Real-Time Systems

Technical Report, MRTC . ps , pdf , abstract

Andersson, J., Wall, A. and Norström, C. 2004.

Validating Temporal Behavior Models of Complex Real-Time Systems

in Proceedings of the Fourth Conference on Software Engineering Research and Practice in Sweden (SERPS'04), Linköping, Sweden , September. . , pdf , abstract

Andersson, J., Wall, A. and Norström, C. 2004.

Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings

In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA '04) Paphos, Cyprus , October . , pdf , abstract

Andersson, M. 2000.

Using SAT Solvers to Verify SMV programmes

M.Sc. thesis, Uppsala University .

ARENA 1996.

Applying and Evaluating the ARENA Methodology for Requirements Engineering

ASTEC Report vol: 96/03 . ps

Arts, T. and Benac Earle, C. 2001.

Development of a Verified Erlang Program for Resource Locking

In proceedings of Formal Methods in Industrial Critical Systems, Paris, France, July . ps

Arts, T. and Dam, M. 1999.

Verifying a Distributed Database Lookup Manager written in Erlang

ASTEC Report 99/01, In Proc. World Congress on Formal Methods (FM) vol: LNCS 1708 pages: 682-700 . ps , pdf

Arts, T. and Noll, T. 2000.

Verifying Generic Erlang Client-Server Implementations

"Proceedings of the 12th International Workshop on the Implementation of Functional Languages, Lecture Notes in Computer Science, Springer Verlag, Berlin" vol: LNCS . ps

Arts, T., Dam, M., Fredlund, L. and Gurov, D. 1998.

System Description: Verification of Distributed Erlang Programs

In Proc. 15th International Conference on Automated Deduction (CADE'98) vol: LNCS 1421 pages: 38-41 . ps

Auchter, D. 1997.

Tool Support for Requirements Engineering: Applying the ARENA Methodology

M.Sc. thesis, Uppsala University, ASTEC Report 97/05 vol: . ps

Auchter, D. 1997.

From Requirements Engineering to Design: Combining the ARENA and SOMT Method

ASTEC Report vol: 97/13 . ps

Auchter, D., Blom, J., Bol, R., Fredlund, L.-Å. and Grelsson, T. 1997.

Requirements Engineering in a Telecommunication Environment

ASTEC Report, Replaces report 96/02 vol: 97/10 . ps

Behrmann, G., Bengtsson, J., David, A., Gulstrand Larsen, K., Petterson, P., Yi, W., 2002.

UPPAAL Implementation Secrets

LNCS proceedings . - Springer Verlag, vol: 2469 pages: 3-22 .

Behrmann, G., Bengtsson, J., David, A., Gulstrand Larsen, K., Petterson, P., Yi, W., 2002.

UPPAAL Implementation Secrets

International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems . ps , pdf , abstract

Behrmann, G., David, A., Guldstrand Larsen, K., Yi, W., 2002.

New UPPAAL Architecture

Workshop on Real-Time Tools proceedings . , webpage

Behrmann, G., David, A., Larsen, K., Möller, O., Pettersson, P. and Yi, W. 2001.

UPPAAL - Present and Future

In Proceedings of the 40th IEEE Conference on Decision and Control (CDC'2001). Orlando, Florida, USA, December 4 to 7, 2001. . ps , pdf , abstract , webpage

Benac Earle, C. 2000.

Symbolic Program Execution using the Erlang Verification Tool

International workshop on functional and logic programming, Benicassim, Spain . ps

Benac Earle, C. 2000.

Symbolic Program Execution using the Erlang Verification Tool

M.Sc. thesis, Uppsala University . ps

Bengtsson, J., Griffioen, D., Kristoffersen, K., Larsen, K., Larsson, F., Pettersson, P., Yi, W. 2002.

Automated Analysis of an Audio Control Protocol Using UPPAAL

Journal of Logic and Algebraic Programming vol: 52-53 pages: 163-181 .

Bermudo, N. and Vera, X. 2001.

Coyote Project: Documentation

Mälardalen Real-Time Research Center, Technical Report, October vol: 39 .

Blom, J. and Jonsson, B. 2003.

Automated Test Generation for Industrial Erlang Applications

in Proc. 2nd ACM SIGPLAN Erlang Workshop, Uppsala, Aug. .

Blom, J., Hessel, A., Jonsson, B. and Pettersson, P. 2004.

Specifying and Generating Test Cases Using Observer Automata

In proceedings of the 4th International Workshop on Formal Approaches to Testing of Software (FATES'04), LNCS vol: 3395 pages: 125-139 . , pdf

Bouajjani, A., Jonsson, B., Nilsson, M. and Touili, T. 2000.

Regular Model Checking

In Proc. 12th Int. Conf. on Computer Aided Verification, LNCS . ps

Boustedt, J. 2002.

Automated Analysis of Dynamic Web Services

Technical reports from the Department of Information Technology vol: 10 pages: 56 . ps , pdf , abstract

Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M. and Pretschner, A. editors. 2005.

Model-Based Testing of Reactive Systems

Lecture Notes in Computer Science, Springer Verlag vol: 3472 .

Burlin, J. 2000.

Optimizing Stack Layout For Embedded Systems

M.Sc. thesis, Uppsala University . ps

Bygde, S. 2006.

Abstract Interpretation and Abstract Domains

Master Thesis, MRTC . , abstract

Byhlin, S. 2004.

Evaluation of Static Time Analysis for Volcano Communications Technologies AB

Masters Thesis, MRTC . , pdf , abstract

Byhlin, S., Ermedahl, A., Gustafsson, J. and Lisper, B. 2005.

Applying Static WCET Analysis to Automotive Communication Software

17th Euromicro Conference of Real-Time Systems, (ECRTS’05), Mallorca, Spain . , pdf , abstract

Börjesson, H. 1995.

Incorporating Worst Case Execution Time in a Commercial C-compiler

ASTEC Report vol: 95/01 . ps

Carlson, B., Carlsson, M. and Stålmarck, G. 1997.

NP (FD) A Proof System for Finite Domain Formulas

ASTEC Report vol: 97/15 . ps

Carlson, J., Håkansson, J., and Pettersson, P. 2005.

SaveCCM: An Analysable Component Model for Real-Time Systems.

To appear in: Proceedings of International Workshop on Formal Aspects of Component Software (FACS'05). Electronic Notes in Theoretical Computer Science, Elsevier . , pdf

Carlsson, M. 2002.

Worst Case Execution Time Analysis, Case Study on Interrupt Latency, For the OSE Real-Time Operating System

KTH, Masters Thesis in Electrical Engineering Stockholm 2002-03-18 . , pdf

Carlsson, M. and Ottosson, G. 1996.

Anytime Frequency Allocation with Soft Constraints

In CP96 Pre-Conference Workshop on Applications . ps

Carlsson, M., Engblom, J., Ermedahl, A., Lindblad, J. and Lisper, B. 2002.

Worst-Case Execution Time Analysis of Disable Interrupt Regions in a Commercial Real-Time Operating System

RTTOOLS 2002 .

Carlsson, M., Ottosson, G. and Carlson, B. 1997.

An Open-Ended Finite Domain Constraint Solver

Proceedings of International Symposium on Programming Languages: Implementations, Logics, and Programming, LNCS, Springer-Verlag vol: 1292 . ps

Carlsson, M., Ottosson, G. and Carlson, B. 1996.

Towards an Open Finite Domain Solver

In Principles and Practice of Constraint Programming---CP96, Springer-Verlag LNCS vol: 1118 pages: 531-532 . ps

Carlsson, R. 2003.

Parametrized Modules in Erlang

In Proceedings of the Second ACM SIGPLAN Erlang Workshop, Uppsala, Sweden, August, ACM Press pages: 30-36 .

Carlsson, R. 2002.

Hierarchical module namespaces in Erlang

Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania . - New York: ACM Press pages: 1-5 .

Carlsson, R. 2001.

An Introduction to Core Erlang

In Proceedings of the PLI Erlang Workshop, Florence, Italy, September . ps

Carlsson, R. 2000.

Extending Erlang with structured module packages

Technical Reports from the Department of Information Technology, Uppsala University vol: 2000-01 . ps , pdf , abstract

Carlsson, R., Gustavsson, B. and Nyblom, P. 2004.

Erlang’s Exception Handling Revisited

In Proceedings of the Third ACM SIGPLAN Erlang Workshop, (co-located with ICFP’04), September. ACM Press. .

Carlsson, R., Gustavsson, B., Johansson, E., Lindgren, T., Nyström, S.-O., Pettersson, M. and Virding, R. 2000.

Core Erlang 1.0 language specification

Technical Reports from the Department of Information Technology, Uppsala University vol: 30 pages: 28 . ps , pdf , abstract

Carlsson, R., Sagonas, K. and Wilhelmsson, J. 2003.

Message Analysis for Concurrent Languages

In Proceedings of the Static Analysis Symposium Cousot, Radhia (ed.) . - Springer, Berlin (LNCS) vol: 2694 pages: 73-90 .

Carlsson, R., Sagonas, K. and Wilhelmsson, J. 2006.

Message analysis for concurrent programs using message passing

In ACM Transactions on Programming Languages and Systems, July vol: 28(4) pages: 715-746 . , pdf

Carlsson, R., Sagonas, K. and Wilhelmsson, J. 2005.

Message Analysis for Concurrent Programs Using Message Passing

accepted by ACM TOPLAS .

Chugunov, G. and Fredlund, L.-Å. 1999.

Verification of Sequential Erlang Programs

Nordic Workshop on Programming Theory, Uppsala, October 7 . ps

Dam, M. 2003.

Proof System for pi-calculus Logics

In "Logic for Concurrency and Synchronisation", Studies in Logic and Computation, Oxford Univ Press. de Queiroz (ed.) pages: 145-212 . ps , abstract

Dam, M. and Fredlund, L. 1998.

On the verification of open distributed systems

In Proc. of the 1998 Symposium on Applied Computing (SAC'98) . ps

Dam, M. and Gurov, D. 2002.

mu-Calculus with Explicit Points and Approximations

Journal of Logic and Computation, Abstract in Proceedings of: FICS 2000 vol: 12(2) pages: 43-57 . ps

Dam, M. and Gurov, D. 2000.

µ-Calculus with Explicit Points and Approximations

Fixed Points in Computer Science (FICS 2000) . ps

Dam, M. and Gurov, D. 1999.

Compositional Verification of CCS Processes

In Proc. International Conference PERSPECTIVES OF SYSTEM INFORMATICS (PSI'99) vol: LNCS 1755 pages: 247-256 . ps

Dam, M., Fredlund, L. and Gurov, D. 1998.

Toward Parametric Verification of Open Distributed Systems

In Proc. Compositionality: the significant difference, H. Langmaack, A. Pnueli and W.-P. de Roever (eds.), Springer-Verlag vol: LNCS 1536 pages: 150-185 . ps

Damm, W. and Jonsson, B. 2002.

Eliminating queues from RT UML model representations.

Proc. FTRTFT'02, Lecture Notes in Computer Science vol: 2469 pages: 375-394 .

David, A. and Yi, W. 2000.

Modelling and Analysis of a Commercial Field Bus Protocol

12th Euromicro Conference On Real-Time Systems, Stockholm, Sweden,June 19th-21th . ps

David, A., Hammar, U. and Yi, W. 1999.

Modeling and Analysis of a Field Bus Protocol Using Uppaal

Nordic Workshop on Programming Theory, Uppsala, October 7 . ps

Deneux, J. 2006.

Verification of Parameterized and Timed Systems: Undecidability Results and Efficient Methods

Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology vol: 187 . , pdf

Deneux, J. and Akerlund, O. 2004.

A Common Framework for Design and Safety Analyses using Formal Methods

Proc. International Conference on Probabilistic Safety Assessment and Management (PSAM7/ESREL'04), June. .

Eén, N. 1999.

Symbolic Reachability Analysis based on SAT-Solvers

M.Sc. thesis, Uppsala University . ps , pdf

Engblom, J. 2004.

Understanding Your C Compiler: How to Minimize Code Size

In: "The Firmware Handbook", Chapter 18. ed. Jack Ganssle, Elsevier/Newnes. .

Engblom, J. 2003.

Analysis of the Execution Time Unpredictability caused by Dynamic Branch Prediction

In Proceedings of the 9th IEEE Real-Time/Embedded Technology and Applications Symposium (RTAS 2003), Toronto, Canada, May . , webpage

Engblom, J. 2003.

Full-System Simulation Technology.

Extended abstract appearing in the proceedings of ESSES 2003 (European Summer School on Embedded Systems), Västerås, September, .

Engblom, J. 2003.

Embedded Systems Computer Architecture.

Extended abstract appearing in the proceedings of ESSES 2003 (European Summer School on Embedded Systems), Västerås, September, .

Engblom, J. 2002.

Processor Pipelines and Static Worst-Case Execution Time Analysis

Uppsala dissertations from the Faculty of Science and Technology vol: 36 . , pdf , webpage

Engblom, J. 2001.

Getting the Least Out of Your C Compiler

Embedded Systems Conference (ESC) in San Francisco, April 9-13 . , pdf , webpage

Engblom, J. 2001.

On Hardware and Hardware Models for Embedded Real-Time Systems

IEEE Embedded Real-Time Systems Workshop held in conjunction with the IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, December 3 . , pdf

Engblom, J. 1999.

Static Properties of Commercial Embedded Real-Time Programs, and Their Implication for Worst-Case Execution Time Analysis

In Proc. Fifth IEEE Real-Time Technology and Applications Symposium (RTAS '99). IEEE Computer Society Press, Vancouver, Canada pages: 46-55 . , pdf

Engblom, J. 1999.

Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools

Proc. ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '99) pages: 96-103 . ps , pdf

Engblom, J. 1998.

Worst-Case Execution Time Analysis for Optimized Code

M.Sc. thesis, ASTEC Report 98/01, Uppsala University . ps

Engblom, J. 1998.

Static Properties of Commercial Real-Time and Embedded Systems, Results from the MARE Project (Measurements of Actual Real-Time and Embedded Programs)

ASTEC Report vol: 98/05 . ps

Engblom, J. and Ermedahl, A. 2000.

Modeling Complex Flows for Worst-Case Execution Time Analysis

Proc. 21st IEEE Real-Time systems Symposium (RTSS 2000), Orlando, Florida, December . ps , pdf

Engblom, J. and Ermedahl, A. 1999.

Pipeline Timing Analysis Using a Trace-Driven Simulator

In Proc. The 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99) . ps , pdf

Engblom, J. and Jonsson, B. 2002.

Processor Pipelines and Their Properties for Static WCET Analysis

Proceeding of the Second Embedded Software Conference (EMSOFT 02), LNCS 2491 . - Springer Verlag, Heidelberg, Germany vol: 2491 .

Engblom, J., Altenbernd, P. and Ermedahl, A. 1998.

Facilitating Worst-Case Execution Time Analysis For Optimized Code

ASTEC Report 98/02, 10th Euromicro Workshop on Real-Time Systems, Berlin . ps

Engblom, J., Ermedahl, A. and Stappert, F. 2001.

A Worst-Case Execution-Time Analysis Tool Prototype for Embedded Real-Time Systems

Workshop on Real-Time Tools (RT-TOOLS), Aalborg, Denmark, August 20 . , pdf , webpage

Engblom, J., Ermedahl, A. and Stappert, F. 2001.

Validating a Worst-Case Execution Time Analysis Method for an Embedded Processor

Technical reports from the Department of Information Technology vol: 30 pages: 10 . ps , pdf , abstract

Engblom, J., Ermedahl, A. and Stappert, F. 2000.

Structured Testing of Worst-Case Execution Time Analysis Methods

Work in Progress Session at 21st IEEE Real-Time systems Symposium (RTSS 2000), Orlando, Florida, December . , pdf , abstract

Engblom, J., Ermedahl, A., Sjödin, M., Gustafsson, J. and Hansson, H. 2003.

Worst-Case Execution-Time Analysis for Embedded Real-Time Systems

International Journal on Software Tools for Technology Transfer vol: 4(4) pages: 437-455 . , webpage

Engblom, J., Ermedahl, A., Sjödin, M., Gustafsson, J. and Hansson, H. 1999.

Towards Industry-Strength Worst-Case Execution Time Analysis

ASTEC Report vol: 99/02 . ps , pdf

Engblom, J., Watzlawick, T. and Barth, A. 2003.

Der ausgequetschte Code. A translation into German of "Getting the least out of Your C Compiler", with added examples. Produced by the German office of IAR. This article was selected as one of the articles of the year by Elektronik, and an award was given in March of 2004.

Elektronik, issues 8, 10, and 12, .

Ericsson, C., Wall, A. and Yi, W. 1999.

Timed Automata as Task Models for Event-Driven Systems

In proc. The 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99), IEEE press . ps

Erikson, J. 2005.

Licentiate Thesis Proposal: An Operational Semantics for Parallel Execution of Re-entrant PLEX

Technical Report, MRTC . , pdf , abstract

Erikson, J. and Lisper, B. 2005.

Two Formal Semantics for PLEX

3rd APPSEM II Workshop, APPSEM'05, Frauenchiemsee, Germany, 12 - 15 September . , pdf , abstract

Eriksson, O. 2005.

Evaluation of Static Time Analysis for CC Systems

MRTC report, ISRN MDH-MRTC-183/2005-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University . , pdf , abstract

Ermedahl, A. 2003.

A Modular Tool Architecture for Worst-Case Execution Time Analysis

Uppsala Dissertations from the Faculty of Science and Technology, ISSN 1104-2516 ; 45 pages: 200 . , pdf , abstract

Ermedahl, A. 2003.

Värre än så här kan det inte bli!

. , pdf

Ermedahl, A. 2003.

Your Timing Could Not Get Any Worse!

. , pdf

Ermedahl, A. and Gustafsson, J. 1997.

Realtidsindustrins syn på verktyg för exekveringstidsanalys

ASTEC Report vol: 97/06 . ps

Ermedahl, A. and Gustafsson, J. 1997.

Deriving Annotations for Tight Calculation of Execution Time

ASTEC Report 97/04, Euro-Par '97, LNCS vol: 1300 pages: 1298-1307 . ps

Ermedahl, A. and Gustafsson, J. 1996.

Redovisning av Studiecirkel/Kurs i Exekveringstidsanalys

ASTEC Report vol: 96/04 . ps

Ermedahl, A., Engblom, J. and Stappert, F. 2002.

A Unified Flow Information Language for WCET Analysis

WCET Workshop, Wien, June 18 .

Ermedahl, A., Gustafsson, J. and Engblom, J. 2006.

Tidsanalys av programvara - Del 1, grunderna för WCET analys

Elektronik i Norden vol: 12 . , abstract , webpage

Ermedahl, A., Gustafsson, J. and Engblom, J. 2006.

Tidsanalys av programvara - Del 2, tillämpningar och WCET verktyg

Elektronik i Norden vol: 13 . , abstract , webpage

Ermedahl, A., Gustafsson, J. and Lisper, B. 2005.

Experiences from Industrial WCET Analysis Case Studies

Proc. Fifth InternationalWorkshop onWorst-Case Execution Time (WCET) Analysis, Palma de Mallorca, July 2005. ed. ReinhardWilhelm (Also presented at Real-Time in Sweden 2005, Skövde, August 2005.) . , pdf , abstract

Ermedahl, A., Hansson, H. and Sjödin, M. 1997.

Responce-Time Guarantees in ATM Networks.

In Proc. 18th IEEE Real-Time Sytems Symposium (RTSS) pages: 274-284 . ps , pdf , webpage

Ermedahl, A., Hansson, H., Papatriantafilou, M. and Tsigas, P. 1998.

Wait-free Snapshots in Real-Time Systems: Algorithms and Performance

ASTEC Report 98/04, Conference version of report 98/04, In Proc. of the 5th International Conference on Real-Time Computing Systems and Applications (RTCSA'98) . ps

Ermedahl, A., Stappert, F. and Engblom, J. 2005.

Clustered Worst-Case Execution- Time Calculation

IEEE Transactions on Computers vol: 54 (9) pages: 1104-1122 . , pdf , abstract

Ermedahl, A., Stappert, F. and Engblom, J. 2003.

Clustered Calculation of Worst-Case Execution Times

Proceedings of the 6th International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2003), San Jose, California, USA, Oct 30th to Nov 1st . ps , pdf , abstract , webpage

Evestedt, D. and Kamensky, L. 2000.

Symbolic Model Checking of SMV-programs using SAT-solvers

2 M.Sc. theses, Uppsala University .

Fersman, E. and Jonsson, B. 2000.

Abstraction of Communication Channels in Promela: a Case Study

In SPIN 2000: 7th Int. SPIN Workshop on Model Checking of Software, Stanford University, California, in Lecture Notes in Computer Science, Springer Verlag . ps

Fersman, E. and Yi, W. 2004.

A Generic Approach to Schedulability Analysis of Real Time Tasks

Accepted for Publication in Nordic Journal of Computing . , pdf

Fersman, E., Mokrushin, L., Pettersson, P. and Yi, W. 2004.

Schedulability Analysis of Fixed-Priority Systems Using Timed Automata

To appear in journal: Theoretical Computer Science . ps , pdf , abstract

Fersman, E., Mokrushin, L., Pettersson, P. and Yi, W. 2003.

Schedulability Analysis using Two Clocks

In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03) . ps , pdf , abstract

Fersman, E., Pettersson, P. and Yi, W. 2002.

Timed Automata with Asynchrounous Processes: Schedulability and Decidability

Proceedings of 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002 . - Springer-Verlag, (Lecture Notes in Computer Science) vol: 2280 pages: 67-82 . ps , pdf , abstract

Flink, F. 2001.

Simuleringsverktyg för kvantifiering och verifiering av distribuerade realtidssystem

Examensarbeten på Datorteknik, Chalmers. .

Fredlund, L.-Å, Gurov, D. Noll, T., Dam, M., Arts, T. and Chugunov, G. 2003.

A Verification tool for ERLANG

International Journal on Software Tools for Technology Transfer vol: 4/4 pages: 405-420 .

Fredlund, L.-Å. 2001.

A Framework for Reasoning about Erlang Code

PhD-thesis, KTH, TRITA-IT AVH vol: 4 pages: 233 . , pdf , abstract

Fredlund, L.-Å. 1999.

Towards a Semantics for Erlang

Workshop on Foundations of Mobile Computation, Chennai, December 16 .

Fredlund, L.-Å. , Gurov, D. and Noll, T. 2001.

Semi-Automated Verification of Erlang Code

In Proceedings of: ASE'01, IEEE Computer Society pages: 319-323 . , pdf

Fredlund, L.-Å. and Gurov, D. 1999.

A Framework for Formal Reasoning about Open Distributed Systems

In Proc. Asian Computing Science Conference (ASIAN'99) vol: LNCS 1742 pages: 87-100 . ps

Getoor, L., Ottosson, G., Fromherz, M. and Carlson, B. 1997.

Effective Redundant Constraints for Online Scheduling

ASTEC Report 97/08, In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI '97). American Association for Artificial Intelligence, July . ps

Gurov, D. and Chugunov, G. 2000.

Verification of Erlang Programs: Factoring out the Side-effect-free Fragment

In Proc. 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000) GMD Report vol: 91 pages: 109-122 . ps

Gustafsson, J. 2002.

Worst Case Execution Time Analysis of Object-Oriented Programs

In Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002) January 7-9, 2002 San Diego,CA . IEEE . , abstract

Gustafsson, J. 2000.

Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation

Ph.D. thesis, Uppsala University, DoCS report 00/115 and MRTC report 00/10 . , abstract

Gustafsson, J. 2000.

Eliminating Annotations by Automatic Flow Analysis of Real-Time Programs

In Proc. Seventh International Conference on Real-Time Systems and Applications (RTCSA 2000), IEEE Computer Society Press vol: accepted .

Gustafsson, J. and Ermedahl, A. 1998.

Automatic derivation of path and loop annotations in object-oriented real-time programs

Journal of Parallel and Distributed Computing Practices vol: 1 (2) pages: 61 - 74 . ps

Gustafsson, J. and Ermedahl, A. 1997.

Automatic derivation of path and loop annotations in object-oriented real-time programs

ASTEC Report 97/14, in Workshop for Parallel and Distributed Real-Time Systems (WPDRTS '97), Workshop on Object-Oriented Real-Time Systems (WOORTS'97) and 11th International Parallel Processing Symposium (IPPS'97) . ps

Gustafsson, J., Ermedahl, A. and Lisper, B. 2005.

Towards a Flow Analysis for Embedded System C Programs

The 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS’05), Sedona, USA . , pdf , abstract

Gustafsson, J., Lisper, B., Kirner, R. and Puschner, P. 2006.

Code Analysis for Temporal Predictability

Real-Time Systems vol: 32 (3) pages: 253-277 . , pdf

Gustafsson, J., Lisper, B., Puschner, P. and Kirner, R. 2003.

Input-Dependency Analysis for Hard Real-Time Software

In 9-th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003F) Capri Island, Italy, October . , pdf , abstract

Gustafsson, J., Lisper, B., Sandberg, C. and Bermudo, N. 2003.

A Tool for Automatic Flow Analysis of C-Programs for WCET Calculation

WORDS .

Gustafsson, J., Lisper, B., Sandberg, C. and Sjöberg, L. 2002.

A Prototype Tool for Flow Analysis of C Programs

WCET 2002 Workshop, Vienna, Editor(s):Guillem Bernat . , pdf , abstract

Gustafsson, P. and Sagonas, K. 2007.

Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang

To appear in: In Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07). . , pdf

Gustafsson, P. and Sagonas, K. 2006.

Efficient manipulation of binary data using pattern matching

In the Journal of Functional Programming, January vol: 16(1) pages: 35-74 . , pdf

Gustafsson, P. and Sagonas, K. 2005.

Bit-level Binaries and Generalized Comprehensions in Erlang

In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, September. ACM Press . , pdf

Gustafsson, P. and Sagonas, K. 2004.

Adaptive Pattern Matching on Binary Data

In Programming Languages and Systems. Proceedings of the 13th European Symposium On Programming, LNCS, Barcelona, Spain, March/April. Springer. vol: 2986 pages: 124-139 .

Gustafsson, P., Sagonas, K. 2002.

Native Code Compilation of Erlang's Bit Syntax

Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania . - New York: ACM Press pages: 6-15 .

Hagersten, E., Albertsson, L. and Engblom, J. 2005.

Parallella program ger paradigmskifte

Elektroniktidningen, 18 October vol: 13 . , webpage

Hansson, H., Lawson, H., Bridal, O., Eriksson, C., Larsson, S., Lönn, H. and Strömberg, M. 1997.

BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems

IEEE TC vol: 46(9) pages: 1016-1027 .

Hansson, H., Lawson, H., Strömberg, M. and Larsson, S. 1996.

BASEMENT a distributed real-time architecture for vehicle applications

Real-Time Systems vol: 11 pages: 223-244 .

Hansson, H., Sjödin, M. and van der Velde, H. 1997.

CAN-based Real-Time Lab Environment

CAN Newsletter vol: 3 pages: 48-49 . ps , pdf

Hessel, A. 2007.

Model-Based Test Case Generation for Real-Time Systems

Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology vol: 301 . , pdf

Hessel, A. 2006.

Model-Based Test Case Selection and Generation for Real-Time Systems

IT Licentiate theses vol: 2 . , pdf , webpage

Hessel, A. and Pettersson, P. 2004.

A Test Case Generation Algorithm for Real-Time Systems

In proceedings of the 4th International Conference on Quality Software (QSIC'04), Hans-Dieter Ehrich and Klaus-Dieter Schewe (eds.), IEEE Computer Society pages: 268-273 . , pdf

Hessel, A., Larsen, K., Nielsen, B., Pettersson, P. and Skou, A. 2003.

Time-Optimal Test Cases for Real-Time Systems

In Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS). . ps , pdf , abstract

Huselius, J. and Andersson, J. 2005.

Model Synthesis for Real-Time Systems

"Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR‘05), Manchester, UK, March 21-23" pages: 52-60 .

Håkansson, J. 2000.

Automated Generation of Test Scripts from Temporal Logic Specifications

M.Sc. thesis, Uppsala University .

Håkansson, J., Jonsson, B. and Lundqvist, O. 2003.

Generating On-Line Test Oracles from Temporal Logic Specifications

International Journal on Software Tools for Technology Transfer vol: 4(4) pages: 456-471 . ps

Håkansson, J., Jonsson, B. and Lundqvist, O. 1999.

Automated Generation of Test Oracles from Temporal Logic SPecifications

Nordic Workshop on Programming Theory, Uppsala, October 7 . ps

Ijeoma Sandra, I. 2004.

Models’ Validation for Complex Real-Time Systems

Masters Thesis, MRTC .

Johansson, E. 1999.

Performance Measurements and Process Optimization for Erlang

Ph.Lic. thesis, Uppsala University . ps

Johansson, E. and Sagonas, K. 2002.

Linear Scan Register Allocation in a High-Performance Erlang Compiler.

Presented at the 4th International Symposium, Practical Aspects of Declarative Languages (PADL 2002), Portland, OR, USA, January 19-20, . LNCS vol: 2257 pages: 299-317 . ps , pdf

Johansson, E. and Sagonas, K. 2001.

Linear Scan Register Allocation in the HiPE compiler

The International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel, Germany September 13-15 . ps , pdf

Johansson, E., Nyström, S.-O. 2000.

Profile-guided optimization across process boundaries

ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation (Dynamo'00), January 18 . ps

Johansson, E., Nyström, S.-O., Jonsson, C. and Lindgren, T. 1999.

Evaluation of HiPE, an Erlang Native Code Compiler

ASTEC Report vol: 99/03 . ps , pdf

Johansson, E., Nyström, S.-O., Pettersson, M. and Sagonas, K. 1999.

HiPE: High-Performance Erlang

ASTEC Report vol: 99/04 . ps , pdf

Johansson, E., Pettersson, M. and Sagonas, K. 2000.

A High-Performance Erlang System

In Proceedings of ACM SIGPLAN. International Conference of Pinciples and Practices of Declarative Programming. . ps , abstract

Johansson, E., Pettersson, M., Sagonas, K., and Lindgren, T. 2003.

The Development of the HiPE System: Design and Experience Report

International Journal on Software Tools for Technology Transfer vol: 4(4) pages: 421-436 . , webpage

Johansson, E., Sagonas, K. and Wilhelmsson, J. 2002.

Heap Architectures for Concurrent Languages using Message Passing

Proceedings of ISMM'2002: ACM SIGPLAN International Symposium on Memory Management . - New York: ACM Press pages: 88-99 .

Johnsson, A. and Nilsson, R. 2004.

Development of an Analysis tool for execution traces

Masters Thesis, MRTC .

Jonsson, B. and Nilsson, M. 2000.

Transitive Closures of Regular Relations for Verifying Infinite-State Systems

In Proc. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS . ps

Jonsson, B. and Padilla, G. 2001.

An Execution Semantics for MSC2000

Tenth SDL Forum, Copenhagen, June . ps

Jonsson, B. and Sagonas, K. 2003.

Special section on ASTEC: an experience in the establishment of collaboration between academia and industry. Preface by the editors

International Journal on Software Tools for Technology Transfer vol: 4/4 pages: 401-404 .

Krcal, P. and Yi, W. 2004.

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

In the proceedings of TACAS 2004, the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 29 - April 2, Barcelona, Spain. LNCS 2988. . ps , pdf , abstract

Larsen, K., Larsson, F., Pettersson, P. and Yi, W. 2003.

Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems

In Real-Time Systems - The International Journal of Time-Critical Computing Systems, volume 25, issue 2:3, Kluwer Academic Publisher vol: 25 . , webpage

Larsson, J. 1997.

Information interface to the scheduling level of a hard real-time systems design model

ASTEC Report vol: 97/02 . ps

Larsson, J. 1997.

Fixed priority scheduling analysis of the powertrain management application example using the schedulite tool

ASTEC Report vol: 97/03 . ps

Larsson, J. 1996.

ScheduLite, A Fixed Priority Scheduling Analysis Tool

ASTEC Report vol: 96/01 . ps

Larsson, P. 1996.

Ett effektivt bevissystem för S4

M.Sc. thesis, Institutionen för teoretisk filosofi, Stockholms Universitet .

Lee, S. Ermedahl, A., Lyul Min, S. and Chang, N. 2002.

Statistical Derivation of an Accurate Energy Consumption Model for Embedded Processors

Technical reports from the Department of Information Technology vol: 11 pages: 20 . , pdf , abstract

Lee, S. Ermedahl, A., Lyul Min, S. and Chang, N. 2001.

An Accurate Instruction-Level Energy Consumption Model for Embedded RISC Processors

ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2001), Snowbird, Utah, USA, June 22-23 pages: 1-10 . ps , pdf

Lindahl, M., Pettersson, P., Yi, W. 2001.

Formal Design and Analysis of a Gear-Box Controller

International Journal on Software Tools for Technology Transfer vol: 3 pages: 353-368 . ps , pdf

Lindahl, M., Pettersson, P., Yi, W. 1997.

Formal Design and Analysis of a Gear-Box Controller: an Industrial Case Study using Uppaal

ASTEC Report 97/09, 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Gulbenkian Foundation, Lisbon, Portugal, 1998. and in LNCS vol 1384, and in International Journal on Software Tools for Technology Transfer (STTT), 1998 vol: . ps , pdf

Lindahl, T. 2002.

Compilation of Floating Point Arithmetic in the High Performance Erlang Compiler

Uppsala Tekniska Högskola Master Thesis, UPTEC F 02 07, Uppsala University, October .

Lindahl, T. and Sagonas, K. 2006.

Practical Type Inference Based on Success Typings

In Proceedings of the Eight ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06), July. ACM Press. pages: 167-178 . , pdf

Lindahl, T. and Sagonas, K. 2005.

TypEr: A Type Annotator of Erlang Code

In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, September. ACM Press. . , pdf

Lindahl, T. and Sagonas, K. 2004.

Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

In Proceedings of the Second ASIAN Symposiumon Programming Languages and Systems, LNCS, Taipei, Taiwan, November. Springer. pages: 86-101 .

Lindahl, T., Sagonas, K. 2002.

Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment

Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002). Madrid, Spain, September 2002. LNCS. Peña Ricardo (ed.) . - Berlin; Springer vol: 2670 .

Lindgren, M., Hansson, H. and Thane, H. 2000.

Using Measurements to Derive the Worst-Case Execution Time

"In Proceedings of RTCSA 2000 Cheju Island, South Korea. IEEE Computer Society" . ps

Lindgren, T. 1998.

Module merging: aggressive optimization and code replacement in highly available systems

Reports in Computing Science vol: 154 . ps

Lindgren, T. and Jonsson, C. 1999.

The Design and Implementation of a High-Performance Erlang Compiler

ASTEC Report vol: 99/05 . ps , pdf

Lindhult, J. 2005.

Licentiate Thesis Proposal: An Operational Semantics for Parallel Execution of Re-entrant PLEX

Technical report MRTC: Lindhult_0950:2005 . , abstract

Lisper, B. and Erikson, J. 2004.

A Formal Semantics for PLEX

In 2nd APPSEM II Workshop, APPSEM'04 Tallinn, Estonia, 14-16 April . , pdf , abstract

Luna, D. 2004.

An AMD64 Backend for HiPE: Implementation, Performance Evaluation, and Lessons Learned

Uppsala Master's Theses in Computing Science, Examensarbete DV3, 2004-12-24 vol: 286 . , pdf

Luna, D., Pettersson, M. and Sagonas, K. 2005.

Efficiently Compiling a Functional Language on AMD64: The HiPE Experience

In Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2005). July. ACM Press. pages: 176-186 . , pdf

Luna, D., Pettersson, M. and Sagonas, K. 2004.

HiPE on AMD64

In Proceedings of the Third ACM SIGPLAN Erlang Workshop, (co-located with ICFP’04), September. ACM Press. .

Löf, D. 2000.

Automated Testing of WWW Applications

M.Sc. thesis, Uppsala University .

Lönn, M. and Pettersson, P. 1997.

Formal Verification of a TDMA Protocol Start-Up Mechanism

ASTEC Report 97/16, In Proceedings of the 1997 IEEE Pacific Rim International Symposium on Fault-Tolerant Systems pages: 235-242 . ps , pdf

Magnusson, U. 2001.

An x86 back-end for the HiPE compiler

Uppsala Master Thesis in Computing Science 197, Uppsala University, November pages: 19 . , pdf

Makholm, H., Sagonas, K. 2002.

On Enabling the WAM with Region Support

Proceedings of the International Conference on Logic Programming Stuckey, Peter (ed.) . - Springer, Berlin, (LNCS) vol: 2401 pages: 163-178 .

Marklund, K. and Albertsson, L. 2005.

Dynamic Race Detection for Operating Systems

Fifth Conference on Software Engineering Research and Practice in Sweden (SERPS 05) .

Marklund, K. and Victor, B. 2004.

A simulator approach to data race detection

Technical Reports from the Department of Information Technology, Uppsala University vol: 41 pages: 61 . , pdf

Mokrushin, L., Krcal, P., Thiagarajan, P.S. and Yi, W. 2004.

Timed vs. Time Triggered Automata

CONCUR 2004, London, UK .

Montan, S. 2001.

Validation of Cycle-Accurate CPU Simulators against Real Hardware

Technical reports from the Department of Information Technology (M.Sc. thesis, Uppsala University) vol: 7 . ps , pdf , abstract

Nilsson, M. 1999.

Analyzing Parameterized Distributed Algorithms

M.Sc. thesis, Uppsala University . ps

Nilsson, M. 2000.

Regular Model Checking

Licentiate Theses from the Department of Information Technology vol: 8 pages: 66 . ps , pdf , abstract

Nilsson, Magnus 2001.

Time Accurate Simulation

UPTEC F 01 074, Masters degree project vol: SEP pages: 1-39 . , pdf

Noll, T., Fredlund, L.-Å. and Gurov, D. 2001.

The Erlang Verification Tool

In Proceedings of: TACAS'01, Lecture Notes in Computer Science vol: 2031 pages: 582-585 . ps

Norström, C., Wall, A., Andersson, J. and Sandström, K. 2003.

Increasing maintainability in complex industrial real-time systems by employing a non-intrusive method

in Proceedings of the workshop on Migration and Evolvability of Long-life Software Systems, MELLS 2003, Erfurt, Germany .

Nyström, J. and Jonsson, B. 2003.

Automatic Assessment of Failure Recovery in Erlang Applications

Manuscript .

Nyström, J. and Jonsson, B. 2001.

Extracting the Process Structure of Erlang Applications

Erlang Workshop, Firenze, Sept. 2. .

Nyström, S.-O. 2003.

A Soft-typing System for Erlang

in Proc. 2nd ACM SIGPLAN Erlang Workshop, Uppsala, Aug. . ps

Nyström, S.-O., Runeson, J. and Sjödin, J. 2001.

Code Compression Techniques for Embedded Systems

Manuscript . ps

Ottosson, G. and Sjödin, M. 1997.

Worst-Case Execution Time Analysis for Modern Hardware Architectures

ASTEC Report 97/01, SIGPLAN 1997 Workshop on Languages, Compilers and Tools for Real-Time Systems . ps

Ottosson, G., Carlsson, M. 1997.

Using Global Constraints for Frequency Allocation

ASTEC Report vol: 97/07 . ps

Padilla, G. 2000.

An Execution Semantics for MSC2000

M.Sc. thesis, Uppsala University . ps

Petersson, S. 2005.

Porting the Bound-T WCET tool to Lego Mindstorms and the Asterix RTOS

Master Thesis, MRTC . , pdf , abstract

Petersson, S., Ermedahl, A., Pettersson, A., Sundmark, D. and Holsti, N. 2005.

Using a WCET Analysis Tool in Real-Time Systems Education

In Real Time in Sweden (RTiS) 2005, Skövde, Sweden, Editor(s):Sten F. Andler pages: 125-128 . , pdf , abstract

Pettersson, M. 2000.

A staged tag scheme for Erlang

Technical reports from the Department of Information Technology vol: 29 pages: 19 . ps , pdf , abstract

Pettersson, M., Sagonas, K., and Johansson, E. 2002.

The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation

Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer Hu, Zhenjiang; Rodriguez-Artalejo, Mario (ed.) . - Berlin: Springer, (LNCS) vol: 2441 pages: 228-244 .

Pettersson, M., Sagonas, K., Johansson, E. and Magnusson, U. 2001.

"The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation "

In Proceedings of the 13th International Workshop on the Implementation of Functional Languages, Stockholm, Sweden, September pages: 17-31 .

Pettersson, P. 1999.

Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice

Ph.D. thesis, DoCS report 99/101, Uppsala University . ps , pdf , webpage

Pettersson, P. and Yi, W. (eds.) 2005.

"Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 2005, Proceedings. "

Lecture Notes in Computer Science, Springer-Verlag vol: 3829 . , pdf

Pettersson, P. and Yi, W. (eds.) 2005.

"Selected Papers of the 16th Nordic Workshop on Programming Theory (NWPT'04), October 6-8, 2004. "

Nordic Journal of Computing vol: 12 (2) . , webpage

Pettersson, P. and Yi, W. (eds.) 2004.

Proceeding of the 16th Nordic Workshop on Programming Theory. October 6-8.

Technical Reports from the Department of Information Technology, Uppsala University vol: 41 . , pdf

Pettersson, P. and Yi, W. (eds.) 2002.

Workshop on Real-Time Tools

Proceedings of the Workshop on Real-Time Tools 2002, Technical Report, Department of Information Technology vol: 5 . , webpage

Pettersson, P. and Yovine, S. (eds.) 2001.

Workshop on Real-Time Tools

Proceedings of the Workshop on Real-Time Tools 2001, Technical Report. Department of Information Technology, Uppsala University, August vol: 14 . , webpage

Runeson, J. 2000.

Code compression through procedural abstraction before register allocation

M.Sc. thesis, Uppsala University . ps

Runeson, J. and Nyström, S.-O. 2003.

Retargetable Graph-Coloring Register Allocation for Irregular Architectures

SCOPES'03, Vienna, September 24-26 . , pdf

Runeson, J. and Nyström, S.-O. 2002.

Generalizing Chaitin's Algorithm: Graph-Coloring Register Allocation for Irregular Architectures

Technical Reports from the Department of Information Technology, Uppsala University vol: 21 . , webpage

Runeson, J., Nyström, S.-O. and Sjödin, J. 2000.

Optimizing Code Size through Procedural Abstraction

In Proc. of Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2000), Technical reports from the Department of Information Technology vol: 22 . , pdf

Sagonas, K. 2005.

Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications.

In Proceedings of ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools (Bugs'05), Chicago, Illinois, June. .

Sagonas, K. 2001.

HiPE Version 1.0

Proceedings from Seventh International Erlang/OTP User Conference, Ericsson, Älvsjö, Sweden. . , webpage

Sagonas, K. and Andersson, E. .

The HiPE Tool: An Integrated Environment for Performance-Tuning Erlang Applications

Submitted for publication .

Sagonas, K. and Stenman, E. 2003.

Experimental evaluation and improvements to linear scan register allocation

In Software -- Practice and Experience vol: 33(11) pages: 1003-1034 .

Sagonas, K. and Wilhelmsson, J. 2006.

Efficient memory management for concurrent programs that use message passing

In Science of Computer Programming, October vol: 62(2) pages: 98-121 . , pdf

Sagonas, K. and Wilhelmsson, J. 2006.

Mark and Split

In Proceedings of the ACM SIGPLAN International Symposium on Memory Management (ISMM'06), June. ACM Press. pages: 29-39 . , pdf

Sagonas, K. and Wilhelmsson, J. 2004.

Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language

In Proceedings of ISMM’04: ACM SIGPLAN International Symposium on Memory Management, Vancouver, B.C., Canada, October. ACM Press. .

Sagonas, K., Pettersson, M., Carlsson, R., Gustafsson, P. and Lindahl, T. 2003.

All you wanted to know about the HiPE compiler (and might have been afraid to ask)

In Proceedings of the Second ACM SIGPLAN Erlang Workshop, Uppsala, Sweden, August. ACM Press. pages: 37-43 .

Sandberg, C. 2005.

Licentiate thesis proposal:Improvements of the Flow Analysis in WCET Tools

Technical report MRTC: Sandberg_0837:2005 . , abstract

Sandberg, C. 2003.

Elimination of Unstructured Loops in Flow Analysis

WCET03 workshop in conjunction with Euromicro Conference on Real-Time Systems, Porto, Portugal, July 1st. . , pdf

Sandberg, C., Ermedahl, A., Gustafsson, J. and Lisper, B. 2006.

Faster WCET Flow Analysis by Program Slicing

ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES2006), ACM, Ottawa, Canada . , abstract

Sandell, D., Ermedahl, A., Gustafsson, J. and Lisper, B. 2004.

Static Timing Analysis of Real-Time Operating Systems Code

In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA '04) Paphos, Cyprus , October .

Sehlberg, D. 2005.

Static WCET Analysis of Task-Oriented Code for Construction Vehicles

Master Thesis, MRTC . , pdf , abstract

Sehlberg, D., Ermedahl, A., Gustafsson, J., Lisper, B. and Wiegratz, S. 2006.

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems

2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), Paphos, Cyprus . , abstract

Sjödin, J. and von Platen, C. 2001.

Storage Allocation for Embedded Processors

In Proc. of CASES’01, November 16-17, Atlanta, Georgia, USA. pages: 15-23 . , pdf

Stappert, F., Ermedahl, A., and Engblom, J. 2001.

Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects

Technical reports from the Department of Information Technology vol: 12 . ps , pdf , abstract , webpage

Stappert, F., Ermedahl, A., and Engblom, J. 2001.

Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects

In Proc. of CASES’01, November 16-17, Atlanta, Georgia, USA. pages: 132-140 . , pdf

Stenman, E. 2002.

Efficient implementation of concurrent programming languages

Acta Universitatis Upsaliensis. Uppsala dissertations from the Faculty of Science and Technology, ISSN 1104-2516 vol: 43 .

Stenman, E. and Sagonas, K. 2002.

On Reducing Interprocess Communication Overhead in Concurrent Programs

Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania . - New York: ACM Press pages: 58-63 .

Wall, A., Andersson, J. and Norström, C. 2006.

Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings

LNCS 4313: Leveraging Applications of Formal Methods, Springer Berlin/Heidelberg, November pages: 130-145 . , abstract

Wall, A., Andersson, J. and Norström, C. 2003.

Probabilistic Simulation-based Analysis of Complex Real-Times Systems,

in Proceedings of the 6th IEEE International Symposium on Object-oriented Real-time distributed Computing , ISORC 2003, Hakodate, Hokkaido, Japan, May . , pdf , abstract

Wall, A., Andersson, J., Neander, J., Norström, C. and Lembke, M. 2003.

Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems

in Proceedings of RTCSA 2003, February . , pdf , abstract

Wall, A., Sandström, K., Mäki-Turja, J., Norström, C. and Yi, W. 2000.

Verifying Temporal Constraints on Data in Multi-Rate Transactions Using Timed Automata

In Proc. Seventh International Conference on Real-Time Systems and Applications (RTCSA 2000), IEEE Computer Society Press vol: accepted .

Vera, X. 2004.

Cache and Compiler Interaction (how to analyze, optimize and time cache behavior)

PhD Thesis, Mälardalen University, Västerås pages: 245 . , pdf

Vera, X. 2002.

Towards A Static Cache Analysis for Whole Program Analysis

Licentiate thesis ISSN 1404-3041 ISRN MDH-MRTC-59/2002-1-SE, Mälardalen University Press, March . ps , abstract

Vera, X. and Xue, J. 2002.

Let's Study Whole-Program Cache Behaviour Analytically

In International Symposium on High-Performance Computer Architecture (HPCA 8) Cambridge, MA , February 2002, IEEE. . ps , abstract

Wiklander, C. 1999.

Verification of Erlang Programs using Spin

M.Sc. thesis, KTH .

Wilhelm, R., Engblom, J., Thesing, S. and Whalley, D. 2003.

Industrial Requirements for WCET Tools -- Answers to the ARTIST Questionnaire

WCET03 workshop in Porto, Portugal, June. Held in conjunction with the 15th Euromicro Conference on Real-Time Systems. . , webpage

Wilhelmsson, J. 2005.

Efficient Memory Management for Message-Passing Concurrency

IT Licentiate theses no 2005-001 pages: 114 . , abstract

Wilhelmsson, J. 2002.

Exploring Alternative Memory Architectures for Erlang: Implementation and Performance Evaluation

Uppsala Master Thesis in Computing Science vol: 212 . ps

Wilhelmsson, P. 2005.

A Test Case Translation Tool: From Abstract Test Sequences To Concrete Test Programs

Master thesis at Ericsson .

Wilhelmsson, P. 2005.

A Test Case Translation Tool - From Abstract Test Sequences To Concrete Test Programs

M.Sc. Thesis, Department of Information Technology, Uppsala University .

Zhang, Y. 2005.

Evaluation of Methods for Dynamic Time Analysis for CC-Systems AB

MRTC report, ISRN MDH-MRTC-182/2005-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University . , pdf , abstract

Övergaard, G. 2000.

Formal Specification of Object Oriented Modeling Concepts

Ph.D. thesis, KTH nov .

Övergaard, G. 1998.

A Formal Approach to Relationships in the Unified Modeling Language

Workshop on Precise Semantics for Software Modeling Techniques, ISCE'98 in Kyoto, Japan, April . ps

Övergaard, G. and Palmkvist, K. 1998.

A Formal Approach to Use cases and their Relationships

In Proc. of UML ´98: Beyond the notations pages: 309-317 .