• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding
5 Citationer (Scopus)

SpotADAPT: Spot Aware (re-)Deployment of Analytical Processing Tasks on Amazon EC2

Kaulakiene, D., Thomsen, C., Pedersen, T. B., Cetintemel, U. & Kraska, T., 23 okt. 2015, Proceedings of the ACM Eighteenth International Workshop On Data Warehousing and OLAP (DOLAP 2015). New York, NY, USA: Association for Computing Machinery, s. 59-68 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Web services
Processing
Cloud computing
Costs
Availability

ST–ACTS: A Spatio-Temporal Activity Simulator

Gidofalvi, G. & Pedersen, T. B., 2006, Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. Association for Computing Machinery, s. 155-162 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Simulators
Physical addresses
Information management
Data mining

Standardising Software Processes - An Obstacle for Innovation?

Aaen, I. & Pries-Heje, J., 2004, IFIP WG 8.6 Seventh Working Conference on IT Innovation for Adaptablity and Competitiveness: Ifip Tc8. Fitzgerald, B. & Wynn, E. (red.). Kluwer Academic Publishers, s. 17-133

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Standardization
Software process
Company growth
Innovation
Innovative capability

Standardization: Network Economics and IT

Andersen, E. S., Damsgaard, J., Hanseth, O., King, J. L., Markus, M. L. & Monteiro, E., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 521-525

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

154 Citationer (Scopus)

StarER: a Conceptual Model for Data Warehouse Design

Tryfona, N., Busborg, F. & Christiansen, J. B., 1999, ACM Second International Workshop on Data Warehousing and OLAP. s. 3-8

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

2 Citationer (Scopus)
130 Downloads (Pure)

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 jul. 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
44 Citationer (Scopus)

Static Guard Analysis in Timed Automata Verification

Behrmann, G., Bouyer, P., Fleury, E. & Larsen, K. G., 2003, Proceedings of TACAS 2003. IEEE Computer Society Press, s. 254-277 (Lecture Notes in Computer Science; Nr. 2619).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

9 Citationer (Scopus)

Static validation of licence conformance policies

Hansen, R. R., Nielson, F., Nielson, H. R. & Probst, C. W., 2008, ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, s. 1104-1111

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

14 Citationer (Scopus)

Statistical Model Checking: Past, Present, and Future

Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, s. 3–15 (Lecture Notes in Computer Science, Bind 9952).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)

Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

Larsen, K. G., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer, Bind 7595. s. 7-10 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Statistical Model Checking for Stochastic Hybrid Systems

David, A., Du, D., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 3 sep. 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (red.). Newcastle Upon Tyne, s. 122-136 15 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 92).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking
Hybrid systems
Semantics
Engines
Statistical Models
13 Citationer (Scopus)

Statistical model checking past, present, and future (Track Introduction)

Larsen, K. G. & Legay, A., 18 okt. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8803. s. 135-142 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8803).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

19 Citationer (Scopus)

Statistical model checking QoS properties of systems with SBIP

Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A. & Nouri, A., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, s. 327-341 15 s. (Lecture Notes in Computer Science, Bind 7609).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking
Embedded systems
Quality of service
Semantics
Statistical Models

Statistical model checking the 2018 edition!

Guldstrand Larsen, K. & Legay, A., 1 jan. 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (red.). Springer, s. 261-270 10 s. (Lecture Notes in Computer Science, Bind 11245 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)
46 Downloads (Pure)

Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., sep. 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, s. 1-10 10 s. 8515598

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Model predictive control
Diodes
Model checking
Power electronics
Industrial applications
43 Citationer (Scopus)

Staying Alive as Cheaply as Possible

Larsen, K. G., Bouyer, P. & Brinksma, E., 2004, Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993 udg. Springer, s. 203-218 16 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

7 Citationer (Scopus)

Stitching Inter-Domain Paths over IXPs

Kotronis, V., Klöti, R., Rost, M., Georgopoulos, P., Ager, B., Schmid, S. & Dimitropoulos, X., 2016, SOSR '16 Proceedings of the Symposium on SDN Research. Association for Computing Machinery, 12 s. 17

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)

Stochastic Pi-calculus Revisited

Cardelli, L. & Mardare, R. I., 2013, Theoretical Aspects of Computing - ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Liu, Z., Woodcock, J. & Zhu, H. (red.). Springer Berlin Heidelberg: Springer Publishing Company, Bind 8049. s. 1-21 21 s. (Lecture Notes in Computer Science, Bind 8049).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Congruence
Stochastic calculus
Equivalence
4 Citationer (Scopus)

