Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output

2003

The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2003, In : Theoretical Computer Science. 293, 1, p. 169-188

Research output: Contribution to journalJournal articleResearchpeer-review

9 Citations (Scopus)

The power of reachability testing for timed automata

Aceto, L., Bouyer, P., Burgueno, A. & Larsen, K. G., 2003, In : Theoretical Computer Science. 300, 1-3, p. 411-475

Research output: Contribution to journalJournal articleResearchpeer-review

48 Citations (Scopus)

Time-Optimal Test Cases for Real-Time Systems

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

To Store or Not to Store

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Towards Reliable Integrated Services for Dependable Systems

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Open Access
File
112 Downloads (Pure)

Unification & sharing in timed automata verification

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Open Access
File
171 Downloads (Pure)

Untameable timed automata

Bouyer, P., Dufourd, C., Fleury, E. & Petit, A., 2003, In : Theoretical Computer Science. 321, 1, p. 291-345 54 p.

Research output: Contribution to journalJournal articleResearchpeer-review

46 Citations (Scopus)
2002

A Formalization of Linkage Analysis

Ingolfsdottir, A., Christensen, A. I., Hansen, J. A., Johnsen, J., Knudsen, J. & Rasmussen, J. I., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-7).

Research output: Book/ReportBookResearch

A Fully Equational Proof of Parikh's Theorem

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2002, In : Informatique théorique et applications (Imprimé). 36, 2, p. 129-153

Research output: Contribution to journalJournal articleResearchpeer-review

10 Citations (Scopus)

Aliasing Models for Mobile Objects

Huttel, H., Kleist, J., Nestmann, U. & Merro, M., 2002, In : Information and Computation. 175, 1, p. 3-33

Research output: Contribution to journalJournal articleResearchpeer-review

9 Citations (Scopus)

A Note on an Expressiveness Hierarchy for Multi-exit Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-40).

Research output: Book/ReportBookResearch

A Performance Study of Distributed Timed Automata Reachability Analysis

Behrmann, G., 2002, Pergamon Press. (Electronical notes in theoretical computer science; No. 68).

Research output: Book/ReportBookResearch

11 Citations (Scopus)

Automated verification of an audio-control protocol using UPPAAL

Bengtsson, J., Griffioen, W. O. D., Kristoffersen, K. J., Larsen, K. G., Larsson, F., Pettersson, P. & Yi, W., 2002, In : Journal of Logic and Algebraic Programming. 52-53, p. 163-181

Research output: Contribution to journalJournal articleResearchpeer-review

30 Citations (Scopus)

Checking Consistency of Pedigree Information is NP-complete

Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-42).

Research output: Book/ReportBookResearch

Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002

Brinksma, E. & Larsen, K. G., 2002, Berlin: IEEE Computer Society Press. 626 p. (Lecture Notes in Computer Science; No. 2404).

Research output: Book/ReportBookResearch

Deciding Framed Bisimilarity

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Deciding Framed Bisimilarity

Huttel, H., 2002, Århus: BRICS - Aarhus University. (BRICS Research Report; No. RS-02-25).

Research output: Book/ReportBookResearch

Equational Axioms for Probabilistic Bisimulation

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Exact Acceleration of Real-Time Model Checking

Hendriks, M. & Larsen, K. G., 2002, Pergamon Press. (Electronic notes in theoretical science; No. 65).

Research output: Book/ReportBookResearch

21 Citations (Scopus)

Handoff Initiation in Mobile IPv6

Andersen, T. W., Lindballe, A. & Nielsen, B., 2002, Wireless IP and building the mobile Internet. Dixit, Sudhir (ed.) : Prasad, Ramjee (ed.) (ed.). Boston: Artech House, (Artech House Universal Personal Communications Series).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics

Aceto, L. & Laroussinie, F., 2002, In : Journal of Logic and Algebraic Programming. 52-53, p. 7-51

Research output: Contribution to journalJournal articleResearchpeer-review

28 Citations (Scopus)

Mobile Objects as Mobile Processes

