Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2009

    Fluid Information Systems

    Probst, C. W. & Hansen, R. R., 2009, Proceedings of the New Security Paradigms Workshop (NSPW'09). Association for Computing Machinery, 8 s.

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

    4 Citationer (Scopus)
  • On the Specification of Full Contracts

    Okika, J., Ravn, A. P., Fenech, S., Pache, G. & Schneider, G., 2009, Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). Elsevier, Bind 253. s. 39-55 (Electronic Notes in Theoretical Computer Science; Nr. 253, Bind 1).

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

    8 Citationer (Scopus)
  • Resource bound analysis for database queries

    Cheney, J. & Dahl, M., 2009, Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security. Association for Computing Machinery, s. 67-78

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

  • Semantics for Communicating Actors with Interdependent Real-Time Deadlines

    Knoll, I., Ravn, A. P. & Skou, A., 2009, Proceedings of Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009.. IEEE Computer Society Press, s. 29-35

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

  • Timed Testing under Partial Observability

    David, A., Larsen, K. G., Li, S. & Nielsen, B., 2009, Proceedings of 2009 International Conference on Software Testing Verification and Validation. IEEE Computer Society Press, s. 61-70 10 s.

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

    Åben adgang
    Fil
    21 Citationer (Scopus)
    514 Downloads (Pure)
  • Type inference for correspondence types

    Hüttel, H., Gordon, A. & Hansen, R. R., 2009, Proceedings of the 6th Workshop on Security Issues in Concurrency (SecCo'08). Elsevier, s. 21-36 15 s. (Electronic Notes in Theoretical Computer Science; Nr. 242, Bind 3).

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

    1 Citationer (Scopus)
  • Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

    Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009, Engineering Methods and Tools for Software Safety and Security: NATO Science for Peace and Security Series - D: Information and Communication Security. Broy, M., Sitou, W. & Hoare, T. (red.). IOS Press, Bind 22. 28 s. (NATO Science for Peace and Security Series - D: Information and Communication Security; Nr. 22).

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

  • Verification and Performance Analysis for Embedded Systems

    Larsen, K. G., 2009, TASE 2009: Third IEEE International Symposium on Theoretical Aspects of Software Engineering. Wei-Ngan, C. & Shengchao, Q. (red.). IEEE Computer Society Press, Bind 3. s. 3-4 2 s. (TASE).

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

    6 Citationer (Scopus)
  • Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

    Hüttel, H., Kühnrich, M. & Godskesen, J. C., 2009, Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008). 229 udg. Elsevier, Bind 2. s. 77-93 16 s. (Electronic Notes in Theoretical Computer Science; Nr. 229, Bind 2).

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

  • WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

    Lawall, J., Lawall, J., Palix, N., Hansen, R. R. & Muller, G., 2009, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, s. 43-52 10 s.

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

  • 2008

    A Semantics for a Real-Time Actor Language

    Knoll, I., Ravn, A. P. & Skou, A., 2008, 20th Nordic Workshop on Programming TheoryNWPT 2008: Abstracts. Department of Computer Science, Tallinn University of Technology, s. 60-62 3 s.

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

  • Classification of SOA Contract Specification Languages

    Okika, J. C. & Ravn, A. P., 2008, Proceedings of the 2008 IEEE International Conference on Web Services - Volume 00. 00 udg. IEEE Computer Society Press, s. 433-440

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

    8 Citationer (Scopus)
  • Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

    Srba, J., 2008, Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Springer, s. 15-32 (Lecture Notes in Computer Science; Nr. 5215).

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

    28 Citationer (Scopus)
  • Complexity of decision problems for mixed and modal specifications

    Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Amadio, R. (red.). Springer, s. 112-126 (Lecture Notes in Computer Science; Nr. 4962).

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

    Åben adgang
    Fil
    21 Citationer (Scopus)
    343 Downloads (Pure)
  • Documenting and Automating Collateral Evolutions in Linux Device Drivers

    Padioleau, Y., Lawall, J. L., Hansen, R. R. & Muller, G., 2008, Proceedings of the European Conference on Computer Systems 2008 (EuroSys 2008). Association for Computing Machinery, s. 247-260

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

    93 Citationer (Scopus)
  • Fast directed model checking via russian doll abstraction

    Kupferschmid, S., Hoffmann, J. & Larsen, K. G., 2008, Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer, s. 203-217 (Lecture Notes in Computer Science; Nr. 4963).

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

    11 Citationer (Scopus)
  • From Flow Logic to Static Type Systems for Coordination Languages

    De Nicola, R., Gorla, D., Hansen, R. R., Nielson, F., Nielson, H. R., Probst, C. W. & Pugliese, R., 2008, Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08). Springer, s. 100-116 (Lecture Notes in Computer Science; Nr. 5052).

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

    5 Citationer (Scopus)
  • Hardware Objects for Java

    Schoeberl, M., Thalinger, C., Korsholm, S. & Ravn, A. P., 2008, 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, s. 445-452

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

    27 Citationer (Scopus)
  • Infinite Runs in Weighted Timed Automata with Energy Constraints

    Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Srba, J., 2008, 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Springer, s. 33-47 15 s. (Lecture Notes in Computer Science; Nr. 5215).

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

    155 Citationer (Scopus)
  • Interoperability between ARC and gLite - Understanding the Grid-Job Life Cycle

    Grønager, M., Fields, L., Happonen, K., Kleist, J., Linden, T., Johansson, D., Søttrup, C., Qing, D. & Wäänänen, A., 2008, IEEE Fourth International Conference on eScience, 2008. eScience '08. IEEE, s. 493-500

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

    6 Citationer (Scopus)
  • Interrupt Handlers in Java

    Korsholm, S., Schoeberl, M. & Ravn, A. P., 2008, 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, s. 453-457

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

    4 Citationer (Scopus)
  • Model-based schedulability analysis of safety critical hard real-time Java programs

    Bøgholm, T., Kragh-Hansen, H., Olsen, P., Thomsen, B. & Larsen, K. G., 2008, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Bind 343. s. 106-114

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

    40 Citationer (Scopus)
  • Model checking embedded and real time systems

    Larsen, K. G., 2008, WODES'08: Proceedings of the 9th International Workshop on Discrete Event Systems. Lennartson, B., Fabian, M., Akesson, K., Giua, A. & Kumar, R. (red.). IEEE, s. 260

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

  • Secrecy in Mobile Ad-hoc Networks

    Hüttel, H. & Rafnsson, W., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Institute of Cybernetics at Tallinn University of Technology, s. 54-56 3 s.

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

  • Slicing for Uppaal

    Thrane, C. R. & Sørensen, U., 2008, 2008 Annual IEEE Student Paper Conference Proceedings. IEEE, s. 27-31

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

    4 Citationer (Scopus)
  • Static validation of licence conformance policies

    Hansen, R. R., Nielson, F., Nielson, H. R. & Probst, C. W., 2008, ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, s. 1104-1111

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

    9 Citationer (Scopus)
  • 2007

    Almost Optimal Strategies in One Clock Priced Timed Automata

    Bouyer, P., Larsen, K. G., Markey, N. & Rasmussen, J. I., 2007, Logical Foundations of Computer Science. Springer, Bind 4514. (Lecture Notes in Computer Science; Nr. 4514).

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

  • A Logical Characterisation of Static Equivalence

    Bidragets oversatte titel: En logisk karakterisation af statisk ækvivalensHüttel, H. & Pedersen, M. D., 2007, Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII). Fiore, M. (red.). Pergamon Press, s. 139-159 (Electronic Notes in Theoretical Computer Science; Nr. 173).

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

    7 Citationer (Scopus)
  • Analyzing Web Service Contracts: an aspect oriented approach

    Cambronero, M. -E., Okika, J. C. & Ravn, A. P., 2007, Proceedings of the International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies: UBICOMM'2007. IEEE Computer Society Press, s. 149-154

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

    3 Citationer (Scopus)
  • A Peer-to-Peer Indexing Service for Data Grids

    Jensen, H. T. & Kleist, J., 2007, Advances in Grid and Pervasive Computing: Second International Conference, GPC07. Cérin, C. & Li, K-C. (red.). IEEE Computer Society Press, s. 507-518 12 s. (Lecture Notes in Computer Science; Nr. 4459).

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

  • A Profile for Safety Critical Java

    Schoeberl, M., Søndergaard, H., Thomsen, B. & Ravn, A. P., 2007, Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, s. 94-101 8 s.

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

    28 Citationer (Scopus)
  • A refinement driven component-based design

    Chen, Z., Liu, Z., Ravn, A. P., Stolz, V. & Yang, L., 2007, Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems: ICECCS07. IEEE Computer Society Press, s. 277-289

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

    7 Citationer (Scopus)
  • Automated Distributed Simulation in Ptolemy II

    Lázaro Cuadrado, D., Ravn, A. P. & Koch, P., 2007, Proceedings of IASTED International Conference on Parallel and Distributed Computing and Networks: PDCN 2007. Burkhart, H. (red.). ACTA Press, s. 139-144

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

    4 Citationer (Scopus)
  • Automatic Abstraction Refinement for Timed Automata

    Larsen, K. G., kupferschmid, S. & Dierks, H., 2007, Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, s. 114-129 15 s. (Lecture Notes in Computer Science; Nr. 4763).

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

    46 Citationer (Scopus)
  • Compositionality and Compatibility of Service Contracts

    Okika, J. C. & Ravn, A. P., 2007, NWPT'07/FLACOS'07 Workshop Proceeding. Johansen, E. B., Owe, O. & Schneider, G. (red.). Department of Informatics, University of Oslo, s. 101-103 3 s. (Research Report; Nr. 366).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • Guided Controller Synthesis for Climate Controller Using UPPAAL-TIGA

    David, A., Jessen, J. J., Rasmussen, J. I. & Larsen, K. G., 2007, Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings. 4763 udg. Springer, s. 227-240 14 s. (Lecture Notes in Computer Science; Nr. 4763).

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

    37 Citationer (Scopus)
  • Height-Deterministic Pushdown Automata

    Nowotka, D. & Srba, J., 2007, 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), LNCS. 4708 udg. Springer, Bind LNCS. s. 125-134 10 s.

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

    34 Citationer (Scopus)
  • How do exhibition visitors describe aesthetic qualities?

    Thomsen, B. D. & Ravn, A. P., 2007, International Conference on Computing, Communications and Control Technologies  CCCT 2007: Interactive Communication Design of Information Systems. 1 udg. International Institute of Informatics and Cybernetics, Bind III. s. 155-160 6 s. (The CCCT07).

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

    Åben adgang
    Fil
    1035 Downloads (Pure)
  • On Modal Refinement and Consistency

    Nyman, U., Larsen, K. G. & Wasowski, A., 2007, CONCUR 2007 – Concurrency Theory. IEEE Computer Society Press, s. 105-119 15 s. (Lecture Notes in Computer Science; Nr. 4703).

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

    Åben adgang
    Fil
    51 Citationer (Scopus)
    482 Downloads (Pure)
  • The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer

    Jones, N. D. & Hansen, R. R., 2007, Programming Languages and Systems: 5th Asian Symposium, APLAS 2007. Shao, Z. (red.). Springer, s. 303-318 (Lecture Notes in Computer Science; Nr. 4807).

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

    2 Citationer (Scopus)
  • Timed Control with Observation Based and Stuttering Invariant Strategies

    David, A., Larsen, K. G., Cassez, F., Lime, D. & Raskin, J-F., 2007, Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings. Springer, s. 192-206 (Lecture Notes in Computer Science; Nr. 4762).

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

    32 Citationer (Scopus)
  • UPPAAL-TIGA: Time for Playing Games!

    David, A., Behrmann, G., Cougnard, A., Fleury, E., Larsen, K. G. & Lime, D., 2007, Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. Springer, s. 121-125 (Lecture Notes in Computer Science; Nr. 4590).

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

  • Where can an insider attack?

    Probst, C. W., Hansen, R. R. & Nielson, F., 2007, Formal Aspects in Security and Trust - Fourth International Workshop, FAST 2006, Revised Selected Papers. Springer, s. 127-142 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 4691 LNCS).

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

    34 Citationer (Scopus)
  • 2006

    A COTS Framework for Sensor Fusion Using Dynamic Bayesian Networks in Livestock Production

    Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Computer Applications in Industry and Engineering (CAINE-2006), 19th Int'l. Conference. Philip, T. (red.). Denmark., s. 41-48 7 s.

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

  • Adapting an AI planning heuristic for directed model checking

    Kupferschmid, S., Hoffmann, J., Dierks, H. & Behrmann, G., 2006, Model Checking Software, Proceedings. s. 35-52

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

    40 Citationer (Scopus)
  • A Distributed Pi-Calculus with anonymous moves

    Hüttel, H., Godskesen, J. C. & Kühnrich, M., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory (NWPT'06). Háskólinn í Reykjavík

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • A finite equational base for CCS with left merge and communication merge

    Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2006, Automata, Languages and Programming, Pt 2. s. 492-503

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

    3 Citationer (Scopus)
  • A Ravenscar-Java profile implementation

    Thomsen, B., Ravn, A. P. & Søndergaard, H., 2006, ACM International Conference Proceeding Series: JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Bind 177. s. 38-47 10 s.

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

    11 Citationer (Scopus)
  • Design Patterns for Control Systems

    Knudsen, J., Ravn, A. P. & Skou, A., 2006, Proceedings of the NWUML'06: The 4th Nordic Workshop on UML and Software Modelling. Prinz, A. & Skjelten Tveit, M. (red.). Høgskolen i Agder

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

  • Developing a TTCN-3 Test Harness for Legacy Software

    Okika, J. C., Ravn, A. P., Siddalingaiah, L. & Liu, Z., 2006, Proceedings of the 2006 international workshop on Automation of software test: AST '06. Association for Computing Machinery, s. 104-110 7 s.

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

    7 Citationer (Scopus)