Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

2012
18 Citations (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, p. 44-53 (ACM International Conference Proceeding Series (ICPS)).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

5 Citations (Scopus)
324 Downloads (Pure)

Safety-critical Java with cyclic executives on chip-multiprocessors

Ravn, A. P. & Schoeberl, M., 12 Jun 2012, In : Concurrency and Computation: Practice & Experience. 24, 8, p. 772-788

Research output: Contribution to journalJournal articleResearchpeer-review

File
2 Citations (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, p. 71-78 8 p. (International Symposium on Object-Oriented Real-Time Distributed Computing).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

32 Citations (Scopus)

Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 18 Oct 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. (eds.). Springer, p. 293-307 15 p. (Lecture Notes in Computer Science, Vol. 7610).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Statistical Models
Satellites
Concretes
43 Citations (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, p. 672-682 11 p. (Proceedings of the International Conference on Software Engineering).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Explosions
Byproducts
Costs
Life cycle
9 Citations (Scopus)

State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems

Bozga, M., David, A., Hartmanns, A., Larsen, K. G., Legay, A. & Tretmans, J., 2012, In : A C M / I E E E Design Automation Conference. Proceedings. p. 370-375

Research output: Contribution to journalConference article in JournalResearchpeer-review

Embedded systems
Testing
5 Citations (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, Vol. 7595. p. 7-10 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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. (eds.). Newcastle Upon Tyne, p. 122-136 15 p. (Electronic Proceedings in Theoretical Computer Science; No. 92).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Hybrid systems
Semantics
Engines
Statistical Models
19 Citations (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. (eds.). Springer Publishing Company, p. 327-341 15 p. (Lecture Notes in Computer Science, Vol. 7609).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Embedded systems
Quality of service
Semantics
Statistical Models

Stone Duality for Markov Processes

Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012. 2 p.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

1 Citation (Scopus)

Structured Linear Parameter Varying Control of Wind Turbines

Adegas, F. D., Sloth, C. & Stoustrup, J., 2012, Control of Linear Parameter Varying Systems with Applications. Mohammadpour, J. & Scherer, C. W. (eds.). Springer Science+Business Media, p. 303-337 35 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Wind turbines
Controllers
Feedback
Failure analysis
Actuators
2 Citations (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. (eds.). Springer Publishing Company, p. 203-218 16 p. (Lecture Notes in Computer Science, Vol. 7273).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Scheduling
Clocks
Chemical analysis
17 Citations (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. (eds.). Springer, p. 681-692 (Lecture Notes in Computer Science, Vol. 7464).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

31 Citations (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. (eds.). Netherlands: Springer, p. 492-497 6 p. (Lecture Notes in Computer Science, Vol. 7214).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Petri nets
Engines
8 Citations (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, Vol. 6957. p. 352-371 20 p. (Lecture Notes in Computer Science, Vol. 6957).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Real time systems
Testing
Observability
Controllability
Embedded systems

Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Nielsen, B. (ed.) & Weise, C. (ed.), Nov 2012, Springer Publishing Company. (Lecture Notes in Computer Science, Vol. 7641).

Research output: Book/ReportAnthologyResearchpeer-review

Testing Software and Systems - Preface: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

Nielsen, B. & Weise, C., Nov 2012, Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Nielsen, B. & Weise, C. (eds.). Springer Publishing Company, p. V-VI (Lecture Notes in Computer Science, Vol. 7641).

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

6 Citations (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, Vol. 7617. p. 31-46 (Lecture Notes in Computer Science, Vol. 7617).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Time-Darts: A Data Structure for Verification of Closed Timed Automata

Jørgensen, K. Y., Larsen, K. G. & Srba, J., 2012, In : Electronic Proceedings in Theoretical Computer Science. 102, p. 141-155 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Data structures
Clocks
Model checking
Petri nets
Explosions
4 Citations (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, p. 103-108 6 p. (Software Engineering Notes).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Chemical analysis
68 Citations (Scopus)

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Bulychev, P., David, A., Larsen, K. G., Mikučionis, M., Poulsen, D. B., Legay, A. & Wang, Z., 2012, In : Electronic Proceedings in Theoretical Computer Science. 85, p. 1-16 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Model checking
Probability distributions
Semantics
Statistical Models
7 Citations (Scopus)
110 Downloads (Pure)

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. (ed.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 23. p. 1-12 12 p. (OpenAccess Series in Informatics).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
2011
6 Citations (Scopus)
224 Downloads (Pure)

Abstraction of Dynamical Systems by Timed Automata

Wisniewski, R. & Sloth, C., 2011, In : Modeling, Identification and Control (Online Edition). 32, 2, p. 79-90 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Timed Automata
Equivalence classes
Dynamical systems
State Space
Dynamical system
33 Citations (Scopus)

Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In : Lecture Notes in Computer Science. 6538, p. 324-339

Research output: Contribution to journalConference article in JournalResearchpeer-review

Adopting quality assurance technology in customer-vendor relationships: A case study of how interorganizational relationships influence the process

Heeager, L. T. & Tjørnehøj, G., 2011, Information Systems Development: Asian Experiences. Song, W. W., Wan, C., Wojtkowski, W., Linger, H., Xu, S., Zhong, Y. & Wojtkowski, G. (eds.). Springer Science+Business Media, p. 535-546

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

19 Citations (Scopus)

A Hardware Abstraction Layer in Java

Schoeberl, M., Korsholm, S., Kalibera, T. & Ravn, A. P., Nov 2011, In : ACM Transactions on Embedded Computing Systems. 10, 4, 42 p.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)
306 Downloads (Pure)

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

Sloth, C. & Wisniewski, R., 2011, In : I F A C Workshop Series. p. 4546-4551 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Lyapunov functions
Linear systems
Dynamical systems
Trajectories
29 Citations (Scopus)

An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres

Hilscher, M., Linker, S., Olderog, E-R. & Ravn, A. P., 2011, In : Lecture Notes in Computer Science. 6991, p. 404-419 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Railroad cars
Safety
Traffic
Controller
Model
8 Citations (Scopus)

APAC: A tool for Reasoning about Abstract Probabilistic Automata

Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 1 Jan 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press, p. 151-152 2 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Specifications
8 Citations (Scopus)

Application of Model-Checking Technology to Controller Synthesis

David, A., Grunnet, J. D., Jessen, J. J., Larsen, K. G. & Rasmussen, J. I., 2011, In : Lecture Notes in Computer Science. 6957, p. 336-351 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Model checking
Model Checking
Synthesis
Game
Controller
6 Citations (Scopus)

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, Vol. 18. p. 12496-12502 7 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Interchanges
Semantics
Hybrid systems
Interoperability
Specifications
34 Citations (Scopus)

Constraint Markov chains

Caillaud, B., Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wa̧sowski, A., 1 Aug 2011, In : Theoretical Computer Science. 412, 34, p. 4373-4404 32 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Markov processes
Markov chain
Specification
Specifications
Mathematical operators
9 Citations (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, Vol. 12. p. 144-158 15 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

14 Citations (Scopus)

Decision Problems for Interval Markov Chains

Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, In : Lecture Notes in Computer Science. 6638, p. 274-285

Research output: Contribution to journalConference article in JournalResearchpeer-review

54 Citations (Scopus)

Developing UPPAAL over 15 years

Behrmann, G., David, A., Larsen, K. G., Pettersson, P. & Yi, W., Jan 2011, In : Software: Practice & Experience. 41, 2, p. 133-142 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Distances for Weighted Transition Systems: Games and Properties

Fahrenberg, U., Thrane, C. R. & Larsen, K. G., 2011, In : Electronic Proceedings in Theoretical Computer Science. 57, p. 134-147 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Distributed Parametric and Statistical Model Checking

Bulychev, P. E., David, A., Larsen, K. G., Mikucionis, M. & Legay, A., 2011, In : Electronic Proceedings in Theoretical Computer Science. 72, p. 30-42 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

50 Citations (Scopus)

Energy Games in Multiweighted Automata

Fahrenberg, U., Juhl, L., Larsen, K. G. & Srba, J., 1 Jan 2011, In : Lecture Notes in Computer Science. 6916, p. 95-115 21 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Computability and decidability
Finite automata
Petri nets
Automata
Game
29 Citations (Scopus)
712 Downloads (Pure)

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, p. 111-120 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File

Message from the Chairs

Wellings, A. & Ravn, A. P., Aug 2011, Proceedings of the 9th The International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, 1 p.

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

20 Citations (Scopus)

Metrics for weighted transition systems: Axiomatization and complexity

Larsen, K. G., Fahrenberg, U. & Thrane, C., 1 Jun 2011, In : Theoretical Computer Science. 412, 28, p. 3358-3369 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Transition Systems
Axiomatization
Algebra
Acoustic waves
Metric
4 Citations (Scopus)

Model-based testing of industrial transformational systems

Olsen, P., Foederer, J. & Tretmans, J., 2011, In : Lecture Notes in Computer Science. 7019, p. 131-145 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Model-based Testing
Output
Testing
Test Set
Large scale systems
14 Citations (Scopus)

Modelling and Verification of Web Services Business Activity Protocol

Ravn, A. P., Srba, J. & Vighio, S., 2011, In : Lecture Notes in Computer Science. 6605, p. 357--371 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Web services
Web Services
Network protocols
Modeling
Industry
10 Citations (Scopus)

Modular Markovian logic

Cardelli, L., Larsen, K. G. & Mardare, R., 1 Jan 2011, In : Lecture Notes in Computer Science. 6756 LNCS, p. 380-391 12 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Logic
Markov processes
Separation Logic
Bisimulation
Axiomatization
1 Citation (Scopus)

Monitoring Dynamical Signals While Testing Timed Aspects of a System

Frehse, G., Larsen, K. G., Mikucionis, M. & Nielsen, B., 1 Jan 2011, In : Lecture Notes in Computer Science. 7019 LNCS, p. 115-130 16 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Monitoring
Hybrid Automata
Testing
Nondeterminism
Timed Automata
16 Citations (Scopus)

New Results on Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In : Proceedings of the International Conference on Application of Concurrency to System Design. p. 118-127

Research output: Contribution to journalConference article in JournalResearchpeer-review

8 Citations (Scopus)
392 Downloads (Pure)

Opaal: A Lattice Model Checker

Dalsgaard, A. E., Hansen, R. R., Jørgensen, K. Y., Larsen, K. G., Olesen, M. C., Olsen, P. & Srba, J., 2011, In : Lecture Notes in Computer Science. 6617, p. 487-493 5 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File

Optimal Infinite Runs in One-Clock Priced Timed Automata

David, A., Ejsing-Duun, D., Fontani, L., Larsen, K. G., Popescu, V. & Haubach Smedegård, J., 2011. 9 p.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

Timed Automata
Bisimulation
Costs
Graph in graph theory
Partitioning
24 Citations (Scopus)

Parametric modal transition systems

Beneš, N., Křetínský, J., Larsen, K. G., Møller, M. H. & Srba, J., 1 Jan 2011, In : Lecture Notes in Computer Science. 6996, p. 275-289 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Transition Systems
Computational complexity
Refinement
Specifications
Reactive Systems