Design Patterns for Control Systems. / Knudsen, John; Ravn, Anders Peter; Skou, Arne.

Proceedings of the NWUML'06: The 4th Nordic Workshop on UML and Software Modelling. red. / Andreas Prinz; Merete Skjelten Tveit. Høgskolen i Agder, 2006.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Developing a TTCN-3 Test Harness for Legacy Software. / Okika, Joseph C.; Ravn, Anders Peter; Siddalingaiah, Lokesh; Liu, Zhiming.

Proceedings of the 2006 international workshop on Automation of software test: AST '06. Association for Computing Machinery, 2006. s. 104-110.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Formal Methods for Abstract Specifications – A Comparison of Concepts. / Instenberg, Martin; Schneider, Axel; Schnetter, Sabine; Heinkel, Ulrich; Larsen, Kim Guldstrand; Behrmann, Gerd.

Technical Report. IEEE Press, 2006.

Publikation: Forskning › Bidrag til rapport

Formalization in Component Based Development. / Holmegaard, Jens Peter; Knudsen, John; Makowski, Piotr; Ravn, Anders Peter.

Mathematical Frameworks for Component Software. red. / Zhiming Liu; Jifeng He. World Scientific, 2006. s. 255-281 (Component-Based Software Development; Nr. 2).

Publikation: Forskning › Bidrag til bog/antologi

Harnessing Theories for Tool Support. / Liu, Zhiming; Mencl, Vladimir; Ravn, Anders Peter; Yang, Lu.

Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006. University of Cyprus, 2006.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Interface Input/Output Automata. / Larsen, Kim Guldstrand; Nyman, Ulrik; Wasowski, Andrzej.

FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006 Proceedings. red. / Jayadev Misra; Tobias Nipkow; Emil Sekerinski. Vol. Springer Springer Berlin / Heidelberg, 2006. s. 82-97.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Introducing Synchronisation in Deterministic Network Models. / Schiøler, Henrik; Jessen, Jan Jakob; Nielsen, Jens Frederik D.; Larsen, Kim Guldstrand.

Computer Applications in Industry and Engineering (CAINE-2006), 19th Int'l. Conference. red. / Thomas Phillip. Denmark., 2006.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Language-based support for service oriented architectures : Future directions. / Giambiagi, Pablo; Owe, Olaf; Ravn, Anders Peter; Schneider, Gerardo.

Proceedings of ICSOFT. red. / Joaquim Filipe; Boris Shishkov; Markus Helfert. Vol. 1 Institute for Systems and Technologies of Information, Control and Communication, 2006. s. 339-344.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Model Checking Timed Automata with Priorities using DBM Subtraction. / David, Alexandre; Larsen, Kim Guldstrand; Pettersson, Paul; Håkansson, John.

Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06). red. / Eugene Asarin; Patricia Bouyer. Springer Berlin / Heidelberg, 2006. s. 128-142 (Lecture Notes in Computer Science; Nr. 4202).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. / Delzanno, Giorgio; Esparza, Javier; Srba, Jiri.

Automated Technology for Verification and Analysis: Proceedings of the 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. IEEE Computer Society Press, 2006. s. 415-429 (Lecture Notes in Computer Science; Nr. 4218).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

On the axiomatizability of priority. / Aceto, Luca; Chen, Taolue; Fokkink, Wan; Ingolfsdottir, Anna.

Automata, Languages and Programming. 2006. s. 480-491.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Roadmap for the ARC Grid Middleware. / Kleist, Josva; Eerola, Paula; Ekelöf, Tord; Ellert, Mattias; Grønager, Michael; Renner Hansen, John; Haug, Sigve; Konstantinov, Aleksandr; Kónya, Balázs; Ould-Saada, Farid; Smirnova, Oxana; Szalai, Ferenc; Wäänänen, Anders.

Ikke angivet. Vol. 4699 Springer Berlin / Heidelberg, 2006. s. 471-479 (Lecture Notes in Computer Science; Nr. 4699).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Sandboxing in a Distributed Pi-Calculus. / Hüttel, Hans; Kühnrich, Morten.

WITS 2006. red. / Dieter Gollmann; Jan Jürjens. 2006. s. 114-128.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Sensor Fusion using Dynamic Bayesian Networks in Livestock Production Buildings. / Hansen, Jens Alsted; Nielsen, Thomas Dyhre; Schiøler, Henrik.

