Distributed and Embedded Systems

401 - 500 ud af 603Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 2004
  2. Udgivet

    Proceedings of the Workshop on Structural Operational Semantics : London, England (August 30, 2004). / Aceto, Luca; Fokkink, Wan; Ulidowski, Irek.

    2004.

    Publikation: Forskning › Working paper

  3. Udgivet

    Quality Estimation of Component-Based Embedded Systems. / Holmegaard, Jens Peter; Ravn, Anders Peter; Koch, Peter.

    Proceedings of Euromicro Work in Progress. 2004.

    Publikation: Forskning › Konferenceartikel i proceeding

  4. Udgivet

    Recursive Ping-Pong Protocols. / Huttel, Hans; Srba, Jiri.

    Proceedings of 4th International Workshop on Issues in the Theory of Security. 2004. s. 129-140.

    Publikation: Forskning › Konferenceartikel i proceeding

  5. Udgivet

    Resource-Optimal Scheduling Using Priced Timed Automata. / Larsen, Kim Guldstrand; Rasmussen, Jacob Illum; Subramani, K.

    Proceedings of Tools and Algorithms for the Construction and Analysis of Systems,: Lecture Notes in Computer Science. red. / Jensen, Kurt ; Podelski, Andreas (eds.). 2988. udg. Sringer Verlag, 2004. s. 220-235.

    Publikation: Forskning › Konferenceartikel i proceeding

  6. Udgivet

    Roadmap of Infinite Results. / Srba, Jiri.

    I: Current Trends in Theoretical Computer Science, The Challenge of the New Century, Vol. 2, Nr. 1, 2004, s. 337-350.

    Publikation: Forskning - peer review › Tidsskriftartikel

  7. Udgivet

    Some of My Favourite Results in Classic Process Algebra. / Aceto, Luca.

    Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol. 2: Formal Models and Semantics. red. / G. Paun; G. Rozenberg; A. Salomaa. World Scientific, 2004.

    Publikation: Forskning › Bidrag til bog/antologi

  8. Udgivet

    Special issue of Journal of Logic and Algebraic Programming on Structural Operational Semantics. / Aceto, Luca; Fokkink, Wan.

    Pergamon Press, 2004. 463 s. (Journal of Logic and Algebraic Programming; Nr. vols. 60-61).

    Publikation: Forskning › Bog

  9. Udgivet

    Staying Alive as Cheaply as Possible. / Larsen, Kim Guldstrand; Bouyer, Patricia; Brinksma, Ed.

    Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993. udg. Springer, 2004. s. 203-218.

    Publikation: Forskning › Konferenceartikel i proceeding

  10. Udgivet

    T-UPPAAL: Online Model-based Testing of Real-Time Systems.. / Mikucionis, Marius; Larsen, Kim Guldstrand; Nielsen, Brian.

    19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings. red. / Paul Grunbacher. IEEE Computer Society Press, 2004. s. 396-397.

    Publikation: Forskning › Konferenceartikel i proceeding

  11. Udgivet

    The Complexity of Checking Consistency of Pedigree Information and Related Problems. / Aceto, Luca; Hansen, Jens A.; Ingolfsdottir, Anna; Johnsen, Jacob; Knudsen, John.

    I: Journal of Computer Science and Technology, Vol. 19, Nr. 1, 2004, s. 42-59.

    Publikation: Forskning - peer review › Tidsskriftartikel

  12. Udgivet

    Unifying proof methodologies of duration calculus and timed linear temporal logic. / Liu, Zhiming; Ravn, Anders P.; Li, Xioshan.

    I: Formal Aspects of Computing, Vol. 16, Nr. 2, 2004, s. 140-154.

    Publikation: Forskning - peer review › Tidsskriftartikel

  13. Udgivet

    Updatable timed automata. / Bouyer, Patricia; Dufourd, C.; Fleury, Emmanuel; Petit, A.

    I: Theoretical Computer Science, Vol. 321, Nr. 2-3, 2004, s. 291-345.

    Publikation: Forskning - peer review › Tidsskriftartikel

  14. Udgivet

    Using AsmL as an executable specification language: Synhchronous Dataflow Schedulers in Ptolemy II. / Lázaro Cuadrado, Daniel; Koch, Peter; Ravn, Anders Peter.

    Proceedings of Workshop on Abstract State Machines ASM 2004, Short Presentations. Dept. of Comp. Science Martin Luther Universität Halle-Wittenberg, 2004. s. 19-28.

    Publikation: Forskning › Konferenceartikel i proceeding

  15. 2003
  16. Udgivet

    A Note on an Expressiveness Hierarchy for Multi-exit Iteration. / Aceto, Luca; Fokkink, W. J.; Ingolfsdottir, Anna.

    I: Information Processing Letters, Vol. 87, Nr. 1, 2003, s. 17-23.

    Publikation: Forskning - peer review › Tidsskriftartikel

  17. Udgivet

    A semantic theory for value-passing processes based on the late approach. / Ingolfsdottir, Anna.

    I: Information and Computation, Vol. 184, Nr. 1, 2003, s. 1-44.

    Publikation: Forskning - peer review › Tidsskriftartikel

  18. Udgivet

    A Tool Architecture for the Next Generation of Uppaal. / Behrmann, Gerd; David, Alexandre; Larsen, Kim Guldstrand; Wang, Yi.

    UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>, 2003.

    Publikation: Forskning › Konferenceartikel i proceeding

  19. Udgivet

    A Tool Architecture for the Next Generation of Uppaal. / Behrmann, Gerd; David, Alexandre; Larsen, Kim Guldstrand; Wang, Yi.

    Uppsala University, 2003. (Reports; Nr. 2003-011).

    Publikation: Forskning › Bog

  20. Udgivet

    Adding symmetry reduction to UPPAAL. / Martijn, Hendriks; Behrmann, Gerd; Larsen, Kim Guldstrand; Frits, Vaandrager.

    Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). 2003.

    Publikation: Forskning › Konferenceartikel i proceeding

  21. Udgivet

    AsmL Specification of a Ptolemy II Scheduler. / Lázaro Cuadrado, Daniel; Koch, Peter; Ravn, Anders Peter.

    Abstract State Machines 2003 (ASM 2003): LNCS. red. / Börger, E. : Gargantini, A. : Riccobene, E. (eds.). 2589. udg. Springer, 2003. s. 417.

    Publikation: Forskning › Konferenceartikel i proceeding

  22. Udgivet

    CCS with Hennessy's Merge has no Finite Equational Axiomatization. / Aceto, Luca; Fokkink, W. J.; Ingolfsdottir, Anna; Luttik, B.

    2003. s. 37.

    Publikation: Forskning › Working paper

  23. Udgivet

    Compact data structures and state-space reduction for model-checking real-time systems. / Larsen, Kim Guldstrand; Larsson, Fredrik; Pettersson, Paul; Yi, Wang.

    I: Real-Time Systems, Vol. 25, Nr. 2-3, 2003, s. 255-275.

    Publikation: Forskning - peer review › Tidsskriftartikel

  24. Udgivet

    Danfoss {EKC} Trial Project Deliverables. / Larsen, Kim Guldstrand; Larsen, Ulrik; Nielsen, Brian; Skou, Arne; Wasowski, Andrzej.

    December udg. Århus University : BRICS, 2003. 53 s. (BRICS RS; Nr. RS-03-48).

    Publikation: Forskning › Bog

  25. Udgivet

    Data Structures and Algorithms for the Analysis of Real Time Systems. / Behrmann, Gerd.

    Aalborg Universitet : Department of Computer Sciences, 2003. 179 s. (Ph.D. Thesis).

    Publikation: Forskning › PhD. afhandling

  26. Udgivet

    Distributed Reachability Analysis in Timed Automata. / Behrmann, Gerd.

    I: Software Tools for Technology Transfer, 2003.

    Publikation: Forskning - peer review › Tidsskriftartikel

  27. Udgivet

    Efficient and Orderly Co-simulation of Heterogeneous Computational Models. / Lázaro Cuadrado, Daniel; Koch, Peter; Ravn, Anders Peter.

    The Fifth Biennial Ptolemy Miniconference, May 2003, EECS Department, University of California, Berkeley, USA. 2003.

    Publikation: Forskning › Konferenceartikel i proceeding

  28. Udgivet

    Equational theories of tropical sernirings. / Aceto, Luca; Esik, Zoltan; Ingolfsdottir, Anna.

    I: Theoretical Computer Science, Vol. 298, Nr. 3, 2003, s. 417-469.

    Publikation: Forskning - peer review › Tidsskriftartikel

  29. Udgivet

    Foreword to Special Issue on "The Difference between Concurrent and Sequential Computation'' of Mathematical Structures. / Aceto, Luca; Longo, Giuseppe; Victor, Björn.

    I: Mathematical Structures in Computer Science, Vol. 13, Nr. 4, 2003, s. 481-484.

    Publikation: Forskning - peer review › Tidsskriftartikel

  30. Udgivet

    Hybrid Action Systems. / Rönnkö, M.; Ravn, Anders Peter; Sere, K.

    I: Theoretical Computer Science, Vol. 290, Nr. 190, 2003, s. 937-973.

    Publikation: Forskning - peer review › Tidsskriftartikel

  31. Udgivet

    Hybrid Control Design for a Wheeled Mobile Robot. / Bak, Thomas; Bendtsen, Jan Dimon; Ravn, Anders Peter.

    <Forlag uden navn>, 2003.

    Publikation: Forskning › Working paper

  32. Udgivet

    Hybrid Control Design for a Wheeled Mobile Robot. / Bak, Thomas; Bendtsen, Jan Dimon; Ravn, Anders Peter.

    I: Lecture Notes in Computer Science, Vol. 2623, 2003, s. 50-65.

    Publikation: Forskning - peer review › Tidsskriftartikel

  33. Udgivet

    Hybrid Control Design for a Wheeled Mobile Robot. / Bak, Thomas; Bendtsen, Jan Dimon; Ravn, Anders Peter.

    Hybrid Systems: Computation and Control, HSCC 2003: Lecture Notes in Computer Science. red. / Oded Maler, Amir Pnueli (eds.). 2623. udg. Springer, 2003. s. 50-65.

    Publikation: Forskning › Konferenceartikel i proceeding

  34. Udgivet

    Impact of Scheduling Policies on Control System Performance. / Schiøler, Henrik; Ravn, Anders Peter; Nielsen, Jens Frederik Dalsgaard.

    EuroMicro 03 Satelite Event on CoDesign in Real Time Systems (CERTS), Porto, Portugal, July 2003. 2003.

    Publikation: Forskning › Konferenceartikel i proceeding

  35. Udgivet

    Impact of Scheduling Policies on Control System Performance. / Schiøler, Henrik; Ravn, Anders Peter; Nielsen, Jens Frederik Dalsgaard.

    <Forlag uden navn>, 2003.

    Publikation: Forskning › Working paper

  36. Udgivet

    Imperative objects as mobile processes. / Kleist, Josva; Sangiorgi, D.

    I: Science of Computer Programming, Vol. 44, Nr. 3, 2003, s. 293-342.

    Publikation: Forskning - peer review › Tidsskriftartikel

  37. Udgivet

    Nested Semantics over Finite Trees are Equationally Hard. / Aceto, Luca; Fokkink, W. J.; van Glabeek, R. J.; Ingolfsdottir, Anna.

    2003.

    Publikation: Forskning › Working paper

  38. Udgivet

    Nested Semantics over Finite Trees are Equationally Hard (Invited Talk). / Aceto, Luca.

    Proceedings of EXPRESS'03: Electronic Notes in Theoretical Computer Science. red. / F Corradini; U Nestmann. 96. udg. Pergamon Press, 2003. s. 5-6.

    Publikation: Forskning › Konferenceartikel i proceeding

  39. Udgivet

    Online On-the-Fly Testing of Real-time Systems. / Mikucionis, Marius; Larsen, Kim Guldstrand; Nielsen, Brian.

    September udg. Århus University : BRICS, 2003. 14 s. (BRICS RS; Nr. RS-03-49).

    Publikation: Forskning › Bog

  40. Udgivet

    Proceedings of First International Workshop on Formal Modeling and Analysis of Timed, Marseille, September 2003. / Larsen, Kim Guldstrand (ed.); Niebert, Peter (ed.).

    2003.

    Publikation: Forskning › Bog

  41. Udgivet

    Real-time system testing on-the-fly. / Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, Brian.

    The 15th Nordic Workshop on Programming Theory (NWPT’03). red. / Kaisa Sere and Marina Walden and Anna Karlsson. Åbo Akademi University, 2003.

    Publikation: Forskning › Konferenceartikel i proceeding

  42. Udgivet

    Regular languages definable by Lindstrom quantifiers. / Esik, Z.; Larsen, Kim Guldstrand.

    I: Informatique théorique et applications (En ligne), Vol. 37, Nr. 3, 2003, s. 179-241.

    Publikation: Forskning - peer review › Tidsskriftartikel

  43. Udgivet

    Regular languages deinable bt Lindström quantifiers. / Esik, Zoltan; Larsen, Kim Guldstrand.

    I: Informatique théorique et applications (Imprimé), Vol. 34, 2003, s. 179-242.

    Publikation: Forskning - peer review › Tidsskriftartikel

  44. Udgivet

    Resource-Efficient Scheduling for Real Time Systems. / Larsen, Kim Guldstrand.

    Proceedings of the 3rd Internatilnal Conference in Embedded Software (EMSOFT 2003): Lecture Notes in Computer Science. Vol. 2855 2003. s. 16-19.

    Publikation: Forskning › Konferenceartikel i proceeding

  45. Udgivet

    Single Point Algorithms in Genetic Linkage Analysis. / Gudbjartsson, Daniel; Hansen, Jens A.; Ingolfsdottir, Anna; Johnsen, Jacob; Knudsen, John.

    Revised Selected Papers: Lecture Notes in Computer Science. 2809. udg. 2003. s. 372-383.

    Publikation: Forskning › Konferenceartikel i proceeding

  46. Udgivet

    Some of My Favourite Results in Classic Process Algebra. / Aceto, Luca.

    The Concurrency Column. red. / (L. Aceto ed.). 2003. s. 90-108 (Bulletin of the EATCS; Nr. 81).

    Publikation: Forskning › Bidrag til bog/antologi

  47. Udgivet

    Special Issue on ``The Difference between Concurrent and Sequential Computation. / Aceto, Luca; Longo, Giuseppe; Victor, Björn.

    I: Mathematical Structures in Computer Science, Vol. 13, Nr. 4-5, 2003, s. 482-798.

    Publikation: Forskning - peer review › Tidsskriftartikel

  48. Udgivet

    The Complexity of Checking Consistency of Pedigree Information and Related Problems. / Aceto, Luca; Hansen, Jens A.; Ingolfsdottir, Anna; Johnsen, J.; Knudsen, John.

    Proceedings of the Eighth Italian Conference on Theoretical Computer Science (ICTCS'03). University Center Bertinoro, Italy, 13-15 October 2003: Lecture Notes in Computer Science. red. / Carlo Blundo and Cosimo Laneve (eds.). 2841. udg. Springer, 2003. s. 174-187.

    Publikation: Forskning › Konferenceartikel i proceeding

  49. Udgivet

    The geometry of timed PV programs. / Fahrenberg, Ulrich.

    Proceedings of the Fourth Workshop on Geometric and Topological Methods in Concurrency: Electronic Notes in Computer Science. Vol. 81. udg. Pergamon Press, 2003. s. 14.

    Publikation: Forskning › Konferenceartikel i proceeding

  50. Udgivet

    The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis. / Aceto, Luca; Esik, Zoltan; Ingolfsdottir, Anna.

    I: Theoretical Computer Science, Vol. 293, Nr. 1, 2003, s. 169-188.

    Publikation: Forskning - peer review › Tidsskriftartikel

  51. Udgivet

    The power of reachability testing for timed automata. / Aceto, Luca; Bouyer, Patricia; Burgueno, A.; Larsen, Kim Guldstrand.

    I: Theoretical Computer Science, Vol. 300, Nr. 1-3, 2003, s. 411-475.

    Publikation: Forskning - peer review › Tidsskriftartikel

  52. Udgivet

    Time-Optimal Test Cases for Real-Time Systems. / Hessel, Anders; Larsen, Kim Guldstrand; Nielsen, Brian; Pettersson, Paul; Skou, Arne.

    Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Vol. 2791 2003. s. 234-245.

    Publikation: Forskning › Konferenceartikel i proceeding

  53. Udgivet

    To Store or Not to Store. / Behrmann, Gerd; Larsen, Kim Guldstrand; Pelánek, Radek.

    Proceedings of CAV 2003: Lecture Notes in Computer Science. 2725. udg. 2003. s. 433-445.

    Publikation: Forskning › Konferenceartikel i proceeding

  54. Udgivet

    Towards Reliable Integrated Services for Dependable Systems. / Schiøler, Henrik; Ravn, Anders Peter; Izadi-Zamanabadi, Roozbeh; Nielsen, Kirsten Mølgaard; Madsen, Ole Brun; Nielsen, Jens Frederik Dalsgaard.

    <Forlag uden navn>, 2003.

    Publikation: Forskning › Working paper

  55. Udgivet

    Towards Reliable Integrated Services for Dependable Systems. / Schiøler, Henrik; Ravn, Anders Peter; Izadi-Zamanabadi, Roozbeh; Nielsen, Kirsten Mølgaard; Madsen, Ole Brun; Nielsen, Jens Frederik Dalsgaard.

    EuroMicro 03 Satelite Event on Real Time Lans in the Internet Age (RTLIA) Porto, Portugal, July 2003. 2003.

    Publikation: Forskning › Konferenceartikel i proceeding

  56. Udgivet

    Unification & sharing in timed automata verification. / David, Alexandre; Behrmann, Gerd; Larsen, Kim Guldstrand; Yi, Wang.

    10th International SPIN Workshop 2003. IEEE Computer Society Press, 2003. s. 225-229 (Lecture Notes in Computer Science; Nr. 2648).

    Publikation: Forskning › Konferenceartikel i proceeding

  57. Udgivet

    Untameable timed automata. / Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine.

    I: Theoretical Computer Science, Vol. 321, Nr. 1, 2003, s. 291-345.

    Publikation: Forskning - peer review › Tidsskriftartikel

  58. 2002
  59. Udgivet

    A Formalization of Linkage Analysis. / Ingolfsdottir, Anna; Christensen, A.I.; Hansen, Jens A.; Johnsen, J.; Knudsen, John; Rasmussen, Jacob Illum.

    Århus : BRICS - Aarhus University, 2002. (B R I C S Report Series; Nr. RS-02-7).

    Publikation: Forskning › Bog

  60. Udgivet

    A Fully Equational Proof of Parikh's Theorem. / Aceto, Luca; Esik, Zoltan; Ingolfsdottir, Anna.

    I: Informatique théorique et applications (Imprimé), Vol. 36, Nr. 2, 2002, s. 129-153.

    Publikation: Forskning - peer review › Tidsskriftartikel

  61. Udgivet

    A Note on an Expressiveness Hierarchy for Multi-exit Iteration. / Aceto, Luca; Fokkink, W. J.; Ingolfsdottir, Anna.

    Århus : BRICS - Aarhus University, 2002. (B R I C S Report Series; Nr. RS-02-40).

    Publikation: Forskning › Bog

  62. Udgivet

    A Performance Study of Distributed Timed Automata Reachability Analysis. / Behrmann, Gerd.

    Pergamon Press, 2002. (Electronical notes in theoretical computer science; Nr. 68).

    Publikation: Forskning › Bog

  63. Udgivet

    Aliasing Models for Mobile Objects. / Huttel, Hans; Kleist, Josva; Nestmann, Uwe; Merro, Massimo.

    I: Information and Computation, Vol. 175, Nr. 1, 2002, s. 3-33.

    Publikation: Forskning - peer review › Tidsskriftartikel

  64. Udgivet

    Automated Test Generation from Timed Automata. / Nielsen, Brian; Skou, Arne.

    I: International Journal on Software Tools for Technology Transfer, 2002.

    Publikation: Forskning - peer review › Tidsskriftartikel

  65. Udgivet

    Automated verification of an audio-control protocol using UPPAAL. / Bengtsson, J.; Griffioen, W.O.D.; Kristoffersen, K.J.; Larsen, Kim Guldstrand; Larsson, F.; Pettersson, P.; Yi, W.

    I: Journal of Logic and Algebraic Programming, Vol. 52-53, 2002, s. 163-181.

    Publikation: Forskning - peer review › Tidsskriftartikel

  66. Udgivet

    Checking Consistency of Pedigree Information is NP-complete. / Aceto, Luca; Hansen, Jens A.; Ingolfsdottir, Anna; Johnsen, J.; Knudsen, John.

    Århus : BRICS - Aarhus University, 2002. (B R I C S Report Series; Nr. RS-02-42).

    Publikation: Forskning › Bog

  67. Udgivet

    Computer Aided Verification : Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002. / Brinksma, E.; Larsen, Kim Guldstrand.

    Berlin : IEEE Computer Society Press, 2002. 626 s. (Lecture notes in computer science; Nr. 2404).

    Publikation: Forskning › Bog

  68. Udgivet

    Deciding Framed Bisimilarity. / Huttel, Hans.

    Proceedings of the 4th International Workshop on Verification (INFINITY'02), Brno, Czech Republic, August 24, 2002: FIMU. RS-2002-04. udg. 2002. s. 1-20.

    Publikation: Forskning › Konferenceartikel i proceeding

  69. Udgivet

    Deciding Framed Bisimilarity. / Huttel, Hans.

    Århus : BRICS - Aarhus University, 2002. (BRICS Research Report; Nr. RS-02-25).

    Publikation: Forskning › Bog

  70. Udgivet

    Equational Axioms for Probabilistic Bisimulation. / Aceto, Luca; Esik, Zoltan; Ingolfsdottir, Anna.

    Kirchner, H. (ed.) : Ringeissen, C. (ed.): Lecture Notes in Computer Science. 2422. udg. IEEE Computer Society Press, 2002. s. 239-253.

    Publikation: Forskning › Konferenceartikel i proceeding

  71. Udgivet

    Exact Acceleration of Real-Time Model Checking. / Hendriks, M.; Larsen, Kim Guldstrand.

    Pergamon Press, 2002. (Electronic notes in theoretical science; Nr. 65).

    Publikation: Forskning › Bog

  72. Udgivet

    Handoff Initiation in Mobile IPv6. / Andersen, T. W.; Lindballe, A.; Nielsen, Brian.

    Wireless IP and building the mobile Internet. red. / Dixit, Sudhir (ed.) : Prasad, Ramjee (ed.). Boston : Artech House, 2002. (Artech House universal personal communications series).

    Publikation: Forskning › Bidrag til bog/antologi

  73. Udgivet

    Is your Model Checker on Time? : On the Complexity of Model Checking for Timed Modal Logics. / Aceto, Luca; Laroussinie, F.

    I: Journal of Logic and Algebraic Programming, Vol. 52-53, 2002, s. 7-51.

    Publikation: Forskning - peer review › Tidsskriftartikel

  74. Udgivet

    Mobile Objects as Mobile Processes. / Massimo, M.; Nestmann, U.; Kleist, Josva.

    I: Information and Computation, Nr. 177, 2002, s. 1-47.

    Publikation: Forskning - peer review › Tidsskriftartikel

  75. Udgivet

    Modal Logics for Cryptographic Processes. / Frendrup, U.; Huttel, Hans; Jensen, N. J.

    Nestmann, Uwe (ed.) : Panangaden, Prakash (ed.): Electronic notes in theoretical computer science. 68. udg. Pergamon Press, 2002.

    Publikation: Forskning › Konferenceartikel i proceeding

  76. Udgivet

    New UPPAAl Architecture. / David, A.; Behrmann, Gerd; Larsen, Kim Guldstrand; Yi, W.

    Proceedings of the 2nd Workshop on Real-Time Tools (RT-TOOLS 2002), August 1, 2002, Copenhagen, Denmark. 2002.

    Publikation: Forskning › Konferenceartikel i proceeding

  77. Udgivet

    Planning and Operation of an Autonomous Vehicle. / Sørensen, C.G.; Olsen, H.J.; Ravn, Anders Peter; Makowski, P.

    Proc. 2002 ASAE / CIGR XVth World Congress, Chicago, USA, July 29 - August 1 2002: ASAE Technical Library. 021177. udg. ASAE, 2002.

    Publikation: Forskning › Konferenceartikel i proceeding

  78. Udgivet

    Preliminary Proceedings of the 3rd International Workshop on Models for Time-Critical Systems (MTCS '02). / Vogler, W (ed.); Larsen, Kim Guldstrand.

    2002.

    Publikation: Forskning › Bog

  79. Udgivet

    Reduction and Refinement Strategies for Probalistic Analysis. / D'Argenio, P.R.; Jeannet, B.; Jensen, H.E.; Larsen, Kim Guldstrand.

    Process Algebra and Probablistic Methods. red. / Hermanns, H. (ed.) : Sagala R. (ed.). Berlin : IEEE Computer Society Press, 2002. (Lecture notes in computer science; Nr. 2399).

    Publikation: Forskning › Bidrag til bog/antologi

  80. Udgivet

    Regular Languages Definable by Lindström Quantifiers (Preliminary Version). / Ésik, Z.; Larsen, Kim Guldstrand.

    Århus : BRICS, 2002. (B R I C S Report Series; Nr. RS-02-21).

    Publikation: Forskning › Bog

  81. Udgivet

    Solving Planning Problems Using Real-Time Model Checking : Translating PDDL3 into Timed Automata. / Dierks, Henning; Behrmann, Gerd; Larsen, Kim Guldstrand.

    AIPS 2002 Workshop on Planning via Model Checking. 2002.

    Publikation: Forskning › Konferenceartikel i proceeding

  82. Udgivet

    Special Issue of the Nordic Journal of Computing devoted to selected papers from EXPRESS'01: 8th International Workshop on Expressiveness in Concurrency. / Aceto, Luca; Panangaden, P.

    I: Nordic Journal of Computing, Vol. 9, Nr. 2, 2002.

    Publikation: Forskning - peer review › Tidsskriftartikel

  83. Udgivet

    UPPAAL Implementation Secrets. / Behrmann, Gerd; Bengtsson, J.; David, A.; Larsen, K. G.; Pettersson, P.; Yi, W.

    Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, September 9--12 2002, University of Oldenburg, Germany. 2002.

    Publikation: Forskning › Konferenceartikel i proceeding

  84. 2001
  85. Udgivet

    2-Nested Simulation is not Finitely Equationally Axiomatizable. / Aceto, Luca; Fokkink, W. J.; Ingolfsdottir, Anna.

    STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Ferreira, A. : Reichel, H. (eds.). 2010. udg. IEEE Computer Society Press, 2001. s. 39-50.

    Publikation: Forskning › Konferenceartikel i proceeding

  86. Udgivet

    A Fully Abstract Denotational Model for Observational Precongruence. / Ingolfsdottir, Anna; Schalk, A.

    I: Theoretical Computer Science, Vol. 254, Nr. 1/2, 2001, s. 35-61.

    Publikation: Forskning - peer review › Tidsskriftartikel

  87. Udgivet

    As Cheap as Possible : Efficient Cost-Optimal Reachability for Priced Timed Automat. / Larsen, Kim Guldstrand; Behrmann, Gerd; Brinksma, E.; Fehnker, A.; Hune, T.; Pettersson, P.; Romijn, J.

    Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18 - 22, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Berry, G. : Comon, H. : Finkel, A. (eds.). 2102. udg. IEEE Computer Society Press, 2001. s. 493-505.

    Publikation: Forskning › Konferenceartikel i proceeding

  88. Udgivet

    Automated Test Generation Timed Automata. / Nielsen, Brian; Skou, Arne.

    Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Margaria, T. : Yi, W. (eds.). 2031. udg. IEEE Computer Society Press, 2001. s. 343-357.

    Publikation: Forskning › Konferenceartikel i proceeding

  89. Udgivet

    Axiomatizing Tropical Semirings. / Aceto, Luca; Esik, Zoltan; Ingolfsdottir, Anna.

    Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Honsell, F. : Miculan, M.(eds.). 2030. udg. IEEE Computer Society Press, 2001. s. 42-56.

    Publikation: Forskning › Konferenceartikel i proceeding

  90. Udgivet

    CONCUR 2001 - Concurrency Theory : 12th International Conference Aalborg, Denmark, August 20 - 25, 2001. / Larsen, Kim Guldstrand; Nielsen, M. (Ed.).

    Berlin : IEEE Computer Society Press, 2001. (Lecture Notes in Computer Science; Nr. 2154).

    Publikation: Forskning › Bog

  91. Udgivet

    Conservative Extension in Structural Operational Semantics. / Aceto, Luca; Fokkink, J.; Verhoef, C.

    Current Trends in Theoretical Computer Science : Entering the 21st Century. red. / G- Paun; G. Rozenberg; A. Salomaa. World Scientific, 2001. s. 504-524.

    Publikation: Forskning › Bidrag til bog/antologi

  92. Udgivet

    Corrigendum: Volume 66 (1991) pp. 161-218, for the Article "A Domain Equation for Bisimulation" by Samson Abramsky. / Aceto, Luca; Ingolfsdottir, Anna.

    I: Information and Computation, Vol. 165, Nr. 2, 2001, s. 119-122.

    Publikation: Forskning - peer review › Tidsskriftartikel

  93. Udgivet

    Efficient Guiding Towards Cost-Optimality in UPPAAL. / Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas S.; Larsen, Kim Guldstrand; Pettersson, Paul; Romijn, Judi.

    Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, 2001. s. 174-188.

    Publikation: Forskning › Konferenceartikel i proceeding

  94. Udgivet

    Efficient Verification of Real-Time Systems : Compact Data Structure and State-Space Reduction. / Larsen, Kim Guldstrand; Larsson, F.; Pettersson, P.; Yi, W.

    2001.

    Publikation: Forskning › Bog

  95. Udgivet

    Guided Synthesis of Control Programs using UPPAAL. / Hune, T.; Larsen, Kim Guldstrand; Pettersson, P.

    I: Nordic Journal of Computing, Vol. 8, Nr. 1, 2001, s. 43-64.

    Publikation: Forskning - peer review › Tidsskriftartikel

  96. Udgivet

    Guiding and Cost-Optimality in Uppaal. / Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas S.; Larsen, Kim Guldstrand; Pettersson, Paul; Romijn, Judi.

    AAAI Spring Symposium Model-Based Validation of Intelligence. 2001.

    Publikation: Forskning › Konferenceartikel i proceeding

  97. Udgivet

    Handoff Initiation in Mobile IPv6. / Andersen, T. W.; Lildballe, A.; Nielsen, Brian.

    WPMC' 01 : Conference Proceedings : The Fourth International Symposium on Wireless Personal Multimedia Communications : September 9-12, 2001 Aalborg, Denmark. Center For PersonKommunikation, Aalborg Universitet, 2001.

    Publikation: Forskning › Konferenceartikel i proceeding

  98. Udgivet

    Is your Model Checker on Time? : On the Complexity of Model Checking for Timed Modal Logics. / Aceto, Luca; Laroussinie, F.

    Aalborg : Aalborg Universitetsforlag, 2001.

    Publikation: Forskning › Bog

  99. Udgivet

    Minimum-Cost Reachability for Priced Timed Automata. / Behrmann, Gerd; Fehnker, A.; Hune, T.; Larsen, Kim Guldstrand; Pettersson, P.; Romijn, J.; Vaandrager, F.

    Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings: Lecture Notes in Computer Science. red. / Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.). 2034. udg. IEEE Computer Society Press, 2001. s. 147-161.

    Publikation: Forskning › Konferenceartikel i proceeding

  100. Udgivet

    Nonfinitely Based Tropical Semirings. / Aceto, Luca; Esik, Zoltan; Ingolfsdottir, Anna.

    Proceedings of the Workshop on Max-Plus Algebra and Their Applications to Discrete-Event Systems : Theoretical Computer Science, and Optimization, August 27-29 2001, Prague, Czech Republic. red. / Gaubert, S. : Loiseau, J. J. (eds.). Elsevier Science, 2001. s. 29-34.

    Publikation: Forskning › Konferenceartikel i proceeding

  101. Udgivet

    Probabilistic Process Algebra. / Jonsson, B.; Larsen, Kim Guldstrand; Yi, W.; Bergstrand, J. A.; Ponse, A.; Smolka, S. A.

    2001.

    Publikation: Forskning › Bog

  102. Udgivet

    Reachability Analysis of Probabilistic Systems. / D'Argenio, P. R.; Jeanett, B.; Jensen, Henrik Ejersbo; Larsen, Kim Guldstrand.

    I: Lecture Notes in Computer Science: Process Algebra and Probabilistic Methods, Performance Modelling and Verification, Vol. 2165, 2001, s. 39-56.

    Publikation: Forskning › Tidsskriftartikel

  103. Udgivet

    Structural Operational Semantics. / Aceto, Luca; Fokkink, J.; Verhoef, C.

    Handbook of Process Algebra. red. / Bergstra, J. : Ponse, A. : Smolka, S. (eds.). Amsterdam : Pergamon Press, 2001.

    Publikation: Forskning › Bidrag til bog/antologi

  104. Udgivet

    Symbolic Methods for Bisimulation Checking for Value-Passing Processes. / Ingolfsdottir, Anna; Lin, H.

    Handbook of Process Algebra. red. / Bergstra, J. : Ponse, A. : Smolka, S. (eds.). Amsterdam : Pergamon Press, 2001.

    Publikation: Forskning › Bidrag til bog/antologi

Forrige 1 2 3 4 5 6 7 Næste

© Videnbasen, Aalborg Universitet · vbn@aub.aau.dk · Om VBN