• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
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
4 Citationer (Scopus)

On the Metric-Based Approximate Minimization of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I : Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Markov processes
Experiments
17 Citationer (Scopus)

On using priced timed automata to achieve optimal scheduling

Rasmussen, J. I., Larsen, K. G. & Subramani, K., 2006, I : Formal Methods in System Design. 29, 1, s. 97-114 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Optimal Scheduling
Timed Automata
Scheduling
Reachability
Costs
48 Citationer (Scopus)

Optimal infinite scheduling for multi-priced timed automata

Bouyer, P., Brinksma, E. & Larsen, K. G., 2008, I : Formal Methods in System Design. 1, 3 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

27 Downloads (Pure)
Åben adgang
Fil
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
62 Citationer (Scopus)

Parallel Distributed Processing of Constrained Skyline Queries by Filtering

Cui, B., Lu, H., Xu, Q., Chen, L., Dai, Y. & Zhou, Y., 2008, I : Proceedings / International Conference on Data Engeenering. s. 546-555 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

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
27 Downloads (Pure)

Parametric Verification of Weighted Systems

Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 2015, I : Open Access Series in Informatics. 44, s. 77-90

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Model checking
Linear equations
Linear systems
Mathematical operators
Semantics

Parametrised Constants and Replication for Spatial Mobility

Hüttel, H. & Haagensen, B., 2009, I : Lecture Notes in Computer Science. 5521, s. 123-142

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Replication
Calculus
Encoding
Process Calculi
Recursion
36 Citationer (Scopus)
203 Downloads (Pure)

Path cost distribution estimation using trajectory data

Dai, J., Yang, B., Guo, C., Jensen, C. S. & Hu, J., 2016, I : Proceedings of the VLDB Endowment. 10, 3, s. 85-96 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil

Performance of an ARC–enabled computing grid for ATLAS/LHC physics analysis and Monte Carlo production under realistic conditions

Bidragets oversatte titel: Effektivtet af ARC baseret grid for ATLAS/LHC analyse og monte-carlo produktion under realistiske forholdKleist, J., Samset, B., Cameron, D., Ellert, M., Filipcic, A., Grønager, M., Maffioletti, S., Ould-Saada, F., Pajchel, K., Read, A. & Taga, A., 2010, I : Journal of Physics - Conference Series. 219, 7, 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

7 Citationer (Scopus)

Playing Games with Timed Games

David, A., Larsen, K. G. & Chatain, T., 2009, I : I F A C Workshop Series. 3, 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Playing with partial knowledge in membrane systems: A logical approach

Cavaliere, M. & Mardare, R. I., 2006, I : Lecture Notes in Computer Science. s. 279 297 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Membrane Computing
Biology
Computer Science
Membrane
Cytology

Present and Absent Sets: Abstraction for Data Intensive Systems Suited for Testing

Olsen, P., Larsen, K. G., Mikucionis, M. & Skou, A., 28 dec. 2010, I : Electronic Notes in Theoretical Computer Science. 264, 3, s. 53-68

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Pretty Easy Pervasive Positioning

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2009, I : Lecture Notes in Computer Science. 5644, s. 417-421

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wi-Fi
Positioning
Global positioning system
Coverage
Infrastructure

Priced Timed Automata:  Theory and Tools

Larsen, K. G., 2009, I : Dagstuhl Seminar Proceedings. s. 417-425 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Automata Theory
Timed Automata
Resource Allocation
Open Problems
Modeling
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
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

Synchronization
Innovation
1 Citation (Scopus)

Recent ARC developments: Through modularity to interoperability

Bidragets oversatte titel: Nyeste ARC udvikling: Mod interoperatibilitet via modularitetKleist, J., Smirnova, O., Cameron, D., Dóbe, P., Ellert, M., Frågåt, T., Grønager, M., Johansson, D., Jönemo, J., Kocan, M., Konstantinov, A., Konya, B., Márton, I., Möller, S., Mohn, B., Nagy, Z., Nielsen, J., Ould-Saada, F., Qiang, W., Read, A. & 9 flere, Rosendahl, P., Roczei, G., Savko, M., Skou Andersen, M., Stefán, P., Szalai, F., Taga, A., Toor, S. & Wäänänen, A., 2010, I : Journal of Physics - Conference Series. 219, 6, 10 s.

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

Refinement of Bayesian Network Structures upon New Data

Zeng, Y., Xiang, Y. & Pacekajus, S., 2010, I : International Journal of Granular Computing, Rough Sets and Intelligent Systems. 1, 2, s. 203-220 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Bayesian networks
Merging
Statistics
Experiments
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
8 Citationer (Scopus)