Int. Conf. on Computational Intelligence for Modelling Control and Automation, CIMCA'06. red. / Masoud Mohammadian. IEEE Computer Society Press, 2006.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Undecidability Results for Bisimilarity on Prefix Rewrite Systems. / Jancar, Petr; Srba, Jiri.

Foundations of Software Science and Computation Structures: Proceedings of the 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. IEEE Computer Society Press, 2006. s. 277-291 (Lecture Notes in Computer Science; Nr. 3921).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

UPPAAL 4.0. / David, Alexandre; Larsen, Kim Guldstrand; Behrmann, Gerd; Håkansson, John; Pettersson, Paul; Yi, Wang; Hendriks, Martijn.

Third International Conference on the Quantitative Evaluation of SysTems (QEST) 2006. IEEE Computer Society Press, 2006. s. 125-126.

Publikation: Forskning › Konferenceartikel i proceeding

UPPAAL-Tiga : Timed Games for Everyone. / David, Alexandre; Larsen, Kim Guldstrand; Behrmann, Gerd; Fleury, Emmanuel; Lime, Didier; Cougnard, Agnès.

Proceedings of the 18th Nordic Workshop on Programming Theory. red. / Luca Aceto; Anna Ingolfdottir. Reykjavik University, 2006.

Publikation: Forskning › Konferenceabstrakt i proceeding

Visibly Pushdown Automata : From Language Equivalence to Simulation and Bisimulation. / Srba, Jiri.

Computer Science Logic: Proceedings of 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. IEEE Computer Society Press, 2006. s. 89-103 (Lecture Notes in Computer Science; Nr. 4207).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

A framework for job management in the NorduGrid ARC middleware. / Jensen, Henrik Thostrup; Kleist, Josva; Ryge Leth, Jesper.

Advances in Grid Computing - EGC 2005. red. / P.M.A Sloot; A.G. Hoekstra; T. Priol; A. Reinefeld; M. Bubak. IEEE Computer Society Press, 2005. s. 861-871 (Lecture Notes in Computer Science; Nr. 3470).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

An approach to handle Real Time and Probabilistic behaviors in e-commerce : Validating the SET Protocol. / Diaz, G.; Larsen, Kim Guldstrand; Pardo, J.; Valero, V.

Proceedings of The 20th Annual ACM Symposium on Applied Computing, E-Coomerce Track. New Mexico Institute of Mining and Technology, Socorro, NM, 2005.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Beyond Liveness : Efficient Parameter Synthesis for Timed Bounded Liveness. / Behrmann, Gerd; Larsen, Kim Guldstrand; Rasmussen, Jacob Illum.

International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press, 2005.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Bisimilarity is not finitely based over BPA with interrupt. / Aceto, Luca; Fokkink, Wan; Ingolfsdottir, Anna; Nain, Sumit.

Proceedings of Algebra and Coalgebra in Computer Science, 1st Conference, CALCO 2005. red. / José Luiz Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten. IEEE Computer Society Press, 2005. s. 54-68 (Lecture Notes in Computer Science; Nr. 3629).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Color-blind Specifications for Transformations of Reactive Synchronous Programs. / Larsen, Kim Guldstrand; Larsen, Ulrik; Wasowski, Andrzej.

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. red. / Maura Cerioli. IEEE Computer Society Press, 2005. (Lecture Notes in Computer Science; Nr. 3442).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

CyNC - a method for Real Time Analysis of Systems with Cyclic Data Flows. / Schiøler, Henrik; Nielsen, Jens F. Dalsgaard; Larsen, Kim Guldstrand; Jessen, Jan Jakob.

Proceedings of 13 th. RTS Conference on Embedded Systems. 2005.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

CyNC - towards a General Tool for Performance Analysis of Complex Distributed Real Time Systems. / Schiøler, Henrik; Jessen, Jan Jakob; Nielsen, Jens F. Dalsgaard; Larsen, Kim Guldstrand.

Proccedings of 17th Euromicro Conference on Real-Time Systems (ECRTS 05). 2005.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Efficient On-the-fly Algorithms for the Analysis of Timed Games. / Cassez, Franck; David, Alexandre; Fleury, Emmanuel; Larsen, Kim Guldstrand; Lime, Didier.

