Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2004

    Online Testing of Real-time Systems using Uppaal: Status and Future Work

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (red.). IBFI gem. GmbH, Schloss Dagstuhl, Bind 04371.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • On the Construction of Connectivity Test Cases in the Setting of UppAal

    Nielsen, B., Jens. Chr., G. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - FORTE 2004. Springer, Bind 3235.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Optimal Scheduling and Priced Timed Automata

    Larsen, K. G., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala technical report. Pettersson, P. & Yi, W. (red.). 2004-041 udg. s. 93-94 2 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    35 Citationer (Scopus)

  • Optimal Strategies in Priced Timed Game Automata

    Larsen, K. G., Bouyer, P., Cassez, F. & Fleury, E., 2004, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science. 3328 udg. Springer, s. 148-160 13 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    76 Citationer (Scopus)

  • Performance of the NorduGrid ARC and the Dulcinea Executor in ATLAS Data Challenge 2

    Kleist, J., Eerola, P., Ekelöf, T., Smirnova, O., Ellert, M., Hansen, J. R., Konstantinov, A., Kónya, B., Nielsen, J. L., Ould-Saada, F., Wäänänen, A., Sturrock, R., Jensen, H. T., Kalici, D., Teras, A., Heller, H., Kennedy, J., Duckeck, G., Mycklebust, J. F., Pajchel, K., & 13 flereRead, 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., 2004, Proceedings of CHEP'04.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Quality Estimation of Component-Based Embedded Systems

    Holmegaard, J. P., Ravn, A. P. & Koch, P., 2004, Proceedings of Euromicro Work in Progress.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Recursive Ping-Pong Protocols

    Huttel, H. & Srba, J., 2004, Proceedings of 4th International Workshop on Issues in the Theory of Security. s. 129-140 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Resource-Optimal Scheduling Using Priced Timed Automata

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    35 Citationer (Scopus)

  • Staying Alive as Cheaply as Possible

    Larsen, K. G., Bouyer, P. & Brinksma, E., 2004, Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993 udg. Springer, s. 203-218 16 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    51 Citationer (Scopus)

  • T-UPPAAL: Online Model-based Testing of Real-Time Systems.

    Mikucionis, M., Larsen, K. G. & Nielsen, B., 2004, 19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings. Grunbacher, P. (red.). IEEE Computer Society Press, s. 396-397 3 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    60 Citationer (Scopus)

  • Using AsmL as an executable specification language: Synhchronous Dataflow Schedulers in Ptolemy II

    Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2004, Proceedings of Workshop on Abstract State Machines ASM 2004, Short Presentations. Dept. of Comp. Science Martin Luther Universität Halle-Wittenberg, s. 19-28

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 2003

    Adding symmetry reduction to UPPAAL

    Martijn, H., Behrmann, G., Larsen, K. G. & Frits, V., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • AsmL Specification of a Ptolemy II Scheduler

    Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, Abstract State Machines 2003 (ASM 2003): LNCS. Börger, E. : Gargantini, A. : Riccobene, E. (eds.) (red.). 2589 udg. Springer, s. 417

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    1 Citationer (Scopus)

  • A Tool Architecture for the Next Generation of Uppaal

    Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    12 Citationer (Scopus)

  • Efficient and Orderly Co-simulation of Heterogeneous Computational Models

    Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, The Fifth Biennial Ptolemy Miniconference, May 2003, EECS Department, University of California, Berkeley, USA.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Hybrid Control Design for a Wheeled Mobile Robot

    Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, Hybrid Systems: Computation and Control, HSCC 2003: Lecture Notes in Computer Science. Oded Maler, Amir Pnueli (eds.) (red.). 2623 udg. Springer, s. 50-65

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    18 Citationer (Scopus)

  • Impact of Scheduling Policies on Control System Performance

    Schiøler, H., Ravn, A. P. & Nielsen, J. F. D., 2003, EuroMicro 03 Satelite Event on CoDesign in Real Time Systems (CERTS), Porto, Portugal, July 2003.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Nested Semantics over Finite Trees are Equationally Hard (Invited Talk)

    Aceto, L., 2003, Proceedings of EXPRESS'03: Electronic Notes in Theoretical Computer Science. Corradini, F. & Nestmann, U. (red.). 96 udg. Pergamon Press, s. 5-6 2 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Real-time system testing on-the-fly

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2003, The 15th Nordic Workshop on Programming Theory (NWPT’03). Kaisa Sere and Marina Walden and Anna Karlsson (red.). Åbo Akademi University

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Resource-Efficient Scheduling for Real Time Systems

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    6 Citationer (Scopus)

  • Single Point Algorithms in Genetic Linkage Analysis

    Gudbjartsson, D., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Revised Selected Papers: Lecture Notes in Computer Science. 2809 udg. s. 372-383

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    1 Citationer (Scopus)

  • The Complexity of Checking Consistency of Pedigree Information and Related Problems

    Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, 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. Carlo Blundo and Cosimo Laneve (eds.) (red.). 2841 udg. Springer, s. 174-187

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    1 Citationer (Scopus)

  • The geometry of timed PV programs

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    3 Citationer (Scopus)

  • Time-Optimal Test Cases for Real-Time Systems

    Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Bind 2791. s. 234-245

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • To Store or Not to Store

    Behrmann, G., Larsen, K. G. & Pelánek, R., 2003, Proceedings of CAV 2003: Lecture Notes in Computer Science. 2725 udg. s. 433-445

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    39 Citationer (Scopus)

  • Towards Reliable Integrated Services for Dependable Systems

    Schiøler, H., Ravn, A. P., Izadi-Zamanabadi, R., Nielsen, K. M., Madsen, O. B. & Nielsen, J. F. D., 2003, EuroMicro 03 Satelite Event on Real Time Lans in the Internet Age (RTLIA) Porto, Portugal, July 2003.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Unification & sharing in timed automata verification

    David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2003, 10th International SPIN Workshop 2003. IEEE Computer Society Press, s. 225-229 (Lecture Notes in Computer Science; Nr. 2648).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    Åben adgang
    Fil
    11 Citationer (Scopus)
    247 Downloads (Pure)
  • 2002

    Deciding Framed Bisimilarity

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Equational Axioms for Probabilistic Bisimulation

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2002, Kirchner, H. (ed.) : Ringeissen, C. (ed.): Lecture Notes in Computer Science. 2422 udg. IEEE Computer Society Press, s. 239-253

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Modal Logics for Cryptographic Processes

    Frendrup, U., Huttel, H. & Jensen, N. J., 2002, Nestmann, Uwe (ed.) : Panangaden, Prakash (ed.): Electronic notes in theoretical computer science. 68 udg. Pergamon Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    7 Citationer (Scopus)

  • New UPPAAl Architecture

    David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2002, Proceedings of the 2nd Workshop on Real-Time Tools (RT-TOOLS 2002), August 1, 2002, Copenhagen, Denmark.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Planning and Operation of an Autonomous Vehicle

    Sørensen, C. G., Olsen, H. J., Ravn, A. P. & Makowski, P., 2002, Proc. 2002 ASAE / CIGR XVth World Congress, Chicago, USA, July 29 - August 1 2002: ASAE Technical Library. 021177 udg. ASAE

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata

    Dierks, H., Behrmann, G. & Larsen, K. G., 2002, AIPS 2002 Workshop on Planning via Model Checking.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • UPPAAL Implementation Secrets

    Behrmann, G., Bengtsson, J., David, A., Larsen, K. G., Pettersson, P. & Yi, W., 2002, Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, September 9--12 2002, University of Oldenburg, Germany.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    49 Citationer (Scopus)
  • 2001

    2-Nested Simulation is not Finitely Equationally Axiomatizable

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    10 Citationer (Scopus)

  • As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automat

    Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P. & Romijn, J., 2001, Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18 - 22, 2001 : Proceedings: Lecture Notes in Computer Science. Berry, G. : Comon, H. : Finkel, A. (eds.) (red.). 2102 udg. IEEE Computer Society Press, s. 493-505

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    113 Citationer (Scopus)

  • Automated Test Generation Timed Automata

    Nielsen, B. & Skou, A., 2001, 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. Margaria, T. : Yi, W. (eds.) (red.). 2031 udg. IEEE Computer Society Press, s. 343-357

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Axiomatizing Tropical Semirings

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, 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. Honsell, F. : Miculan, M.(eds.) (red.). 2030 udg. IEEE Computer Society Press, s. 42-56

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    1 Citationer (Scopus)

  • Efficient Guiding Towards Cost-Optimality in UPPAAL

    Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P. & Romijn, J., 2001, Tools and Algorithms for the Construction and Analysis of Systems. Springer, s. 174-188 15 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    95 Citationer (Scopus)

  • Guiding and Cost-Optimality in Uppaal

    Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P. & Romijn, J., 2001, AAAI Spring Symposium Model-Based Validation of Intelligence.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    95 Citationer (Scopus)

  • Handoff Initiation in Mobile IPv6

    Andersen, T. W., Lildballe, A. & Nielsen, B., 2001, WPMC' 01 : Conference Proceedings : The Fourth International Symposium on Wireless Personal Multimedia Communications : September 9-12, 2001 Aalborg, Denmark. Center For PersonKommunikation, Aalborg Universitet

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Minimum-Cost Reachability for Priced Timed Automata

    Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P., Romijn, J. & Vaandrager, F., 2001, Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings: Lecture Notes in Computer Science. Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.) (red.). 2034 udg. IEEE Computer Society Press, s. 147-161

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    241 Citationer (Scopus)

  • Nonfinitely Based Tropical Semirings

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, 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. Gaubert, S. : Loiseau, J. J. (eds.) (red.). Elsevier, s. 29-34

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Test Generation for Time Critical Systems: Tool and Case Study

    Nielsen, B. & Skou, A., 2001, 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001. s. 155-162

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    9 Citationer (Scopus)

  • The Optimized Link State Routing Protocol: Evaluation through Experiments and Simulation

    Clausen, T. H., Hansen, G., Christensen, L. & Behrmann, G., 2001, IEEE Symposium on Wireless Personal Mobile Communications.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    958 Citationer (Scopus)

  • UPPAAL: Present and Future

    Behrmann, G., David, A., Larsen, K. G., Möller, O., Pettersson, P. & Yi, W., 2001, Proceedings of the 40th IEEE Conference on Decision and Control. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Uppaal: Now, Next, and Future

    Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, M. O., Pettersson, P., Weise, C. & Yi, W., 2001, Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19 - 23, 2000 : Revised Tutorial Lectures: Lecture Notes in Computer Science. Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M. (red.). 2067 udg. IEEE Computer Society Press, s. 100-125

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 2000

    Automated Test Generation Timed Automata: Tool and Case Study

    Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Distributed Timed Model Checking: How the Search Order Matters

    Behrmann, G., Hune, T. & Vaandrager, F., 2000, Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, Il., USA, July 15-19, 2000 : Proceedings: Lecture Notes in Computer Science. Emerson, E. : Sistla, A. (eds.) (red.). 1855 udg. IEEE Computer Society Press, s. 216-231

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Documenting Design Refinement

    Olderog, E-R. & Ravn, A. P., 2000, Proceedings of FMSP'00 :the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA. Heimdahl, M. P. E. (ed.) (red.). Association for Computing Machinery

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    2 Citationer (Scopus)