Robust Adaptable Video Copy Detection

Assent, I. & Kremer, H., 2009, I : Lecture Notes in Computer Science. 5644, s. 380-385

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Query processing
Query Processing
Indexing
Filtering
Model
36 Citationer (Scopus)

Robust LMI-Based Control of Wind Turbines with Parametric Uncertainties

Sloth, C., Esbensen, T., Niss, M. O. K., Stoustrup, J. & Odgaard, P. F., 2009, I : I E E E Conference on Control Applications. Proceedings. 2009, s. 776-781 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Controllers
Uncertainty
Actuators
Trajectories
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
8 Citationer (Scopus)

Robust synthesis for real-time systems

Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 2 jan. 2014, I : Theoretical Computer Science. 515, s. 92-122

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

11 Citationer (Scopus)

Schema Design Alternatives for Multi-Granular Data Warehousing

Iftikhar, N. & Pedersen, T. B., 2010, I : Lecture Notes in Computer Science. 6262, s. 111-125

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Data Warehousing
Data warehouses
Schema
Alternatives
Granularity
250 Citationer (Scopus)

SpaceTwist: Managing the Trade-Offs Among Location Privacy, Query Performance, and Query Accuracy in Mobile Services

Yiu, M. L., Jensen, C. S., Xuegang, H. & Lu, H., 2008, I : Proceedings / International Conference on Data Engeenering. s. 366-375 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Servers
Query processing
Middleware
Communication
Costs

Spanning Tree Based Attribute Clustering

Zeng, Y. & Jorge, C. H., 2009, I : Lecture Notes in Computer Science. 5476, s. 681-688

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Spanning tree
Attribute
Clustering
Clustering algorithms
Stars
2 Citationer (Scopus)

Speeding up Complex Video Copy Detection Queries

Assent, I., Kremer, H. & Seidl, T., 2010, I : Lecture Notes in Computer Science. 5981, s. 307-321

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

14 Citationer (Scopus)

Speeding Up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence

Zeng, Y. & Prashant, D., 2009, I : IJCAI Proceedings - International Joint Conference on Artificial Intelligence. 21, s. 1996-2001

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Decision making
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
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

Statistical model checking of dynamic networks of stochastic hybrid automata

David, A., Larsen, K. G., Legay, A. & Poulsen, D. B., 2014, I : Electronic Communications of the EASST. 66, 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
1 Citation (Scopus)

Stuttering for abstract probabilistic automata

Delahaye, B., Larsen, K. G. & Legay, A., 2014, I : Journal of Logic and Algebraic Programming. 83, 1, s. 1-19

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

Symbolic and Compositional Reachability for Timed Automata

Larsen, K. G., 2010, I : Lecture Notes in Computer Science. 6227, s. 24-28

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

216 Downloads (Pure)

Tag and Neighbor based Recommender systems for Medical events

Bayyapu, K. R. & Dolog, P., 8 apr. 2010, I : CEUR Workshop Proceedings. s. 14-24 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Recommender systems
13 Citationer (Scopus)

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

Byg, J., Jørgensen, K. Y. & Srba, J., 2009, I : Lecture Notes in Computer Science. 5799, s. 84-89 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Petri nets
Petri Nets
Arc of a curve
Simulator
Simulators

Teaching Concurrency: Theory in Practice

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2009, I : Lecture Notes in Computer Science. 5846, s. 158-175 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Concurrency
Teaching
Students
Acoustic waves
Philosophy
11 Citationer (Scopus)
261 Downloads (Pure)

The Challenges of Creativity in Software Organizations

Ulrich, F. & Mengiste, S. A., 2014, I : IFIP AICT - Advances in Information and Communication technology. 429, s. 16-34 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
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

149 Downloads (Pure)

The Power Context of Method-in-Action: A Case Study

Munk-Madsen, A., 2008, I : CEUR Workshop Proceedings. s. 14-24 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Information systems
42 Citationer (Scopus)

The Role of Social Networking Services in eParticipation

Sæbø, Ø., Rose, J. & Nyvang, T., 2009, I : Lecture Notes in Computer Science. s. 46-55

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

E-participation
Social Networking
Circuit theory
Internet
Social Networks
21 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
2 Citationer (Scopus)

Time-based Reward Shaping in Real-Time Strategy Games

Midtgaard, M., Vinther, L., Christiansen, J. R., Christensen, A. M. & Zeng, Y., 2010, I : Lecture Notes in Computer Science. 5980, s. 115-125

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review