Proceedings of CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. red. / Martín Abadi; Luca de Alfaro. IEEE Computer Society Press, 2005. s. 66-80 (Lecture Notes in Computer Science; Nr. 3653).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Finite equational bases in process algebra: Results and open questions. / Aceto, Luca; Fokkink, W.; Ingolfsdottir, Anna; Luttik, B.

Processes, Terms and Cycles: Steps on the Road to Infinity. 2005. s. 338-367.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Foreword. / Aceto, Luca; Esik, Zoltan; Fokkink, Wan; Ingolfsdottir, Anna.

Theoretical Computer Science, Special Issue on Process Algebra. red. / Luca Aceto; Zoltan Esik; Wan Fokkink; Anna Ingolfsdottir. Pergamon Press, 2005. s. 127-129 (Theoretical Computer Science; Nr. 335(2-3)).

Publikation: Forskning › Forord/Indledning/efterskrift

Foreword. / Srba, Jiri; Smolka, Scott A.

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). red. / Jiri Srba; Scott A. Smolka. ENTCS. udg. Springer, 2005.

Publikation: Forskning - peer review › Forord/Indledning/efterskrift

Genetic linkage analysis algorithms and their implementation. / Ingolfsdottir, Anna; Gudbjartsson, Daniel.

Transactions on Computational Systems Biology III: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. red. / C. Priami; E. Merelli; P.P Gonzalez; A. Omicini. IEEE Computer Society Press, 2005. s. 123-144 (Lecture Notes in Computer Science; Nr. 3737).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Merging {DBMs} Efficiently. / David, Alexandre.

17th Nordic Workshop on Programming Theory, NWPT'05. DIKU, University of Copenhagen, 2005. s. 54-56.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies. / Schiøler, Henrik; Jessen, Jan Jakob; Nielsen, Jens F. Dalsgaard; Larsen, Kim Guldstrand.

Computers and Their Applications (CATA-2005). 2005.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

On Counting the Number of Consistent Genotype Assignments for Pedigrees. / Srba, Jiri.

Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. red. / R. Ramanujam; Sandeep Sen. IEEE Computer Society Press, 2005. (Lecture Notes in Computer Science; Nr. 3821).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Online Testing of Real-time Systems Using Uppaal. / Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, Brian.

Formal Approaches to Testing of Software (FATES 2004) Proceedings. red. / Jens Grabowski; Brian Nielsen. Springer Berlin / Heidelberg, 2005. s. 79-94 (Lecture Notes in Computer Science; Nr. 3395).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Optimal Conditional Reachability for Multi-Priced Timed Automata. / Larsen, Kim Guldstrand; Rasmussen, Jacob Illum.

Proceedings of Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. red. / Vladimiro Sassone. IEEE Computer Society Press, 2005. s. 234-249 (Lecture Notes in Computer Science; Nr. 3441).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Preface. / Aceto, Luca; Fokkink, Wan; Ulidowski, Irek.

Proceedings of the Workshop on Structural Operational Semantics (SOS 2004). Pergamon Press, 2005. s. 1 (Electronic Notes in Theoretical Computer Science; Nr. 1, Vol. 128).

Publikation: Forskning › Forord/Indledning/efterskrift

Priced Timed Automata : Decidability Results, Algorithms and Applications. / Behrmann, Gerd; Larsen, Kim Guldstrand; Rasmussen, Jacob Illum.

Revised Lectures of the Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004. red. / Frank de Boer; Marcello Bonsangue; Susanne Graf; Willem-Paul de Roever. Springer, 2005. s. 162-186 (Lecture Notes in Computer Science; Nr. 3657).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). / Srba, Jiri (Redaktør); Smolka, Scott A. (Redaktør).

7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). NS-05-4. udg. BRICS, 2005. s. 1-70.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Production Scheduling by Reachability Analysis : A Case Study. / Behrmann, Gerd; Brinksma, Ed; Hendriks, Martijn; Mader, Angelika.

IPDPS 2005. IEEE Computer Society Press, 2005.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Recursion Versus Replication in Simple Cryptographic Protocols. / Hüttel, Hans; Srba, Jiri.

SOFSEM 2005 : Theory and Practice of Computer Science: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. red. / Peter Vojtáš; Mária Bieliková; Bernadette Charron-Bost; Ondrej Sýkora. IEEE Computer Society Press, 2005. s. 178-187 (Lecture Notes in Computer Science; Nr. 3381).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Recursion vs. Replication in Simple Cryptographic Protocols. / Huttel, Hans; Srba, Jiri.

Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). 2005. s. 175-184.

