• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
2011
3 Citationer (Scopus)

Event-Driven Architecture for Health Event Detection from Multiple Sources

Denecke, K., Kirchner, G., Dolog, P., Smrz, P., Linge, J., Backfried, G. & Dreesman, J., 2011, I : Studies in Health Technology and Informatics. 169, s. 160-164 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

10 Citationer (Scopus)

Extending ProbLog with Continuous Distributions

Gutmann, B., Jaeger, M. & De Raedt, L., 2011, I : Lecture Notes in Computer Science. 6489, s. 76-91 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Hastighedskort for Danmark vha. GPS

Andersen, O., Lahrmann, H. & Torp, K., 2011, I : Artikler fra Trafikdage på Aalborg Universitet. 19 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

7 Citationer (Scopus)

Implementing performance competitive logical recovery

Lomet, D., Tzoumas, K. & Zwilling, M., apr. 2011, I : Proceedings of the VLDB Endowment. 4, s. 430-439 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Recovery
Information management
Hardware
Experiments
4 Citationer (Scopus)

Learning Complex Concepts Using Crowdsourcing: A Bayesian Approach

Viappiani, P. R., Zilles, S., Hamilton, H. J. & Boutilier, C., 2011, I : Lecture Notes in Computer Science. 6992, s. 277-291

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

17 Citationer (Scopus)

Lightweight graphical models for selectivity estimation without independence assumptions

Tzoumas, K., Deshpande, A. & Jensen, C. S., aug. 2011, I : Proceedings of the VLDB Endowment. 4, s. 852-863 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Error analysis
Probability distributions
4 Citationer (Scopus)

Model-based testing of industrial transformational systems

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

Modelling and Verification of Web Services Business Activity Protocol

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

