• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
2015
5 Citationer (Scopus)

Effect of Cut Quality on Hybrid Laser Arc Welding of Thick Section Steels

Farrokhi, F., Nielsen, S. E., Schmidt, R. H., Pedersen, S. S. & Kristiansen, M., 2015, I : Physics Procedia. 78, s. 65-73

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
11 Citationer (Scopus)

End User Needs Elicitation for a Full-body Exoskeleton to Assist the Elderly

O'Sullivan, L., Power, V., Virk, G., Masud, N., Haider, U., Christensen, S., Bai, S., Cuypers, L., D'Have, M. & Vonck, K., 2015, I : Procedia Manufacturing. 3, 2015, s. 1403-1409 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
1 Citation (Scopus)

Modelling of the Remote Fusion Cutting Process Based on Experiments

Kristiansen, M., Villumsen, S. & Olsen, F. O., 2015, I : Physics Procedia. 78, s. 110-119

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
26 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
4 Citationer (Scopus)

Safety Analysis of Stochastic Dynamical Systems

Sloth, C. & Wisniewski, R., 2015, I : I F A C Workshop Series. 48, 27, s. 62-67

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Dynamical systems
Stochastic systems
Polynomials
Method of moments
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
8 Citationer (Scopus)

Beam shaping to control of weldpool size in width and depth

Hansen, K. S., Kristiansen, M. & Olsen, F. O., 2014, I : Physics Procedia. 56, s. 467 – 476

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
2 Citationer (Scopus)
454 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
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

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

3 Citationer (Scopus)

Taking the Temperature of Pedestrian Movement in Public Spaces

Nielsen, S. Z., Gade, R., Moeslund, T. B. & Skov-Petersen, H., okt. 2014, I : Transportation Research Procedia. 2, s. 660-668

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
10 Citationer (Scopus)
247 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
2013
26 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

Improving The Accuracy Of Bluetooth Based Travel Time Estimation Using Low-Level Sensor Data

Araghi, B. N., Tørholm Christensen, L., Krishnan, R., Hammershøj Olesen, J. & Lahrmann, H., 2013, I : Transportation Research Board. Annual Meeting Proceedings. 19 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Bluetooth
Travel time
Sensors
Global positioning system
Identification (control systems)
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

164 Downloads (Pure)

The development of an open platform to test ITS solutions

Lahrmann, H., Agerholm, N., Juhl, J., Bech, C. & Tøfting, S., 4 jun. 2013, I : ITS Europe Congress. 5 s., TP 0183.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
2012
4 Citationer (Scopus)
1115 Downloads (Pure)

Accuracy of Travel Time Estimation using Bluetooth Technology: Case Study Limfjord Tunnel Aalborg

Araghi, B. N., Skoven Pedersen, K., Tørholm Christensen, L., Krishnan, R. & Lahrmann, H., 2012, I : ITS World Congress. 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Bluetooth
Travel time
Tunnels
Advanced traffic management systems
Railroad cars

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 : Selected Proceedings from the Annual Transport Conference at Aalborg University. 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fault Analysis of Wind Turbines Based on Error Messages and Work Orders

Borchersen, A. B., Larsen, J. A. & Stoustrup, J., nov. 2012, I : IFAC-PapersOnLine. 47, 3, s. 4316-4321 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Wind turbines
Offshore wind farms
SCADA systems
Cleaning
Turbines
355 Downloads (Pure)

Intelligent Speed Adaptation for involuntary drivers: Final results

Bidragets oversatte titel: Intelligent Farttilpasning til ufrillige deltager: HovedresultaterAgerholm, N., Tradisauskas, N., Juhl, J., Berthelsen, K. K. & Lahrmann, H., okt. 2012, I : ITS World Congress. 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil

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

ITS Platform North Denmark: idea, content, and status

Bidragets oversatte titel: ITS Platform: Ide, indhold og statusLahrmann, H., Agerholm, N., Juhl, J., Araghi, B. N., Højgaard-Hansen, K., Bloch, A-G. & Tøfting, S., okt. 2012, I : ITS World Congress. 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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
65 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
2011
2 Citationer (Scopus)
371 Downloads (Pure)

3D Reconstruction of Buildings with Automatic Facade Refinement

Larsen, C. & Moeslund, T. B., 2011, I : Lecture Notes in Computer Science. 6938 , s. 451-460 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Facades
3D Reconstruction
3D Model
Refinement
Structure from Motion
2 Citationer (Scopus)

A.N. Prior’s Ideas on Tensed Ontology

Jakobsen, D., Schärfe, H. & Øhrstrøm, P., 2011, I : Lecture Notes in Computer Science. 6828, s. 118-130 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

A Bayesian Concept Learning Approach to Crowdsourcing

Viappiani, P. R., Zilles, S., Hamilton, H. J. & Boutilier, C., 2011, I : CEUR Workshop Proceedings. 756, 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

33 Citationer (Scopus)

Abstract Probabilistic Automata

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)

Active Fault Diagnosis for Hybrid Systems Based on Sensitivity Analysis and Adaptive Filter

Gholami, M., Schiøler, H. & Bak, T., 2011, I : I E E E International Conference on Control Applications. Proceedings. s. 1171-1177 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

5 Citationer (Scopus)

Active Fault Diagnosis for Hybrid Systems Based on Sensitivity Analysis and EKF

Gholami, M., Schiøler, H. & Bak, T., 2 jul. 2011, I : American Control Conference. Proceedings. s. 244-249 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Extended Kalman filters
Hybrid systems
Agriculture
Sensitivity analysis
Failure analysis
1 Citation (Scopus)
285 Downloads (Pure)

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Lyapunov functions
Linear systems
Dynamical systems
Trajectories
2 Citationer (Scopus)

A Local Information Passing Clustering Algorithm for Tagging Systems

Zong, Y., Xu, G., Jin, P., Dolog, P. & Jiang, S., 1 apr. 2011, I : Lecture Notes in Computer Science. 6637, s. 333-343 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

27 Citationer (Scopus)

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

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Railroad cars
Safety
Traffic
Controller
Model
2 Citationer (Scopus)
2 Citationer (Scopus)

An Optimization Framework for Load and Power Distribution in Wind Farms

Soleimanzadeh, M. & Wisniewski, R., 2011, I : I F A C Workshop Series. 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review