Publikation: Forskning › Konferenceartikel i proceeding

Report on the Icelandic Centre of Excellence in Theoretical Computer Science. / Aceto, Luca; Halldorsson, Magnus M.; Ingolfsdottir, Anna.

Bulletin of the EATCS volume 86 (June 2005). red. / Vladimiro Sassone. Vol. 86 EATCS, 2005. s. 262-263 (Bulletin of the EATCS).

Publikation: Formidling › Bidrag til bog/antologi

Scheduling lacquer production by reachability analysis : A case study. / Behrmann, Gerd; Brinksma, Ed; Hendriks, Martijn; Mader, Angelika.

IFAC World Congress. Elsevier Science, 2005.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Synthesis of Optimal Strategies Using HyTech. / Bouyer, Patricia; Cassez, Franck; Larsen, Kim Guldstrand; Fleury, Emmanuel.

Proceedings of the Workshop on Games in Design and Verification. Elsevier Science, 2005. s. 11-31 (Electronic Notes of Theoretical Computer Science; Nr. 1, Vol. 119).

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Testing Real-Time Embedded Software using UppAal-TRON : an industrial case study. / Mikucionis, Marius; Larsen, Kim Guldstrand; Nielsen, Brian; Skou, Arne.

Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, 2005. s. 299-306.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

The Distributed-SDF Domain. / Cuadrado, Daniel Lázaro; Ravn, Anders Peter; Koch, Peter.

The Sixth Biennial Ptolemy Miniconference Proceedings. EECS Department, University of California, 2005.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Tools for Verification and Validation. / Larsen, Kim Guldstrand; Nielsen, Brian.

Embedded Systems Design: The ARTIST Roadmap for Research and Development. red. / Bruno Bouyssounouse; Joseph Sifakis. Berlin / Heidelberg : IEEE Computer Society Press, 2005. s. 72 (Lecture Notes in Computer Science, Vol. 3436).

Publikation: Forskning › Bidrag til bog/antologi

Types for Access Control in a Calculus of Mobile Resources. / Hüttel, Hans; Kühnrich, Morten.

Electronic Notes in Theoretical Computer Science: Proceedings of SecCo'05. 2005.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Using UPPAAL to Analyze an MPEG-2 Algorithm. / Cambronero, M. Emilia; Ravn, Anders Peter; Valero, Valentin.

Proceedings of the VII Workshop Brasileiro de Tempo Real. 2005. s. 73-82.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

A Tutorial on UPPAAL. / Behrmann, Gerd; David, Alexandre; Larsen, Kim Guldstrand.

Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science (revised lectures). red. / Marco Bernardo, Flavio Corradini (eds.). 3185. udg. Springer, 2004. s. 200-237.

Publikation: Forskning › Konferenceartikel i proceeding

An Approach to Quality Estimation in Model-Based Development. / Holmegaard, Jens Peter; Koch, Peter; Ravn, Anders Peter.

IProceedings of Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2004): TUCS General Publication. 29. udg. Turku Centre for Computer Science, 2004. s. 81-92.

Publikation: Forskning › Konferenceartikel i proceeding

Color-blind Behavioral Specifications for Transformations of Reactive Synchronous Programs. / Larsen, Ulrik; Larsen, Kim Guldstrand; Wasowski, Andrzej.

Proceedings of the 16th Nordic Workshop on Programming Theory: Technical report. red. / Paul Pettersson; Wang Yi. 2004-041. udg. Uppsala Sweden, 2004. s. 22-24.

Publikation: Forskning › Konferenceartikel i proceeding

Completeness Results for Undecidable Bisimilarity Problems. / Srba, Jiri.

Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03): ENTCS. 98. udg. Netherlands, 2004. s. 5-19.

Publikation: Forskning › Konferenceartikel i proceeding

Connectivity testing through model-checking. / Godskesen, J.C.; Nielsen, Brian; Skou, Arne.

Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Vol. 3235 2004. s. 167-184.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Directed homology. / Fahrenberg, Uli.

CONCUR 2003: CMCIM and GETCO. red. / T. Hildebrandt; A. Kurz; E. Goubault; U. Fahrenberg. 2004. s. 111-125.

Publikation: Forskning - peer review › Konferenceartikel i proceeding

