Appendix 1

ASTEC publications 1995-2007

Statistical data 1995-2007

Publication type No.
Journal, Book 38
Conference (with refree system) 91
Workshop 45
Technical report 39
Submitted 0
PhD thesis 10
Lic thesis 9
M.Sc. thesis 34
SUM 266
Publication
Year No.
1995 1
1996 7
1997 19
1998 12
1999 22
2000 35
2001 28
2002 33
2003 34
2004 28
2005 30
2006 15
2007 2
SUM 266

The total number of contributing reseracher is 170.

The mean number of authors per publication is 2,5.

The most frequent writers No. of publications
Ermedahl, A. 35
Sagonas, K. 33
Engblom, J. 31
Yi, W. 29
Pettersson, P. 24
Gustafsson, J. 22
Jonsson, B. 17
Lisper, B. 13
Johansson, E. 12
Fredlund, L 11
Andersson, J. 11
Wall, A. 11
Pettersson, M. 10

Publications each year
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 .
line
Updated Tuesday, 10-Jul-2007 12:32:11 MEST by Roland Grönroos
e-mail: info -at- astec.uu.se    Location: http://www.astec.uu.se/publications/publications.shtml