• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
2011
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
7 Citationer (Scopus)
681 Downloads (Pure)

Robust Structured Control Design via LMI Optimization

Adegas, F. D. & Stoustrup, J., 2011, I : Proceedings of the 18th IFAC World Congress, 2011.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Linear matrix inequalities
Feedback
Controllers
Stability criteria
Lyapunov functions

Second-generation speed limit map updating applications: Functions and utilization

Tradisauskas, N., Agerholm, N., Juhl, J. & Lahrmann, H., 2011, I : ITS World Congress. 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)
1 Downloads (Pure)

Shaping 3-D boxes: A full 9 degree-of-freedom docking experiment

Stenholt, R. & Madsen, C. B., 19 mar. 2011, I : I E E E Virtual Reality Annual International Symposium. s. 103-110 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Experiments
Virtual reality

Sikkerhedsmæssig effekt af strækningshastighedskontrol i Storbritannien

Brassøe, B., Johansen, J. W., Madsen, J. C. O. & Lahrmann, H., 2011, I : Artikler fra Trafikdage på Aalborg Universitet. 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

6 Citationer (Scopus)
621 Downloads (Pure)

Stability Performance Dilemma in Hydronic Radiators with TRV

Tahersima, F., Stoustrup, J. & Rasmussen, H., 2011, I : I E E E Conference on Control Applications. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Radiators
Gain control
Thermal load
Flow control
Energy conservation
85 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
25 Citationer (Scopus)

Structured Control of Affine Linear Parameter Varying Systems

Adegas, F. D. & Stoustrup, J., 2011, I : American Control Conference. Proceedings. s. 739-744 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Linear matrix inequalities
Linear systems
Feedback
Controllers
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

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
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
1 Citation (Scopus)

Towards a Context Oriented Approach to Ethical Evaluation of Interactive Technologies

Gram-Hansen, S. B., Schärfe, H. & Dinesen, J. V., aug. 2011, I : Lecture Notes in Computer Science. 6949, s. 628-631 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

148 Downloads (Pure)

Udviklingen af algoritmer til at beskrive sikker kørsel på basis af data fra kørende biler

Agerholm, N., Rasmussen, N. K. H., Hansen, R. R. L. & Lahrmann, H., 22 aug. 2011, I : Artikler fra Trafikdage på Aalborg Universitet. s. 1-11

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
27 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
18 Citationer (Scopus)

Wind turbine pitch optimization

Biegel, B., Juelsgaard, M., Stoustrup, J., Kraning, M. & Boyd, S. P., 2011, I : I E E E International Conference on Control Applications. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Fatigue of materials
Convex optimization
Turbines
Torque
12 Citationer (Scopus)
527 Downloads (Pure)

Worst-Case Traversal Time Modelling of Ethernet based In-Car Networks using Real Time Calculus

Revsbech, K., Schiøler, H., Madsen, T. K. & Nielsen, J. J., 2011, I : Lecture Notes in Computer Science. 6869/2011, s. 219-230 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
2010
6 Citationer (Scopus)

Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

Sloth, C. & Wisniewski, R., 2010, I : I E E E Conference on Decision and Control. Proceedings. s. 3760-3765

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Lyapunov functions
Lyapunov Function
Dynamical systems
Dynamical system
Timed Automata
76 Citationer (Scopus)

Active and Passive Fault-Tolerant LPV Control of Wind Turbines

Sloth, C., Esbensen, T. & Stoustrup, J., 2010, I : American Control Conference (ACC). 2010, s. 4640-4646

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Controllers
Control systems
Linear matrix inequalities
Failure analysis
17 Citationer (Scopus)

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

Ravn, A. P., Srba, J. & Vighio, S., 2010, I : Lecture Notes in Computer Science. 6415, s. 579-593

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Formal Analysis
Web services
Web Services
Transactions
Network protocols
3 Citationer (Scopus)

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

Jacobsen, L., Jacobsen, M., Møller, M. H. & Srba, J., 2010, I : Lecture Notes in Computer Science. 6342, s. 83-98

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Transition Systems
Model checking
Model Checking
Logic
Petri nets

Analysis of internal network requirements for the distributed Nordic Tier-1

Bidragets oversatte titel: Analyse af de interne netværks behow for den distribuerede nordiske Tier-1Kleist, J., Behrmann, G., Fischer, L., Gamst, M. & Grønager, M., 2010, I : Journal of Physics - Conference Series. 219, 5, 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)

An Influence Diagram Approach for Multiagent Time-Critical Dynamic Decision Modeling

Sun, L., Zeng, Y. & Xiang, Y., 2010, I : Lecture Notes in Computer Science. 6230, s. 674-680

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

A Robust Stabilization using State Feedback with Feedforward

A. Danapalasingam, K., la Cour-Harbo, A., Chowdhary, G. & Bisgaard, M., 2010, I : American Control Conference (ACC). s. 3913-3919 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Bluetooth detektorer som ny cost ‐ effektiv sensor i vejtrafikken

Lahrmann, H., Skoven Pedersen, K. & Christensen, L. T., 2010, I : Artikler fra Trafikdage på Aalborg Universitet. 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification

Olesen, M. C., Hansen, R. R., Lawall, J. & Palix, N. J-M., 1 sep. 2010, I : Electronic Communications of the EASST. 33, 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

16 Citationer (Scopus)

Co-clustering Analysis of Weblogs Using Bipartite Spectral Projection Approach