Stochastic shortest path finding in path-centric uncertain road networks

Andonov, G. & Yang, B., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 40-45 6 s. (IEEE International Conference on Mobile Data Management (MDM)).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Travel time
Global positioning system
Trajectories
70 Citationer (Scopus)

Stochastic skyline route planning under time-varying uncertainty

Yang, B., Guo, C., Jensen, C. S., Kaul, M. & Shang, S., 2014, Proceedings of the 30th IEEE International Conference on Data Engineering. IEEE, s. 136-147 12 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)

Stochastic Weight Completion for Road Networks using Graph Convolutional Networks

Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2019, Proceedings of 35th IEEE International Conference on Data Engineering, ICDE 2019. IEEE, s. 1274-1285 12 s. 8731475. (Proceedings of the International Conference on Data Engineering).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Travel time
Global positioning system
Toll highways
Detectors
Innovation
14 Citationer (Scopus)

Stone Duality for Markov Processes

Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 2013, Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. IEEE, s. 321-330 (Annual Symposium on Logic in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Storytelling in Projects: Transforming Project Plans into Stories

Munk-Madsen, A. & Andersen, P. B., 2006, Proceedings of European Academy of Management Conference 2006. Strønen, F. H. (red.). BI Norwegian School of Management

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

project planning
public space
appeal
manager
9 Citationer (Scopus)

Strong Completeness for Markovian Logics

Kozen, D., Mardare, R. I. & Panangaden, P., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (red.). Springer Publishing Company, Bind LNCS 8087. s. 655-666 12 s. (Lecture Notes in Computer Science, Bind 8087).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Markov processes
Probability distributions

Structural Learning in Object Oriented Domains

Bangsø, O., Langseth, H. & Nielsen, T. D., 2001, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS), Key West. s. 340-344

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Structuration Theory, Action Research, and Information Systems Development

Rose, J. & Lewis, P., 2001, Realigning Research and Practice in Information Systems Development : the Social and Organizational Perspective : IFIP TC8/WG8.2 Working Conference ..., July 27-29, 2001, Boise, Idaho, USA. Russo, N. L. : Fitzgerald, B. : DeGross, J. I. (eds.) (red.). Kluwer Academic Publishers

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Structuration Theory and Information Systems Development: Frameworks for Practice (awarded best paper in track)

Rose, J. & Scheepers, R., 2001, European Conference on Information Systems Development. Smithson, S. : Avgerinou, S. (eds.) (red.). Bled,Slovenia

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

33 Citationer (Scopus)

Studying Driver Attention and Behaviour for Three Configurations of GPS Navigation in Real Traffic Driving

Jensen, B. S., Skov, M. B. & Thiruravichandran, N., 2010, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI’10). Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Study the Past if You Would Define the Future: Implementing Secure Multi-party SDN Updates

Schiff, L. & Schmid, S., 18 jul. 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. IEEE, s. 111-116 6 s. 7515418

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Controllers
Robust control
Switches
Cryptography
Redundancy
1 Citation (Scopus)

Stuttering for Abstract Probabilistic Automata

Delahaye, B., Larsen, K. G. & Legay, A., 2013, Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Publishing Company, Bind 7734. s. 149-163 (Lecture Notes in Computer Science, Bind 7734).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

SubClass: Classification of Multidimensional Noisy Data Using Subspace Clusters

Assent, I., Krieger, R., Welter, P., Herbers, J. & Seidl, T., 2008, Advances in Knowledge Discovery and Data Mining: 12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 Proceedings. Springer, Bind 5012. s. 40-52 13 s. (Lecture Notes in Computer Science; Nr. 5012).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Substantiating quality goals with field data for socially-oriented requirements engineering

Pedell, S., Miller, T., Sterling, L., Vetere, F., Howard, S. & Paay, J., 2011, Proceedings The 10th International Conference on Autonomous Agents and Multiagent Systems. Association for Computing Machinery, s. 1185-1186

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Supporting Conceptual Modeling of Complex Spatial Relation-Ships

Price, R., Tryfona, N. & Jensen, C. S., 2000, Proceedings of the Eighth ACM Synposium on Advances in Geographic Information Systems, November 10-11, 2000, Washington, D. C., USA. Ki-Joune, L. (ed.) (red.). Association for Computing Machinery, s. 1-8

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Supporting Coordination: a Multi-Agent Approach

