Distributed and Embedded Systems

1 - 100 ud af 603Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 2013
  2. E-pub ahead of print

    A Context-Aware User Interface for Wireless Personal-Area Network Assistive Environments. / Poul, Bastien; Marcombes, Séverin; David, Alexandre; Struijk, Lotte N. S. Andreasen; Le Moullec, Yannick.

    I: Wireless Personal Communications, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  3. In press

    A Modal Specification Theory for Components with Data. / Bauer, Sebastian S.; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

    Formal Aspects of Component Software: 8th International Workshop, FACS 2011. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  4. Udgivet

    Action Investment Energy Games. / Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri.

    Proceedings of the 8th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'12)Springer-Verlag2012 To appear.. Vol. 7721 Netherlands : Springer Berlin / Heidelberg, 2013. s. 155-167 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  5. In press

    Coccinelle : Tool support for automated CERT C Secure Coding Standard certification. / Olesen, Mads Chr.; Hansen, Rene Rydhof; Lawall, Julia; Palix, Nicolas Jean-Michel.

    I: Science of Computer Programming, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  6. Udgivet

    Complete Abstractions of Dynamical Systems by Timed Automata. / Sloth, Christoffer; Wisniewski, Rafael.

    I: Nonlinear Analysis: Hybrid Systems, Vol. 7, Nr. 1, 02.2013, s. 80-100.

    Publikation: Forskning - peer review › Tidsskriftartikel

  7. Udgivet

    Formal Verification of Continuous Systems. / Sloth, Christoffer.

    2013. 225 s.

    Publikation: Forskning › PhD. afhandling

  8. Accepteret

    History-preserving bisimilarity for higher-dimensional automata via open maps. / Fahrenberg, Uli.

    I: Logical Methods in Computer Science, 2013, s. 2-20.

    Publikation: Forskning - peer review › Tidsskriftartikel

  9. In press

    Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach. / Nyman, Ulrik.

    WICERT 2013 proceedings. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  10. Udgivet

    Model-Checking Web Services Business Activity Protocols. / Marques, Abinoam P.; Ravn, Anders Peter; Srba, Jiri; Vighio, Saleem.

    I: International Journal on Software Tools for Technology Transfer, Vol. 15, Nr. 2, 2013, s. 125-147.

    Publikation: Forskning - peer review › Tidsskriftartikel

  11. In press

    On-the-Fly Exact Computation of Bisimilarity Distances. / Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    LNCS TACAS proceedings. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  12. In press

    Quantities in Games and Modal Transition Systems. / Juhl, Line.

    2013. 172 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

    Publikation: Forskning › PhD. afhandling

  13. Udgivet

    Towards harnessing theories through tool support for hard real-time Java programming. / Bøgholm, Thomas; Frost, Christian; Hansen, Rene Rydhof; Jensen, Casper Svenning; Luckow, Kasper Søe; Ravn, Anders Peter; Søndergaard, Hans; Thomsen, Bent.

    I: Innovations in Systems and Software Engineering, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  14. Udgivet

    Verification of Liveness Properties on Closed Timed-Arc Petri Nets. / Andersen, Mathias; Larsen, Heine G.; Srba, Jiri; Sørensen, Mathias; Taankvist, Jakob Haahr.

    Proceedings of the 8th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'12). Vol. 7721 Netherlands : Springer Berlin / Heidelberg, 2013. s. 69-81 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  15. Udgivet

    Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. / Bertolini, Cristiano; Liu, Zhiming; Srba, Jiri.

    Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12). Netherlands : Springer Berlin / Heidelberg, 2013. s. 1-18 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  16. 2012
  17. Udgivet

    A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets. / David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Srba, Jiri.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 102, 2012, s. 125-140.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  18. Udgivet

    A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems : A Case Study of the Oil Pump Industrial Example. / Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim Guldstrand.

    FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Vol. 7436 Springer, 2012. s. 471-485 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  19. Udgivet

    A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. / Bauer, Sebastian S.; Juhl, Line; Larsen, K.G.; Srba, J.; Legay, A.

    Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. IEEE Computer Society Press, 2012. s. 77-84.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  20. Udgivet

    A Metric Analogue of Stone Duality for Markov Processes. / Larsen, Kim Guldstrand; Mardare, Radu Iulian; Panangaden, Prakash.

    2012. Abstract from IEEE, Dubrovnik, Kroatien.

    Publikation: Forskning - peer review › Konferenceabstrakt til konference

  21. Udgivet

    A Secure Relay Protocol for Door Access Control. / Wognsen, Erik Ramsgaard; Karlsen, Henrik Søndberg; Calverley, Marcus; Follin, Mikkel; Thomsen, Bent; Hüttel, Hans.

    Proceedings of the XII Brazilian Symposium on Information and Computer System Security: SBSeg 2012. red. / Sociedade Brasileira de Computação. Porto Alegre, Brasilien : SBC - Sociedade Brasileira de Computação, 2012. s. 196-209 (Anais do SBSeg).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  22. Udgivet

    Abstractions for Mechanical Systems. / Sloth, Christoffer; Wisniewski, Rafael.

    Lagrangian and Hamiltonian Methods for Non Linear Control. Vol. 4 1. udg. Elsevier Science, 2012. s. 96-101 (I F A C Workshop Series).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  23. Udgivet

    Adaptable Value-Set Analysis for Low-Level Code. / Brauer, Jörg; Hansen, Rene Rydhof; Kowalewski, Stefan; Larsen, Kim Guldstrand; Olesen, Mads Chr.

    6th International Workshop on Systems Software Verification (SSV 2011). Vol. 24 Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  24. Udgivet

    An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking. / David, Alexandre; Du, DeHui; Larsen, Kim Guldstrand; Mikučionis, Marius; Skou, Arne.

    I: Science in China. Series F: Information Sciences, Vol. 55, Nr. 12, 12.2012, s. 2694-2707.

    Publikation: Forskning - peer review › Tidsskriftartikel

  25. Udgivet

    Checking and Distributing Statistical Model Checking. / Bulychev, Peter E.; David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted.

    NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. red. / Alwyn E. Goodloe; Suzette Person. Vol. 7226 Springer Berlin / Heidelberg, 2012. s. 449-463 (Lecture Notes in Computer Science, Vol. 7226).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  26. Udgivet

    Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. / Falk, Heiko; Hammong, Kevin ; Larsen, Kim Guldstrand; Lisper, Björn ; Petters, Stefan M.

    EMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software . Association for Computing Machinery, 2012. s. 163-164.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  27. Udgivet

    Compositional Safety Analysis using Barrier Certificates. / Sloth, Christoffer; Pappas, George J.; Wisniewski, Rafael.

    HSCC '12 Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. New York : Association for Computing Machinery, 2012. s. 15-24.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  28. Udgivet

    Compositional verification of real-time systems using Ecdar. / David, A.; Larsen, K.G.; Møller, M.H.; Nyman, Ulrik; Ravn, A.P.; Skou, A.; Legay, A.; Wasowski, A.

    I: International Journal on Software Tools for Technology Transfer, Vol. 14, Nr. 6, 15.06.2012, s. 703-720.

    Publikation: Forskning - peer review › Tidsskriftartikel

  29. Udgivet

    Computing Nash Equilibrium in Wireless Ad Hoc Networks : A Simulation-Based Approach. / Bulychev, Peter E.; David, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius.

    Proceedings Second International Workshop on Interactions, Games and Protocols. red. / Johannes Reich; Bernd Finkbeiner. Tallin, Estonia, 2012. s. 1-14 (Electronic Proceedings in Theoretical Computer Science, Vol. 78).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  30. Udgivet

    Consistency and Refinement for Interval Markov Chains. / Delahaye, Benoit; Larsen, Kim Guldstrand; Legay, Axel; Pedersen, Mikkel Larsen; Wasowski, Andrzej.

    I: Journal of Logic and Algebraic Programming, Vol. 81, Nr. 3, 2012, s. 209-226.

    Publikation: Forskning - peer review › Tidsskriftartikel

  31. Udgivet

    Continuous Markovian Logics : Axiomatization and Quantified Metatheory. / Mardare, Radu Iulian; Cardelli, Luca; Larsen, Kim Guldstrand.

    I: Logical Methods in Computer Science, Vol. 8, Nr. 4, 29.11.2012, s. 1-29.

    Publikation: Forskning - peer review › Tidsskriftartikel

  32. Udgivet

    Controllers with Minimal Observation Power (Application to Timed Systems). / Bulychev, Petr; Cassez, Franck; David, Alexandre; Larsen, Kim Guldstrand; Raskin, Jean-François; Reynier, Pierre-Alain.

    Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Vol. 7561 Springer, 2012. s. 223-237 (Lecture Notes in Computer Science, Vol. 7561).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  33. Udgivet

    Derivation and validation of a coal mill model for control. / Niemczyk, Piotr; Bendtsen, Jan Dimon; Ravn, Anders Peter; Andersen, Palle; Pedersen, Tom S.

    I: Control Engineering Practice, Vol. 20, Nr. 5, 05.2012, s. 519-530.

    Publikation: Forskning - peer review › Tidsskriftartikel

  34. Udgivet

    Dual-Priced Modal Transition Systems with Time Durations. / Beneš, Nikola; Kretínsky , Jan; Larsen, Kim Guldstrand; Møller, Mikael Harkjær; Srba, Jiri.

    Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings . Vol. LNCS 7180 Netherlands : Springer, 2012. s. 122-137 (Lecture Notes in Computer Science, Vol. 7180).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  35. Udgivet

    EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems. / Beneš, Nikola; Křetínský, Jan; Larsen, Kim Guldstrand; Srba, Jiri.

    I: Information and Computation, Vol. 218, Nr. 1, 2012, s. 54-68.

    Publikation: Forskning - peer review › Tidsskriftartikel

  36. Udgivet

    Extending Modal Transition Systems with Structured Labels. / Bauer, Sebastian S.; Juhl, Line; Larsen, Kim Guldstrand; Legay, Axel; Srba, Jiri.

    I: Mathematical Structures in Computer Science, Vol. 22, Nr. 4, 08.05.2012, s. 581-617.

    Publikation: Forskning - peer review › Tidsskriftartikel

  37. Udgivet

    Learning Markov Decision Processes for Model Checking. / Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas Dyhre; Larsen, Kim Guldstrand; Nielsen, Brian.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 103, 2012, s. 49-63.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  38. Udgivet

    Learning Markov models for stationary system behaviors. / Chen, Yingke; Mao, Hua; Jaeger, Manfred; Nielsen, Thomas Dyhre; Larsen, Kim Guldstrand; Nielsen, Brian.

    NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. red. / Alwyn E. Goodloe; Suzette Person. Springer, 2012. s. 216-230 (Lecture Notes in Computer Science, Vol. 7226).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  39. Udgivet

    Lower-Bound Constrained Runs in Weighted Timed Automata. / Bouyer, Patricia; Larsen, Kim Guldstrand; Markey, Nicolas.

    Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012. London : IEEE Computer Society Press, 2012. s. 128-137.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  40. Udgivet

    mctau : Bridging the Gap between Modest and UPPAAL. / Bogdoll, Jonathan; David, Alexandre; Harmanns, Arnd; Hermanns, Holger.

    Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. red. / Alastair Donaldson; David Parker. Vol. 7385 Berlin : Springer, 2012. s. 227-233 (Lecture Notes in Computer Science (LNCS), Vol. 7385).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  41. Udgivet

    Modal Transition Systems with Weight Intervals. / Juhl, Line; Larsen, Kim Guldstrand; Srba, Jiri.

    I: Journal of Logic and Algebraic Programming, Vol. 81, Nr. 4, 05.2012, s. 408-421.

    Publikation: Forskning - peer review › Tidsskriftartikel

  42. Udgivet

    Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. / Bulychev, Petr; David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel (Ekstern Forfatter); Guangyuan, Li; Poulsen, Danny Bøgsted; Stainer, Amelie.

    Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Vol. 7180 Berlin : Springer, 2012. s. 168-182 (Lecture Notes in Computer Science, Vol. 7180).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  43. Udgivet

    Moving from Specifications to Contracts in Component-based Design. / Bauer, Sebastian; David, Alexandre; Hennicker, Rolf; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

    Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Vol. 7212 Springer, 2012. s. 43-58 (Lecture Notes in Computer Science, Vol. 7212).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  44. Udgivet

    Multi-core reachability for timed automata. / Dalsgaard, Andreas Engelbredt; Laarman, Alfons; Larsen, K.G.; Olesen, M.Chr.; Van De Pol, Jaco.

    Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. red. / Marcin Jurdzinski; Dejan Nickovic. 2012. s. 91-106 (Lecture Notes in Computer Science, Vol. 7595).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  45. Udgivet

    Nash Equilibria in Concurrent Priced Games. / Klimos, Miroslav; Larsen, Kim Guldstrand; Stefanak, Filip; Thaarup, Jeppe.

    Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Vol. 7183 Berlin : Springer, 2012. s. 363-376 (Lecture Notes in Computer Science, Vol. 7183).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  46. Udgivet

    New Results for Constraint Markov Chains. / Delahaye, Benoit; Larsen, Kim Guldstrand; Legay, Axel; Pedersen, Mikkel Larsen; Wasowski, Andrzej.

    I: Performance Evaluation, Vol. 69, Nr. 7-8, 2012, s. 379-401.

    Publikation: Forskning - peer review › Tidsskriftartikel

  47. Udgivet

    New Results on Timed Specifications. / Bourke, Timothy; David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel (Ekstern Forfatter); Lime, Didier (Ekstern Forfatter); Nyman, Ulrik; Wasowski, Andrzej (Ekstern Forfatter).

    Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. red. / Till Mossakowski; Hans-Jörg Kreowski. Springer, 2012. s. 175-192 (Lecture Notes in Computer Science, Vol. 7137).

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  48. Udgivet

    On the Existence of Compositional Barrier Certificates. / Sloth, Christoffer; Wisniewski, Rafael; Pappas, George J.

    I: I E E E Conference on Decision and Control. Proceedings, 2012, s. 4580-4585.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  49. Udgivet

    Parameterized Metatheory for Continuous Markovian Logic. / Larsen, Kim Guldstrand; Mardare, Radu Iulian; Thrane, Claus.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 103, 2012, s. 33-47.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  50. Udgivet

    Passive Fault-tolerant Control of Discrete-time Piecewise Affine Systems against Actuator Faults. / Tabatabaeipour, Seyed Mojtaba; Izadi-Zamanabadi, Roozbeh; Bak, Thomas; Ravn, Anders Peter.

    I: International Journal of Systems Science, Vol. 43, Nr. 11, 11.2012, s. 1985-1997.

    Publikation: Forskning - peer review › Tidsskriftartikel

  51. Udgivet

    Private memory allocation analysis for safety-critical java. / Dalsgaard, Andreas Engelbredt; Hansen, Rene Rydhof; Schoeberl, Martin.

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

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  52. Udgivet

    Proceedings of the ICTSS 2012 Ph.D. Workshop. / Weise, Carsten; Nielsen, Brian.

    Aalborg, 2012.

    Publikation: Forskning - peer review › Antologi

  53. Udgivet

    Proceedings of the ICTSS 2012 PhD Workshop - Preface. / Nielsen, Brian; Weise, Carsten.

    Proceedings of the ICTSS 2012 PhD Workshop - Preface. Vol. 12-201 Aalborg. udg. 2012. s. 1.

    Publikation: Forskning › Forord/Indledning/efterskrift

  54. Udgivet

    Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software. / Pace, Gordon (Redaktør); Ravn, Anders Peter (Redaktør).

    I: Electronic Notes in Theoretical Computer Science, Vol. 94, 08.09.2012.

    Publikation: Forskning - peer review › Tidsskriftartikel

  55. Udgivet

    Quantitative Modeling and Analysis. / Katoen, Joost-Pieter; Larsen, Kim Guldstrand.

    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. Vol. 7610 Berlin : Springer, 2012. s. 290-292 (Lecture Notes in Computer Science, Vol. 7610).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  56. Udgivet

    Reachability analysis for timed automata using max-plus algebra. / Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim Guldstrand.

    I: Journal of Logic and Algebraic Programming, Vol. 81, Nr. 3, 2012, s. 298-313.

    Publikation: Forskning - peer review › Tidsskriftartikel

  57. Udgivet

    Runtime Verification of Biological Systems. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean.

    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. Vol. 7609 Berlin : Springer, 2012. s. 388-404 (Lecture Notes in Computer Science, Vol. 7609).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  58. Udgivet

    Safety-critical Java for low-end embedded platforms. / Søndergaard, Hans ; Korsholm, Stephan E.; Ravn, Anders Peter.

    Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, 2012. s. 44-53 (ACM International Conference Proceeding Series (ICPS)).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  59. Udgivet

    Safety-critical Java with cyclic executives on chip-multiprocessors. / Ravn, Anders Peter; Schoeberl, Martin.

    I: Concurrency and Computation: Practice & Experience, Vol. 24, Nr. 8, 12.06.2012, s. 772-788.

    Publikation: Forskning - peer review › Tidsskriftartikel

  60. Udgivet

    Schedulability Analysis Abstractions for Safety Critical Java. / Bøgholm, Thomas; Thomsen, Bent; Larsen, Kim Guldstrand; Mycroft, Alan.

    Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, 2012. s. 71-78 (International Symposium on Object-Oriented Real-Time Distributed Computing).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  61. Udgivet

    Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel (Ekstern Forfatter); Mikučionis, Marius.

    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. red. / Tiziana Margaria; Bernhard Steffen. Springer, 2012. s. 293-307 (Lecture Notes in Computer Science, Vol. 7610).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  62. Udgivet

    State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems. / Bozga, Marius; David, Alexandre; Hartmanns, Arnd; Larsen, Kim Guldstrand; Legay, Axel; Tretmans, Jan.

    I: A C M / I E E E Design Automation Conference. Proceedings, 2012, s. 370-375.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  63. Udgivet

    Statistical Model Checking for Stochastic Hybrid Systems. / David, Alexandre; Du, Dehui; Larsen, Kim Guldstrand; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean.

    Proceedings First International Workshop on Hybrid Systems and Biology. red. / Ezio Bartocci; Luca Bortolussi. Newcastle Upon Tyne, 2012. s. 122-136 (Electronic Proceedings in Theoretical Computer Science; Nr. 92).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  64. Udgivet

    Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems. / Larsen, Kim Guldstrand.

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

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  65. Udgivet

    Stone Duality for Markov Processes. / Larsen, Kim Guldstrand; Mardare, Radu Iulian; Panangaden, Prakash.

    2012. Abstract from Scandinavian Logic Symposium, Roskilde, Danmark.

    Publikation: Forskning - peer review › Konferenceabstrakt til konference

  66. Udgivet

    Structured Linear Parameter Varying Control of Wind Turbines. / Adegas, Fabiano Daher; Sloth, Christoffer; Stoustrup, Jakob.

    Control of Linear Parameter Varying Systems with Applications. red. / Javad Mohammadpour; Carsten W. Scherer. Springer Science+Business Media B.V., 2012. s. 303-337.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  67. Udgivet

    Taking It to the Limit : Approximate Reasoning for Markov Processes. / Larsen, Kim Guldstrand; Mardare, Radu Iulian; Panangaden, Prakash.

    Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. red. / Branislav Rovan; Vladimiro Sassone; Peter Widmayer. Springer, 2012. s. 681-692 (Lecture Notes in Computer Science, Vol. 7464).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  68. Udgivet

    TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. / David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiri.

    International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). red. / Cormac Flanagan; Barbara König. Netherlands : Springer, 2012. s. 492-497 (Lecture Notes in Computer Science, Vol. 7214).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  69. Udgivet

    Testing real-time systems under uncertainty. / David, Alexandre; Larsen, Kim Guldstrand; Li, Shuhao; Mikucionis, Marius; Nielsen, Brian.

    Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Vol. 6957 Berlin : Springer, 2012. s. 352-371 (Lecture Notes in Computer Science, Vol. 6957).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  70. Udgivet

    Testing Software and Systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings. / Nielsen, Brian; Weise, Carsten.

    Springer Publishing Company, 2012.

    Publikation: Forskning - peer review › Antologi

  71. Udgivet

    Testing Software and Systems - Preface : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings. / Nielsen, Brian; weise, carsten.

    Testing Software and Systems - Preface. Vol. LNCS 7641 Springer Publishing Company, 2012. s. iii--X.

    Publikation: Forskning › Forord/Indledning/efterskrift

  72. Udgivet

    THAPS : Automated Vulnerability Scanning of PHP Applications. / Jensen, Torben; Pedersen, Heine; Olesen, Mads Chr.; Hansen, Rene Rydhof.

    Proceedings of the 17th Nordic Conference on Secure IT-Systems (NordSec 2012). Vol. 7617 Springer, 2012. s. 31-46 (Lecture Notes in Computer Science, Vol. 7617).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  73. Udgivet

    Time-Darts : A Data Structure for Verification of Closed Timed Automata. / Jørgensen, Kenneth Yrke; Larsen, Kim Guldstrand; Srba, Jiri.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 102, 2012, s. 141-155.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  74. Udgivet

    Unblockable Compositions of Software Components. / Dong, Ruzhen; Faber, Johannes; Liu, Zhiming; Srba, Jiri; Zhan, Naijun; Zhu, Jiaqi.

    Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12). USA : Association for Computing Machinery, 2012. s. 103-108 (Software Engineering Notes).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  75. Udgivet

    UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. / Bulychev, Petr; David, Alexandre; Larsen, Kim Guldstrand; Mikučionis, Marius; Poulsen, Danny Bøgsted; Legay, Axel; Wang, Zheng.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 85, 2012, s. 1-16.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  76. Udgivet

    What is a Timing Anomaly?. / Cassez, Franck; Hansen, Rene Rydhof; Olesen, Mads Chr.

    Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. red. / Tullio Vardanega. Vol. 23 Dagstuhl, Germany : Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2012. s. 1-12.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  77. 2011
  78. Udgivet

    A Hardware Abstraction Layer in Java. / Schoeberl, Martin; Korsholm, Stephan; Kalibera, Tomas; Ravn, Anders Peter.

    I: ACM Transactions on Embedded Computing Systems, Vol. 10, Nr. 4, 11.2011.

    Publikation: Forskning - peer review › Tidsskriftartikel

  79. Udgivet

    Abstract Probabilistic Automata. / Delahaye, Benoit; Katoen, Joost-Pieter; Larsen, Kim Guldstrand; Legay, Axel; Pedersen, Mikkel Larsen; Sher, Falak; Wasowski, Andrzej.

    I: Lecture Notes in Computer Science, Vol. 6538, 2011, s. 324-339.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  80. Udgivet

    Abstraction of Dynamical Systems by Timed Automata. / Wisniewski, Rafael; Sloth, Christoffer.

    I: Modeling, Identification and Control (Online Edition), Vol. 32, Nr. 2, 2011, s. 79-90.

    Publikation: Forskning - peer review › Tidsskriftartikel

  81. Udgivet

    Adopting quality assurance technology in customer-vendor relationships : A case study of how interorganizational relationships influence the process. / Hermansen, Lise Tordrup; Tjørnehøj, Gitte.

    Information Systems Development. red. / William Wei Song; Changxuan Wan; Wita Wojtkowski; Henry Linger; Shenghua Xu; Yuansheng Zhong; Gregory Wojtkowski. Springer Science+Business Media B.V., 2011. s. 535-546.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  82. Udgivet

    Agil udvikling og innovation af software : Agil udvikling støttet af organisatoriske patterns. Samarbejde og eksperimenter under innovation af software. Videndeling mellem sektorerne byggeri og softwareudvikling.. / Skou, Arne (Redaktør); Aaen, Ivan (Redaktør); Biegel, Jørgen (Redaktør).

    Aalborg : CISS, Aalborg Universitet, 2011. 108 s.

    Publikation: Formidling › Bog

  83. Udgivet

    Algorithmic Approach to Abstracting Linear Systems by Timed Automata. / Sloth, Christoffer; Wisniewski, Rafael.

    I: I F A C Workshop Series, 2011, s. 4546-4551.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  84. Udgivet

    An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. / Hilscher, Martin; Linker, Sven; Olderog, Ernst-Rüdiger; Ravn, Anders Peter.

    I: Lecture Notes in Computer Science, Vol. 6991, 2011, s. 404-419.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  85. Udgivet

    APAC: A tool for Reasoning about Abstract Probabilistic Automata. / Delahaye, Benoît; Larsen, Kim Guldstrand; Legay, Alex; Pedersen, Mikkel L.; Wasowski, Andrzej.

    Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press, 2011. s. 151-152.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  86. Udgivet

    Application of Model-Checking Technology to Controller Synthesis. / David, Alexandre; Grunnet, Jacob Deleuran; Jessen, Jan Jacob; Larsen, Kim Guldstrand; Rasmussen, Jacob Illum.

    I: Lecture Notes in Computer Science, Vol. 6957, 2011, s. 336-351.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  87. Udgivet

    Building and operating a distributed regional centre for LHC computing and data storage. / Smirnova, Oxana; Behrmann, Gerd; Grønager, Michael; Johansson, Daniel; Kleist, Josva; Konstantinov, Aleksandr; Konya, Balazs; Jensen, Henrik Thostrup.

    Proceedings of the 2011 Seventh IEEE International Conference on eScience (eScience 2011). IEEE Press, 2011. s. 181-188.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  88. Udgivet

    Constraint Markov chains. / Caillaud, B.; Delahaye, B.; Larsen, Kim Guldstrand; Legay, A.; Pedersen, M.L.; Wa̧sowski, A.

    I: Theoretical Computer Science, Vol. 412, Nr. 34, 01.08.2011, s. 4373-4404.

    Publikation: Forskning - peer review › Tidsskriftartikel

  89. Udgivet

    Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. / Cardelli, Luca; Larsen, Kim Guldstrand; Mardare, Radu.

    CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Vol. 12 Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2011. s. 144-158.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  90. Udgivet

    Decision Problems for Interval Markov Chains. / Delahaye, Benoit; Larsen, Kim Guldstrand; Legay, Axel ; Pedersen, Mikkel Larsen; Wasowski, Andrzej.

    I: Lecture Notes in Computer Science, Vol. 6638, 2011, s. 274-285.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  91. Udgivet

    Developing UPPAAL over 15 years. / Behrmann, Gerd; David, Alexandre; Larsen, Kim Guldstrand; Pettersson, Paul; Yi, Wang.

    I: Software: Practice & Experience, Vol. 41, Nr. 2, 01.2011, s. 133-142.

    Publikation: Forskning - peer review › Tidsskriftartikel

  92. Udgivet

    Distances for Weighted Transition Systems: Games and Properties. / Fahrenberg, Uli; Thrane, Claus R.; Larsen, Kim Guldstrand.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 57, 2011, s. 134-147.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  93. Udgivet

    Distributed Parametric and Statistical Model Checking. / Bulychev, Petr Evgenevich; David, Alexandre; Larsen, Kim Guldstrand; Mikucionis, Marius; Legay, Axel.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 72, 2011, s. 30-42.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  94. Udgivet

    Energy Games in Multiweighted Automata. / Fahrenberg, U.; Juhl, L.; Larsen, Kim Guldstrand; Srba, J.

    I: Lecture Notes in Computer Science, Vol. 6916, 01.01.2011, s. 95-115.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  95. Udgivet

    Learning Probabilistic Automata for Model Checking. / Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas Dyhre; Larsen, Kim Guldstrand; Nielsen, Brian.

    8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. s. 111-120.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  96. Udgivet

    Message from the Chairs. / Wellings, Andy; Ravn, Anders Peter.

    Proceedings of the 9th The International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, 2011.

    Publikation: Forskning › Forord/Indledning/efterskrift

  97. Udgivet

    Metrics for weighted transition systems: Axiomatization and complexity. / Larsen, Kim Guldstrand; Fahrenberg, U.; Thrane, C.

    I: Theoretical Computer Science, Vol. 412, Nr. 28, 01.06.2011, s. 3358-3369.

    Publikation: Forskning - peer review › Tidsskriftartikel

  98. Udgivet

    Modelling and Verification of Web Services Business Activity Protocol. / Ravn, Anders Peter; Srba, Jiri; Vighio, Saleem.

    I: Lecture Notes in Computer Science, Vol. 6605, 2011, s. 357--371.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  99. Udgivet

    Modular Markovian logic. / Cardelli, L.; Larsen, Kim Guldstrand; Mardare, R.

    I: Lecture Notes in Computer Science, Vol. 6756 LNCS, 01.01.2011, s. 380-391.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  100. Udgivet

    Monitoring Dynamical Signals While Testing Timed Aspects of a System. / Frehse, Goran; Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, B.

    I: Lecture Notes in Computer Science, Vol. 7019 LNCS, 01.01.2011, s. 115-130.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  101. Udgivet

    New Results on Abstract Probabilistic Automata. / Delahaye, Benoit; Katoen, Joost-Pieter; Larsen, Kim Guldstrand; Legay, Axel; Pedersen, Mikkel Larsen; Sher, Falak; Wasowski, Andrzej.

    I: International Conference on Application of Concurrency to System Design. Proceedings, 2011, s. 118-127.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  102. Udgivet

    Optimal Infinite Runs in One-Clock Priced Timed Automata. / David, Alexandre; Ejsing-Duun, Daniel; Fontani, Lisa; Larsen, Kim Guldstrand; Popescu, Vasile; Haubach Smedegård, Jacob.

    2011. Paper presented at Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Lednice, Tjekkiet.

    Publikation: Forskning - peer review › Paper uden forlag/tidsskrift

  103. Udgivet

    opaal: A Lattice Model Checker. / Dalsgaard, Andreas Engelbredt; Hansen, Rene Rydhof; Jørgensen, Kenneth Yrke; Larsen, Kim Guldstrand; Olesen, Mads Chr.; Olsen, Petur; Srba, Jiri.

    I: Lecture Notes in Computer Science, Vol. 6617, 2011, s. 487-493.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

Forrige 1 2 3 4 5 6 7 Næste

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