Modular Markovian logic

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer 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, I : Lecture Notes in Computer Science. 7019 LNCS, s. 115-130 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Monitoring
Hybrid Automata
Testing
Nondeterminism
Timed Automata
16 Citationer (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, I : Proceedings of the International Conference on Application of Concurrency to System Design. s. 118-127

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

7 Citationer (Scopus)

On Kernel Information Propagation for Tag Clustering in Social Annotation Systems

Xu, G., Zong, Y., Pan, R., Dolog, P. & Jin, P., 1 sep. 2011, I : Lecture Notes in Computer Science. 6882, s. 505-514 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

8 Citationer (Scopus)
381 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, I : Lecture Notes in Computer Science. 6617, s. 487-493 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
24 Citationer (Scopus)

Parametric modal transition systems

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Transition Systems
Computational complexity
Refinement
Specifications
Reactive Systems
2 Citationer (Scopus)

Persuasion In-Situ: Shopping for Healthy Food in Supermarkets

Kallehave, O., Skov, M. B. & Tiainen, N., 2011, I : CEUR Workshop Proceedings. 722, s. 7-10 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

18 Citationer (Scopus)

Quantitative Refinement for Weighted Modal Transition Systems

Bauer, S. S., Fahrenberg, U., Juhl, L., Larsen, K. G., Legay, A. & Thrane, C., 1 jan. 2011, I : Lecture Notes in Computer Science. 6907 LNCS, s. 60-71 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Transition Systems
Refinement
Specification
Specifications
Software System
6 Citationer (Scopus)

RESTful, Resource-Oriented Architectures: A Model-Driven Approach

Perez, S., Durao, F., Meliá, S., Dolog, P. & Diáz, O., 2011, I : Lecture Notes in Computer Science. 6724, s. 282-294 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Scenarios
Web services
Resources
Web Services
Web Engineering
13 Citationer (Scopus)

Robust specification of real time components

Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 1 jan. 2011, I : Lecture Notes in Computer Science. 6919 LNCS, s. 129-144 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Specification
Specifications
Robustness
Parallel Composition
Timed Automata
86 Citationer (Scopus)

Statistical Model Checking for Networks of Priced Timed Automata

David, A., Larsen, K. G., Mikucionis, M., Poulsen, D. B., Vliet, J. V., Legay, A. & Wang, Z., 1 jan. 2011, I : Lecture Notes in Computer Science. 6919 LNCS, s. 80-96 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Timed Automata
Model checking
Model Checking
Statistical Model
Semantics
9 Citationer (Scopus)

The Meta-Morphing Model Used in TARGIT BI Suite

Middelfart, M. & Pedersen, T. B., 2011, I : Lecture Notes in Computer Science. 6999, s. 364-370 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

22 Citationer (Scopus)

Thread-Level Parallel Indexing of Update Intensive Moving-Object Workloads

Sidlauskas, D., Ross, K. A., Jensen, C. S. & Saltenis, S., 2011, I : Lecture Notes in Computer Science. 6849, s. 186-204 19 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Cloning
Moving Objects
Indexing
Thread
Workload
15 Citationer (Scopus)

Timed Automata Can Always Be Made Implementable

Bouyer, P., Larsen, K. G., Markey, N., Sankur, O. & Thrane, C., 1 jan. 2011, I : Lecture Notes in Computer Science. 6901 LNCS, s. 76-91 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Timed Automata
Semantics
Clocks
Synchrony
Timing
85 Citationer (Scopus)

Time for Statistical Model Checking of Real-Time Systems

David, A., Larsen, K. G., Legay, A., Mikucionis, M. & Wang, Z., 1 jan. 2011, I : Lecture Notes in Computer Science. 6806 LNCS, s. 349-355 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Real time systems
Model Checking
Statistical Model
Real-time
2 Citationer (Scopus)

Top-k similarity search on uncertain trajectories

Ma, C., Lu, H., Shou, L., Chen, G. & Chen, S., 2011, I : Lecture Notes in Computer Science. 6809, s. 589-591 3 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Similarity Search
Trajectories
Trajectory
Range of data

Towards a Real-Time, WCET Analysable JVM Running in 256 kB of Flash Memory

Luckow, K. S., Thomsen, B. & Korsholm, S., 2011, I : Proceedings of the 23rd Nordic Workshop on Programming Theory. 254, 2011, s. 86-88 3 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols

Dahl, M., Kobayashi, N., Sun, Y. & Hüttel, H., 2011, I : Lecture Notes in Computer Science. 6996, s. 75-89 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

10 Citationer (Scopus)

Typed ψ-calculi

Hüttel, H., 2011, I : Lecture Notes in Computer Science. 6901, s. 265-279 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

28 Citationer (Scopus)

Verification of Timed-Arc Petri Nets

Jacobsen, L., Jacobsen, M., Møller, M. H. & Srba, J., 2011, I : Lecture Notes in Computer Science. 6543, s. 46-72 26 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

Petri nets
Petri Nets
Arc of a curve
Automatic Verification
Timed Automata
2012

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

David, A., Jacobsen, L., Jacobsen, M. & Srba, J., 2012, I : Electronic Proceedings in Theoretical Computer Science. 102, s. 125-140 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Petri nets
Extrapolation
11 Citationer (Scopus)

A heuristic-based approach for planning federated SPARQL queries

Montoya, G., Vidal, M. E. & Acosta, M., 1 dec. 2012, I : CEUR Workshop Proceedings. 905, 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Engines
Planning
Information management
Semantics
Bandwidth

Estimering af bilers brændstofforbrug ved brug af eksisterende GPS data

Andersen, O., Lahrmann, H. & Torp, K., 2012, I : Danish Journal of Transportation Research - Dansk tidskrift for transportforskning. 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Interactive information extraction based on distributed data management for German grid projects

Kel, R. J., Metzger, S., Daivandy, J. M., Hose, K., Nich, D. H., Schenkel, R. & Schuller, B., 1 jan. 2012, I : Proceedings of Science. 2012-March

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Information management

Learning Markov Decision Processes for Model Checking

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, I : Electronic Proceedings in Theoretical Computer Science. 103, s. 49-63

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Temporal logic
Finite automata
Learning algorithms
Learning systems
17 Citationer (Scopus)

MapReduce-based Dimensional ETL Made Easy

Xiufeng, L., Thomsen, C. & Pedersen, T. B., aug. 2012, I : Proceedings of the VLDB Endowment. 5, 12, s. 1882-1885 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Data warehouses
Scalability
Processing
Computer programming
Stars
2 Citationer (Scopus)

MDM: A Mode Diagram Modeling Framework

Wang, Z., Pu, G., Li, J., He, J., Qin, S., Larsen, K. G., Madsen, J. & Gu, B., 2012, I : Electronic Proceedings in Theoretical Computer Science. 105, s. 135-149

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

11 Citationer (Scopus)

On the Existence of Compositional Barrier Certificates

Sloth, C., Wisniewski, R. & Pappas, G. J., 2012, I : I E E E Conference on Decision and Control. Proceedings. s. 4580-4585 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Certificate
Barrier Function
Safety Analysis
Counterexample
Subsystem

Parameterized Metatheory for Continuous Markovian Logic

Larsen, K. G., Mardare, R. I. & Thrane, C., 2012, I : Electronic Proceedings in Theoretical Computer Science. 103, s. 33-47

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (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, I : A C M / I E E E Design Automation Conference. Proceedings. s. 370-375

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Embedded systems
Testing

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Data structures
Clocks
Model checking
Petri nets
Explosions
66 Citationer (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, I : Electronic Proceedings in Theoretical Computer Science. 85, s. 1-16 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Probability distributions
Semantics
Statistical Models
2013
28 Citationer (Scopus)

Building accurate 3D spatial networks to enable next generation intelligent transportation systems

Kaul, M., Yang, B. & Jensen, C. S., 11 sep. 2013, I : Proceedings - IEEE International Conference on Mobile Data Management. 1, s. 137-146 10 s., 6569130.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Data storage equipment
Vehicle routing
Lasers
Environmental impact
Scalability

Externalizing Behaviour for Analysing System Models

Ivanova, M. G., Probst, C. W., Hansen, R. R. & Kammüller, F., nov. 2013, I : Journal of Internet Services and Information Security. 3, 3/4, s. 52-62

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Hurtigste versus mest brændstoføkonomiske ruter

Andersen, O., Krogh, B. B., Lahrmann, H. & Torp, K., 2013, I : Artikler fra Trafikdage på Aalborg Universitet. 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

3 Citationer (Scopus)

Reachability-based Impact as a Measrue for Insiderness

Probst, C. W. & Hansen, R. R., dec. 2013, I : Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications. 4, 4, s. 38-48 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

Luckow, K. S., Bøgholm, T. & Thomsen, B., 2013, I : WiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium. s. 41-44 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2014
1 Citation (Scopus)

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Hatvani, L., David, A., Seceleanu, C. & Pettersson, P., 2014, I : Electronic Communications of the EASST. 70, s. 1-15 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang

Analyse af elbilers forbrug

Andersen, O., Krogh, B. B. & Torp, K., 2014, I : Artikler fra Trafikdage på Aalborg Universitet. 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
2 Citationer (Scopus)
466 Downloads (Pure)

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Olesen, M. C., Hansen, R. R., Lawall, J. L. & Palix, N. J-M., okt. 2014, I : Science of Computer Programming. 91, Part B, s. 141-160

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
10 Citationer (Scopus)

Lower-bound-constrained runs in weighted timed automata

Bouyer, P., Larsen, K. G. & Markey, N., 19 maj 2014, I : Performance Evaluation. 73, s. 91-109 73.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

Refinement and Difference for Probabilistic Automata

Larsen, K. G., Delahaye, B., Fahrenberg, U. & Legay, A., 28 feb. 2014, I : Logical Methods in Computer Science. 10, 3, s. 1-32

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang