Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2012

    Nash Equilibria in Concurrent Priced Games

    Klimos, M., Larsen, K. G., Stefanak, F. & Thaarup, J., 2012, Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Berlin: Springer, Bind 7183. s. 363-376 (Lecture Notes in Computer Science, Bind 7183).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    10 Citationer (Scopus)
  • Private memory allocation analysis for safety-critical java

    Dalsgaard, A. E., Hansen, R. R. & Schoeberl, M., 2012, JTRES '12 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, s. 9-17 9 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    7 Citationer (Scopus)
  • Quantitative Modeling and Analysis

    Katoen, J-P. & Larsen, K. G., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Berlin: Springer, Bind 7610. s. 290-292 (Lecture Notes in Computer Science, Bind 7610).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • Runtime Verification of Biological Systems

    David, A., Larsen, K. G., Legay, A., Mikucionis, M., Poulsen, D. B. & Sedwards, S., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Berlin: Springer, Bind 7609. s. 388-404 17 s. (Lecture Notes in Computer Science, Bind 7609).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    25 Citationer (Scopus)
  • Safety-critical Java for low-end embedded platforms

    Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2012, Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 44-53 (ACM International Conference Proceeding Series (ICPS)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    18 Citationer (Scopus)
  • Schedulability Analysis Abstractions for Safety Critical Java

    Bøgholm, T., Thomsen, B., Larsen, K. G. & Mycroft, A., 2012, Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, s. 71-78 8 s. (International Symposium on Object-Oriented Real-Time Distributed Computing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

    David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 18 okt. 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer, s. 293-307 15 s. (Lecture Notes in Computer Science, Bind 7610).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    35 Citationer (Scopus)
  • Simulation-based abstractions for software product-line model checking

    Cordy, M., Classen, A., Perrouin, G., Schobbens, P. Y., Heymans, P. & Legay, A., 1 jan. 2012, Proceedings - International Conference on Software Engineering. IEEE, s. 672-682 11 s. (Proceedings of the International Conference on Software Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    54 Citationer (Scopus)
  • Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

    Larsen, K. G., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer, Bind 7595. s. 7-10 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    7 Citationer (Scopus)
  • Statistical Model Checking for Stochastic Hybrid Systems

    David, A., Du, D., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 3 sep. 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (red.). Newcastle Upon Tyne, s. 122-136 15 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 92).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    51 Citationer (Scopus)
  • Statistical model checking QoS properties of systems with SBIP

    Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A. & Nouri, A., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, s. 327-341 15 s. (Lecture Notes in Computer Science, Bind 7609).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    20 Citationer (Scopus)
  • Synchronous interface theories and time triggered scheduling

    Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A. & Ničković, D., 2012, Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Giese, H. & Rosu, G. (red.). Springer Publishing Company, s. 203-218 16 s. (Lecture Notes in Computer Science, Bind 7273).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • Taking It to the Limit: Approximate Reasoning for Markov Processes

    Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (red.). Springer, s. 681-692 (Lecture Notes in Computer Science, Bind 7464).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    18 Citationer (Scopus)
  • TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

    David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2012, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Flanagan, C. & König, B. (red.). Netherlands: Springer, s. 492-497 6 s. (Lecture Notes in Computer Science, Bind 7214).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    54 Citationer (Scopus)
  • Testing real-time systems under uncertainty

    David, A., Larsen, K. G., Li, S., Mikucionis, M. & Nielsen, B., 2012, Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Berlin: Springer, Bind 6957. s. 352-371 20 s. (Lecture Notes in Computer Science, Bind 6957).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    9 Citationer (Scopus)
  • THAPS: Automated Vulnerability Scanning of PHP Applications

    Jensen, T., Pedersen, H., Olesen, M. C. & Hansen, R. R., 2012, Proceedings of the 17th Nordic Conference on Secure IT-Systems (NordSec 2012). Springer, Bind 7617. s. 31-46 (Lecture Notes in Computer Science, Bind 7617).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    15 Citationer (Scopus)
  • Unblockable Compositions of Software Components

    Dong, R., Faber, J., Liu, Z., Srba, J., Zhan, N. & Zhu, J., 2012, Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12). USA: Association for Computing Machinery, s. 103-108 6 s. (Software Engineering Notes).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    6 Citationer (Scopus)
  • What is a Timing Anomaly?

    Cassez, F., Hansen, R. R. & Olesen, M. C., 2012, Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. Vardanega, T. (red.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 23. s. 1-12 12 s. (OpenAccess Series in Informatics).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    10 Citationer (Scopus)
    165 Downloads (Pure)
  • 2011

    A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL

    Nadales Agut, D. E., Reniers, M. A., Schiffelers, R. R. H., Jørgensen, K. Y. & Van Beek, D. A., 1 jan. 2011, IFAC Proceedings Volumes (IFAC-PapersOnline). Elsevier, Bind 18. s. 12496-12502 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    6 Citationer (Scopus)
  • Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

    Cardelli, L., Larsen, K. G. & Mardare, R., 2011, CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 12. s. 144-158 15 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    9 Citationer (Scopus)
  • Learning Probabilistic Automata for Model Checking

    Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2011, 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, s. 111-120 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    42 Citationer (Scopus)
    951 Downloads (Pure)
  • Refactoring Real-Time Java Profiles

    Søndergaard, H., Thomsen, B., Ravn, A. P., Hansen, R. R. & Bøgholm, T., 28 mar. 2011, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2011 14th IEEE International Symposium on. IEEE, s. 109 - 116 16 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    4 Citationer (Scopus)
  • The Quantitative Linear-Time–Branching-Time Spectrum

    Thrane, C., Fahrenberg, U. & Legay, A., 2011, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Chakraborty, S. & Kumar, A. (red.). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 13. s. 103--114 19 s. (Leibniz International Proceedings in Informatics, Bind 13).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    26 Citationer (Scopus)
  • Tool Supported Analysis of Web Services Protocols

    Marques, A. P., Ravn, A. P., Srba, J. & Vighio, S., 2011, Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS'11). Oslo: University of Oslo, s. 50-64 15 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • WCET tool challenge 2011: Report

    Von Hanxleden, R., Holsti, N., Lisper, B., Ploedereder, E., Wilhelm, R., Bonenfant, A., Cassé, H., Bünte, S., Fellger, W., Gepperth, S., Gustafsson, J., Huber, B., Islam, N. M., Kästner, D., Kirner, R., Kovács, L., Krause, F., De Michiel, M., Olesen, M. C., Prantl, A., & 6 flerePuffitsch, W., Rochange, C., Schoeberl, M., Wegener, S., Zolda, M. & Zwirchmayr, J., 2011, 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 104-138 35 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    7 Citationer (Scopus)
  • 2010

    Active Diagnosis of MLD Systems using Distinguishable Steady Outputs

    Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 4 jul. 2010, 10th IEEE International symposium on Industrial Electronics. IEEE Press, s. 52-57

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    596 Downloads (Pure)
  • An Experiment with Using Google Tools for Project Supervision at Tertiary Education

    Srba, J., 2010, CompSysTech '10 Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies: Proceeding. Association for Computing Machinery, Bind 471. s. 430-435

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    4 Citationer (Scopus)
  • Compositional Design Methodology with Constraint Markov Chains

    Caillaud, B., Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., sep. 2010, Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST). Williamburg, VA: IEEE Press, s. 123-132

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    32 Citationer (Scopus)
  • Computing effects for correspondence types

    Hüttel, H., 2010, Proceedings of FCS'09. Cortier, V. (red.). s. 75-89

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    298 Downloads (Pure)
  • Cyclic executive for safety-critical Java on chip-multiprocessor

    Ravn, A. P. & Schoeberl, M., 2010, ACM International Conference Proceeding Series. Association for Computing Machinery, s. 63-69 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    5 Citationer (Scopus)
  • Don't Let The Opponents Grind You Down: Type Inference for a Correspondence Certifying Type System with Opponent Typing

    Dahl, M. & Hüttel, H., 2010, Foundations of Computer Security - Privacy: Models & Analysis 2010 (FCS-PrivMod '10).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Finding Error Handling Bugs in OpenSSL using Coccinelle

    Lawall, J., Laurie, B., Hansen, R. R., Palix, N. & Muller, G., 2010, Proceedings of The 8th European Dependable Computing Conference (EDCC-2010). IEEE Computer Society Press, s. 191-196

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    36 Citationer (Scopus)
  • Formal Analysis of Privacy for Vehicular Mix-Zones

    Dahl, M., Delaune, S. & Steel, G., 2010, Foundations of Computer Security - Privacy: Models & Analysis 2010 (FCS-PrivMod '10).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    29 Citationer (Scopus)
  • Linear Uniform Receptiveness in a Pi-Calculus with Location Failures

    Hüttel, H., Garm Nielsen, J., Finderup, P. & Svane Knudsen, J., 2010, Proceedings of CATS 2010 - Computing: The Australasian Theory Symposium. Australian Computer Society, Bind 109. (Conferences in Research and Practice in Information Technology , Bind 109).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • METAMOC; Modular Execution Time Analysis using Model Checking

    Dalsgaard, A. E., Olesen, M. C., Toft, M., Hansen, R. R. & Larsen, K. G., 2010, Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    48 Citationer (Scopus)
  • On Zone-Based Analysis of Duration Probabilistic Automata

    Maler, O., Larsen, K. G. & Krogh, B., sep. 2010, Proceedings of the 12th International Workshop on Verification of Infinite-State Systems. 15 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Quantitative system validation in model driven design

    Hermanns, H., Larsen, K. G., Raskin, J-F. & Tretmans, J., 2010, Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10. Association for Computing Machinery, s. 301-302

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • Scenario-based analysis and synthesis of real-time systems using Uppaal

    Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., mar. 2010, Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    11 Citationer (Scopus)
  • Schedulability Analysis for Java Finalizers

    Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • The HomePort System

    Brønsted, J., Madsen, P. P., Skou, A. & Torbensen, R. S., 2010, 2010 7th IEEE Consumer Communications and Networking Conference (CCNC). IEEE Press, 5 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    1263 Downloads (Pure)
  • The Measurable Space of Stochastic Processes

    Cardelli, L. & Mardare, R. I., 2010, Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the. IEEE Press, s. 171-180 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    19 Citationer (Scopus)
  • Timed automata with observers under energy constraints

    Bouyer, P., Fahrenberg, U., Larsen, K. G. & Markey, N., 2010, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. Association for Computing Machinery

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    39 Citationer (Scopus)
  • Timed I/O automata: a complete specification theory for real-time systems

    David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    148 Citationer (Scopus)
    825 Downloads (Pure)
  • 2009

    A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

    Brunel, J., Doligez, D., Hansen, R. R., Lawall, J. & Mulle, G., 2009, Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'09). Association for Computing Machinery, s. 114-126 13 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    33 Citationer (Scopus)
  • Agile software development and its compatibility with a document-driven approach? A case study

    Heeager, L. T. & Nielsen, P. A., 2009, Australasian Conference on Information Systems. Scheepers, H. & Davern, M. (red.). Monash University Press, s. 205 214 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Analysing Access Control Specifications

    Probst, C. W. & Hansen, R. R., 2009, Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE-2009). IEEE Computer Society Press, Bind 4. s. 22-33

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    9 Citationer (Scopus)
  • Analysis of collisions in wireless sensor networks

    Vighio, M. S. & Ravn, A. P., 2009, 21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009. Hansen, M. R. & Brekling, A. (red.). Technical University of Denmark (DTU), 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    718 Downloads (Pure)
  • A predictable Java profile: rationale and implementations

    Bøgholm, T., Hansen, R. R., Ravn, A. P., Thomsen, B. & Søndergaard, H., 2009, ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, s. 150-159

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    22 Citationer (Scopus)
  • A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award

    Larsen, K. G., Thrane, C. R. & Fahrenberg, U., 2009, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Schloss Dagstuhl. Leibniz-Zentrum für Informatik

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Decidable Fragments of a Higher Order Calculus with Locations

    Hüttel, H., Godskesen, J. C., Haagensen, B. & Bundgaard, M., 2009, Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008). Gorla, D. & Hildebrandt, T. (red.). Elsevier, s. 113-138 (Electronic Notes in Theoretical Computer Science; Nr. 242, Bind 1).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)