Massimo, M., Nestmann, U. & Kleist, J., 2002, In : Information and Computation. 177, p. 1-47 47 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Modal Logics for Cryptographic Processes

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

4 Citations (Scopus)

New UPPAAl Architecture

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Planning and Operation of an Autonomous Vehicle

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Reduction and Refinement Strategies for Probalistic Analysis

D'Argenio, P. R., Jeannet, B., Jensen, H. E. & Larsen, K. G., 2002, Process Algebra and Probablistic Methods. Hermanns, H. (ed.) : Sagala R. (ed.) (ed.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 2399).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Regular Languages Definable by Lindström Quantifiers (Preliminary Version)

Ésik, Z. & Larsen, K. G., 2002, Århus: BRICS. (B R I C S Report Series; No. RS-02-21).

Research output: Book/ReportBookResearch

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

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Special Issue of the Nordic Journal of Computing devoted to selected papers from EXPRESS'01: 8th International Workshop on Expressiveness in Concurrency

Aceto, L. & Panangaden, P., 2002, In : Nordic Journal of Computing. 9, 2

Research output: Contribution to journalJournal articleResearchpeer-review

UPPAAL Implementation Secrets

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

42 Citations (Scopus)
2001

2-Nested Simulation is not Finitely Equationally Axiomatizable

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

10 Citations (Scopus)

A Fully Abstract Denotational Model for Observational Precongruence

Ingolfsdottir, A. & Schalk, A., 2001, In : Theoretical Computer Science. 254, 1/2, p. 35-61

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

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

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

91 Citations (Scopus)

Automated Test Generation Timed Automata

Nielsen, B. & Skou, A., 2001, Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Margaria, T. : Yi, W. (eds.) (ed.). 2031 ed. IEEE Computer Society Press, p. 343-357

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Axiomatizing Tropical Semirings

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Honsell, F. : Miculan, M.(eds.) (ed.). 2030 ed. IEEE Computer Society Press, p. 42-56

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

1 Citation (Scopus)

CONCUR 2001 - Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20 - 25, 2001

Larsen, K. G. & Nielsen, M. E. ., 2001, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 2154).

Research output: Book/ReportBookResearch

Conservative Extension in Structural Operational Semantics

Aceto, L., Fokkink, J. & Verhoef, C., 2001, Current Trends in Theoretical Computer Science : Entering the 21st Century. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific, p. 504-524

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Corrigendum: Volume 66 (1991) pp. 161-218, for the Article "A Domain Equation for Bisimulation" by Samson Abramsky

Aceto, L. & Ingolfsdottir, A., 2001, In : Information and Computation. 165, 2, p. 119-122

Research output: Contribution to journalJournal articleResearchpeer-review

Efficient Guiding Towards Cost-Optimality in UPPAAL

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

92 Citations (Scopus)

Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

Larsen, K. G., Larsson, F., Pettersson, P. & Yi, W., 2001

Research output: Book/ReportBookResearch

Guided Synthesis of Control Programs using UPPAAL

Hune, T., Larsen, K. G. & Pettersson, P., 2001, In : Nordic Journal of Computing. 8, 1, p. 43-64

Research output: Contribution to journalJournal articleResearchpeer-review

Guiding and Cost-Optimality in Uppaal

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

92 Citations (Scopus)

Handoff Initiation in Mobile IPv6

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics

Aceto, L. & Laroussinie, F., 2001, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Minimum-Cost Reachability for Priced Timed Automata

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

201 Citations (Scopus)

Nonfinitely Based Tropical Semirings

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Proceedings of the Workshop on Max-Plus Algebra and Their Applications to Discrete-Event Systems : Theoretical Computer Science, and Optimization, August 27-29 2001, Prague, Czech Republic. Gaubert, S. : Loiseau, J. J. (eds.) (ed.). Elsevier, p. 29-34

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Probabilistic Process Algebra

Jonsson, B., Larsen, K. G., Yi, W., Bergstrand, J. A., Ponse, A. & Smolka, S. A., 2001

Research output: Book/ReportBookResearch

16 Citations (Scopus)