Highly Undecidable Questions for Process Algebras. / Srba, Jiri; Jancar, Petr.

Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). Kluwer Academic Publishers, 2004. s. 507-520.

Publikation: Forskning › Konferenceartikel i proceeding

I takt med Tiden. / Behrmann, Gerd; Nielsen, Brian; Mikucionis, Marius.

Rundt om CISS. red. / Kim Larsen; Lars Vestergaard; Naia Bang. 2004.

Publikation: Forskning › Bidrag til bog/antologi

Integrating an UML tool in an Industrial Development Process : a Case Study. / Knudsen, John; Gøttler, Rene; Jacobsen, Michael; Jensen, Mads W.; Rye-Andersen, Jens G.; Ravn, Anders Peter.

UML'04 satellite workshop proceedings. red. / Jan Jürens; Eduardo B. Fernandez; Robert France; Bernhard Rumpe. 2004.

Publikation: Forskning › Konferenceartikel i proceeding

Intelligent Sensory Using Compact Data Structures and Bayesian Networks. / Hansen, Jens Alsted.

Proceeding of the 16th Nordic Workshop on Programming Theory. 16. udg. Department of Information Tecnology, Uppsala University, 2004. s. 99-102.

Publikation: Forskning › Konferenceabstrakt i proceeding

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. / Behrmann, Gerd; Bouyer, Patricia; Larsen, Kim Guldstrand; Pelánek, Radek.

Proceedings of TACAS 2004: Lecture Notes in Computer Scinece. red. / Kurt Jensen; Andreas Podelski. 2988. udg. Springer, 2004. s. 312-326.

Publikation: Forskning › Konferenceartikel i proceeding

Minimal DBM substraction. / Larsen, Kim Guldstrand; David, Alexandre; Håkansson, John; Pettersson, Paul.

Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala Technical Report. red. / Paul Pettersson; Wang Yi. 2004-041. udg. 2004. s. 17-21.

Publikation: Forskning › Konferenceartikel i proceeding

Modeling and Verifiying Parallel Processes. / Larsen, Kim Guldstrand.

Proceedings of MOVEP 2004. red. / Jean-Francois Raskin. 2004.

Publikation: Forskning › Konferenceartikel i proceeding

On the Construction of Connectivity Test Cases in the Setting of UppAal. / Nielsen, Brian; Jens. Chr., Godskesen; Skou, Arne.

Formal Techniques for Networked and Distributed Systems - FORTE 2004. Vol. 3235 Springer Berlin / Heidelberg, 2004.

Publikation: Forskning › Konferenceartikel i proceeding

Online Testing of Real-time Systems using Uppaal : Status and Future Work. / Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, Brian.

Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. red. / Brinksma; Grieskamp; Tretmans; Weyuker. Vol. 04371 IBFI gem. GmbH, Schloss Dagstuhl, 2004.

Publikation: Forskning › Konferenceartikel i proceeding

Optimal Scheduling and Priced Timed Automata. / Larsen, Kim Guldstrand.

Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala technical report. red. / Paul Pettersson; Wang Yi. 2004-041. udg. 2004. s. 93-94.

Publikation: Forskning › Konferenceartikel i proceeding

Optimal Strategies in Priced Timed Game Automata. / Larsen, Kim Guldstrand; Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel.

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science. 3328. udg. Springer, 2004. s. 148-160.

Publikation: Forskning › Konferenceartikel i proceeding

Performance of the NorduGrid ARC and the Dulcinea Executor in ATLAS Data Challenge 2. / Kleist, Josva; Eerola, P; Ekelöf, T.; Smirnova, O.; Ellert, M.; Hansen, John Renner; Konstantinov, A.; Kónya, B.; Nielsen, Jakob Langaard; Ould-Saada, F.; Wäänänen, Anders; Sturrock, R.; Jensen, Henrik Thostrup; Kalici, Daniel; Teras, A.; Heller, H.; Kennedy, J.; Duckeck, G.; Mycklebust, J.F.; Pajchel, K; Read, A.; Riiser, H.; Hanshaugen, M.; Sunde, S.; Filipic, A.; Tadel, M.; Nixon, L.; Lindemann, J.; Malinowsky, L.; Smeds, N.; Sandgren, A.; Wadenstein, M.; Haeberli, C.

Proceedings of CHEP'04. 2004.

Publikation: Forskning › Konferenceartikel i proceeding