Divitini, M., 1999, Proceedings of Norwegian Informatics Conference, NIK '99, Norway.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

135 Citationer (Scopus)

Supporting Frequent Updates in R-Trees: A Bottom-Up Approach

Lee, M. L., Hsu, W., Jensen, C. S., Cui, B. & Teo, K. L., 2003, Proceedings of the Twentynineth International Conference on Very Large Data Bases, Berlin, Germany, September 9–11. s. 608-619

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

31 Citationer (Scopus)

Supporting Imprecision in Multidimensional Databases Using Granularities

Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 1999, Proceedings of the Eleventh International Conference on Scientific and Statistical Database Management, Cleveland, Ohio, July 1999. s. 90-101

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Supporting Novices in Detecting Web Site Usability Problems: A Comparison of the Think-Aloud and Questionnaire Methods

Skov, M. B. & Stage, J., 2003, Proceedings of the 10th Conference on Human-Computer Interaction. Lawrence Erlbaum Associates, s. 858-862

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Supporting Problem Identification in Usability Evaluations

Skov, M. B. & Stage, J., 2005, Proceedings of the Australian Computer-Human Interaction Conference 2005 (OzCHI’05). 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

17 Citationer (Scopus)

Supporting Temporal Data Management Applications via Stratum Approaches

Torp, K., Jensen, C. S. & Snodgrass, R. T., 1998, Proceedings of the 1998 International Database Engineering and Applications Symposium, July 8-10, 1998, Cardiff, Wales. s. 4-13

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

19 Citationer (Scopus)

Supporting the Supermarket Shopping Experience through a Context-Aware Shopping Trolley

Black, D., Clemmensen, N. J. & Skov, M. B., 2009, Proceedings of OzCHI 2009. Association for Computing Machinery, s. 33-36

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Supporting Usability Engineering in Small Software Development Organizations

Bornoe, N. & Stage, J., 2013, Proceedings, IRIS36: August 11-14 2013 at Gran, Norway. Bratteteig, T., Aanestad, M. & Skorve, E. (red.). Department of Informatics, University of Oslo, 12 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Usability engineering
Software engineering
22 Citationer (Scopus)
142 Downloads (Pure)

Supporting Work Activities in Healthcare by Mobile Electronic Patient Records

Kjeldskov, J. & Skov, M. B., 2004, Proceedings of APCHI 2004: Lecture Notes in Computer Science. Springer, s. 191-200 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
10 Citationer (Scopus)
191 Downloads (Pure)

Supporting Young Children's Communication with Adult Relatives Across Time Zones

Vutborg, R., Kjeldskov, J., Paay, J., Vetere, F. & Pedell, S., nov. 2011, Proceedings of OzCHI 2011, Canberra, 28 November - 2 December 2011. Association for Computing Machinery, s. 291-300 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil

Surrogater i Øjeblik: mod migrerering i Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (red.). NS-98-5 udg. Department of Computer Science, Aarhus University, s. 43-50

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Surrogates in Øjeblik: Towards Migration in Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceeding of FOOL5.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

53 Citationer (Scopus)

Survey of real-time processing systems for big data

Liu, X., Lftikhar, N. & Xie, X., 2014, ACM International Conference Proceeding Series. Association for Computing Machinery, s. 356-361 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Processing
Competitive intelligence
Distributed computer systems
Scalability
Big data
3 Citationer (Scopus)

SwarmArchitect: A Swarm Framework for Collaborative Construction

Zeng, Y., Cordero, J. & Plougman Buus, D., 2007, Genetic And Evolutionary Computation Conference. Association for Computing Machinery, s. 186-186 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Symbolic Dependency Graphs for PCTL Model-Checking

Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Bind 10419. s. 153-169 17 s. (Lecture Notes in Computer Science, Bind 10419).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking
Costs
Specifications
2 Citationer (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (red.). Springer, s. 298-315 18 s. (Lecture Notes in Computer Science, Bind 11460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Model checking

Symbolic PathFinder v7

Luckow, K. S. & Păsăreanu, C., jan. 2014, ACM Special Interest Group on Software Engineering (SIGSOFT) Software Engineering Notes (SEN). 1 udg. New York, NY, USA: Association for Computing Machinery, Bind 39. s. 1-5 5 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Visualization
Processing