Xu, G., Zong, Y., Dolog, P. & Zhang, Y., 8 sep. 2010, I : Lecture Notes in Computer Science. 6278, s. 398-407

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Spectral Projection
Clustering Analysis
Clustering algorithms
Websites
Spectral Clustering
1 Citation (Scopus)
327 Downloads (Pure)

Co-clustering for Weblogs in Semantic Space

Zong, Y., Xu, G., Dolog, P., Zhang, Y. & Liu, R., 12 dec. 2010, I : Lecture Notes in Computer Science. 6488, s. 120-127

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Semantics
Clustering
Latent Semantic Analysis
Clustering Algorithm
Clustering algorithms

Compositional and Quantitative Model Checking

Larsen, K. G., 2010, I : Lecture Notes in Computer Science. 5947, s. 35-42 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

7 Citationer (Scopus)

Continuous Skyline Monitoring over Distributed Data Streams

Lu, H., Zhou, Y. & Haustad, J., 2010, I : Lecture Notes in Computer Science. 6187, s. 565-583

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Control of delay dominant systems with costs related to switching

Deng, H., Larsen, L. F. S., Stoustrup, J. & Rasmussen, H., 2010, I : I E E E Conference on Control Applications. Proceedings. s. 2344-2349 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Switches
Refrigeration
Costs
Controllers

Crowd Analysis by Using Optical Flow and Density Based Clustering

Santoro, F., Pedro, S., Tan, Z-H. & Moeslund, T. B., aug. 2010, I : Proceedings of the European Signal Processing Conference. 18, s. 269-273

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Density (optical)
Optical flows
Merging
Cameras
Color
32 Citationer (Scopus)
292 Downloads (Pure)

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems

David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, I : Lecture Notes in Computer Science. 6252, s. 365-370

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
3 Citationer (Scopus)

Effective Bitmap Indexing for Non-metric Similarities

Jensen, C. A., Mungure, E. M., Pedersen, T. B., Kenneth Sørensen, K. & Deliege, F., 2010, I : Lecture Notes in Computer Science. 6261, s. 137-151

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)

Efficient Discovery of Generalized Sentinel Rules

Middelfart, M., Pedersen, T. B. & Krogsgaard, J., 2010, I : Lecture Notes in Computer Science. 6262, s. 32-48

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Efficient EMD-based Similarity Search in Medical Image Databases

Wichterich, M., Kranen, P., Assent, I., Seidl, T., Plant, C. & Böhm, C., 2010, I : Science, Engineering, and Biology Informatics. 6, s. 175-201 26 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Estimering af brændstofforbrug vha. GPS Data

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Evaluating AIS data quality for space based ship monitoring using the AAUSAT3 prototype

Rasmussen, U. W., Laursen, T., Pedersen, N. B., Larsen, J. A. & Nielsen, J. F. D., 27 sep. 2010, I : Proceedings of the 61th International Astronautical Congress. 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

25 Citationer (Scopus)

Extending a Hybrid Tag-Based Recommender System with Personalization

Durao, F. & Dolog, P., 2010, I : ACM Symposium on Applied Computing,. s. 1723-1727

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Recommender systems
Semantics
Websites
Experiments
1 Citation (Scopus)

Fault isolation in parallel coupled wind turbine converters

Odgaard, P. F., Thøgersen, P. B. & Stoustrup, J., 2010, I : I E E E Conference on Control Applications. Proceedings. s. 1069-1072 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Fault tolerance
27 Citationer (Scopus)

Formal Analysis of Privacy for Vehicular Mix-Zones

Dahl, M., Delaune, S. & Steel, G., 2010, I : Lecture Notes in Computer Science. 6345, s. 55-70

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

7 Citationer (Scopus)

Gradual Data Aggregation in Multi-Granular Fact Tables on Resource-Constrained Systems

Iftikhar, N. & Pedersen, T. B., 2010, I : Lecture Notes in Computer Science. 6278, s. 349-358

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Data Aggregation
Constrained Systems
Tables
Agglomeration
Resources
2 Citationer (Scopus)

Grid Interoperation with ARC middleware for the CMS experiment

Bidragets oversatte titel: Grid interoperation med ARC middlewaren for CMS eksperimentetKleist, J., Edelmann, E., Field, L., Frey, J., Grønager, M., Happonen, K., Johansson, D., Klem, J., Koivumäki, J., Lindén, T., Pirinen, A. & Qing, D., 2010, I : Journal of Physics - Conference Series. 219, 6, 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Hard and Soft Sub-Time-Optimal Robust Controllers

Kulczycki, P., Wisniewski, R., Kowalski, P. & Krawiec, K., 2010, I : I F A C Workshop Series. s. 689-6994 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Controllers
Decision theory
Motion control
Random processes
Robotics
23 Citationer (Scopus)

Hierarchical Model Predictive Control for Resource Distribution

Bendtsen, J. D., Trangbæk, K. & Stoustrup, J., 2010, I : I E E E Conference on Decision and Control. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Smart Grid
Model predictive control
Model Predictive Control
Hierarchical Model
Resources
2 Citationer (Scopus)

High level model predictive control for plug-and-play process control with stability guaranty

Michelsen, A. G. & Stoustrup, J., 2010, I : I E E E Conference on Decision and Control. Proceedings.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model predictive control
Model Predictive Control
Process Control
Process control
Controller