Software Technology

Search results

  • Conference contribution

    A statistical approach to branch modeling in static program performance prediction

    Gautama, H. & van Gemund, AJC., 2003, Proceedings International parallel and distributed processing symposium. s.n. (ed.). Los Alamitos, CA: IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • A statistical approach to program performance prediction

    Gautama, H. & van Gemund, AJC., 1999, Proceeding: selected scientific papers. WS Wiroto, A Munif, RE Kartasasmita & A Herindajanto (eds.). S.l.: s.n., p. 91-94 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • A statistical approach to static performance prediction of branch behavior

    Gautama, H. & van Gemund, AJC., 2001, ISSM: proceedings. Y Nugroho & DS Djojosoemarto (eds.). S.l.: s.n., p. 375-378 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  • A Structural Approach to Indexing Triples

    Picalausa, F., Luo, Y., Fletcher, GHL., Hidders, AJH. & Vansummeren, S., 2012, The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings. Simperl, E., Cimiano, P., Polleres, A., Corcho, O. & Presutti, V. (eds.). Springer, p. 406-421 16 p. (Lecture Notes in Computer Science; vol. 7295).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    28 Citations (Scopus)

  • A study and toolkit for asynchronous programming in c#

    Okur, S., Hartveld, D. L., Dig, D. & van Deursen, A., 2014, ICSE 2014 Proceedings of the 36th International Conference on Software Engineering. Association for Computing Machinery (ACM), p. 1117 - 1127

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    48 Citations (Scopus)
    254 Downloads (Pure)

  • A study of the online profile of enterprise users in professional social networks

    Bozzon, A., Efstathiades, H., Houben, G. J. & Sips, R. J., 2014, WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web. New York: Association for Computing Machinery (ACM), p. 487-492 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    4 Citations (Scopus)

  • A study on the accuracy of Flickr's geotag data

    Hauff, C., 2013, Proceedings of the 36th international ACM SIGIR conference on research and development in information retrieval. Jones, GJF., Sheridan, P., Kelly, D., de Rijke, M. & Sakai, T. (eds.). New York: Association for Computing Machinery (ACM), p. 1037-1040 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    27 Citations (Scopus)

  • A Sustainable Marriage of Telcos and Transp in the Era of Big Data: Are We Ready?

    Naseer, S., Liu, W., Sarkar, N. I., Chong, P. H. J., Lai, E., Ma, M., Venkatesha Prasad, R. R., Danh, T. C., Chiaraviglio, L., Qadir, J. & More Authors, 2018, Smart Grid and Innovative Frontiers in Telecommunications: Third International Conference, SmartGIFT 2018 proceedings. Chong, P. H. J., Seet, B. C., Chai, M. & Rehman, S. U. (eds.). Cham: Springer, p. 210-219 10 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 245).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    4 Citations (Scopus)

  • A Sustainable Vehicular Based Energy Efficient Data Dissemination Approach

    Naseer, S., Liu, W., Sakar, N. I., Chong, P. H. J., Lai, E. & Venkatesha Prasad, R., 2017, 27th International Telecommunication Networks and Applications Conference, ITNAC 2017. Piscataway, NJ: IEEE, Vol. 2017-January. p. 1-8 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    12 Citations (Scopus)

  • Asynchronous Decentralized Algorithm for Space-Time Cooperative Pathfinding

    Cap, M., Novak, P. & Pechoucek, JVM., 2012, Spatio-Temporal Dynamics (STeDy 2012), Workshop Proceedings of the European Conference on Articial Intelligence (ECAI 2012), Montpellier, France. Bhatt, M., Guesgen, HW. & Davis, E. (eds.). ECAI, p. 18-25 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • A systematic approach to the synthesis of petri-nets simulation models (and adjoint experimental frames) of discrete-event systems

    Kerckhoffs, EJH. & Bobeanu, CV., 1999, ESS'99: simulation in industry. G Horton, D Möller & U Rüde (eds.). Delft: Society for Computer Simulation International, p. 66-73 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • A Systematic Comparison of Search Algorithms for Topic Modelling—A Study on Duplicate Bug Report Identification

    Panichella, A., 1 Jan 2019, Search-Based Software Engineering - 11th International Symposium, SSBSE 2019, Proceedings. Nejati, S. & Gay, G. (eds.). Springer, p. 11-26 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11664 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    13 Citations (Scopus)
    195 Downloads (Pure)

  • A systematic construction of Petri-Nets models of discrete-event systems

    Bobeanu, CV. & Kerckhoffs, EJH., 1999, ESM'99: modelling and simulation: a tool for the next millennium. Vol. 2.. H Szczerbicka (ed.). Delft: Society for Computer Simulation International, p. 49-55 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • A system for automated bookmark management

    Knezu, V. & Rothkrantz, LJM., 2002, BNAIC '02 Proceedings of the 14th Dutch-Belgian artificial intelligence conference. Blockeel, H. & Denecker, M. (eds.). s.l.: s.n., p. 179-186 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  • A Tale of CI Build Failures: An Open Source and a Financial Organization Perspective

    Vassallo, C., Schermann, G., Zampetti, F., Romano, D., Leitner, P., Zaidman, A., Di Penta, M. & Panichella, S., 2017, Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017. Los Alamitos, CA: IEEE, p. 183-193 11 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    46 Citations (Scopus)
    197 Downloads (Pure)

  • A testbed for autonomous robot surveillance

    Witwicki, S. J., Castillo, J. C., Capitán, J., Messias, J. V., Reis, J. C., Lima, P. U., Melo, F. S. & Spaan, M. T. J., 2014, Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, IAAMS 2014. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1635-1636 2 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • A Test-suite Diagnosability Metric for Spectrum-based Fault Localization Approaches

    Perez, A., Abreu, R. & Deursen, A. V., 2017, Proceedings of the 39th International Conference on Software Engineering (ICSE). Piscataway, NJ: IEEE, p. 654-664 11 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    61 Citations (Scopus)
    287 Downloads (Pure)

  • A Textual-based Technique for Smell Detection

    Palomba, F., Panichella, A., De Lucia, A., Oliveto, R. & Zaidman, A., May 2016, Proceedings of the 2016 IEEE 24th International Conference on Program Comprehension (ICPC). Danvers, MA: IEEE, p. 1-10 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    101 Citations (Scopus)

  • A Theory of Name Resolution

    Neron, P., Tolmach, A., Visser, E. & Wachsmuth, G., 2015, Programming Languages and Systems: 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Vitek, J. (ed.). Berlin: Springer, p. 205-231 27 p. (Lecture Notes in Computer Science; vol. 9032).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    55 Citations (Scopus)

  • A timed automata semantics for Real-Time UML specifications

    Toetenel, WJ., Roubtsova, E. & van Katwijk, J., 2001, Proceedings. Piscataway: IEEE Society, p. 88-95 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    6 Citations (Scopus)

  • A time-varying p-median model for location-allocation analysis

    Sharifi Noorian, S., Psyllidis, A. & Bozzon, A., 2018, 21st Conference on Geo-Information Science (AGILE 2018). Lund, Sweden, p. 1-5 5 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    250 Downloads (Pure)

  • Atomic Upgrading of Distributed Systems

    van der Burg, S., Dolstra, E. & de Jonge, M., 2008, First ACM Workshop on Hot Topics in Software Upgrades (HotSWUp). Dumitras, T., Dig, D. & Neamtiu, I. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 1-5 5 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    6 Citations (Scopus)

  • Atoms of Confusion in Java

    Langhout, C. & Aniche, M., 2021, 29th IEEE/ACM International Conference on Program Comprehension (ICPC 2021). O'Conner, L. (ed.). Piscataway: IEEE, p. 25-35 11 p. 9462963. (IEEE International Conference on Program Comprehension; vol. 2021-May).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    3 Citations (Scopus)
    42 Downloads (Pure)

  • A Tractable Stochastic Model of Correlated Link Failures Caused by Disasters

    Tapolcai, J., Vass, B., Heszberger, Z., Biro, J., Hay, D., Kuipers, F. A. & Ronyai, L., 2018, INFOCOM 2018 - IEEE Conference on Computer Communications. Piscataway, NJ: IEEE, p. 2105-2113 9 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    27 Citations (Scopus)
    232 Downloads (Pure)

  • A transaction based modeling and software engineering

    Barjis, J., Dietz, JLG., Barjis, I. & Barjis, I., 2000, Proceedings. GE Lasker & T Watanabe (eds.). Windsor, Ontario: IIASSRC, p. 68-75 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  • A Truly Self-Sovereign Identity System

    Stokkink, Q., Ishmaev, G., Epema, D. & Pouwelse, J., 2021, Proceedings of the IEEE 46th Conference on Local Computer Networks, LCN 2021: Proceedings. Khoukhi, L., Oteafy, S. & Bulut, E. (eds.). Piscataway: IEEE, p. 81-89 9 p. 9525011. (Proceedings - Conference on Local Computer Networks, LCN; vol. 2021-October).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    14 Citations (Scopus)

  • Attack resistant Leader Election in Social Overlay Networks by Leveraging Local Voting

    Byrenheid, M., Strufe, T. & Roos, S., 2020, 21st International Conference on Distributed Computing and Networking (ICDCN 2020). 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    File
    3 Citations (Scopus)
    101 Downloads (Pure)

  • Attack-resistant Spanning Tree Construction in Route-Restricted Overlay Networks

    Byrenheid, M., Roos, S. & Strufe, T., Oct 2019, Proceedings - 2019 IEEE 38th International Symposium on Reliable Distributed Systems, SRDS 2019. p. 251-260 10 p. 9049556. (Proceedings of the IEEE Symposium on Reliable Distributed Systems).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    File
    2 Citations (Scopus)
    32 Downloads (Pure)

  • A two-level semantic caching scheme for super-peer networks

    Garbacki, PJ., Epema, DHJ. & van Steen, M., 2005, Proceedings of the 10th International Workshop on Web Content Caching and Distribution (WCW'05). s.n. (ed.). Piscataway: IEEE Society, p. -

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    19 Citations (Scopus)

  • A Two-Step Hierarchical Algorithm for Model-Based Diagnosis

    Feldman, AB. & van Gemund, AJC., 2006, Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06), July 16-20 Boston, Massachusetts, USA. s.n. (ed.). 445 Burgess Drive, Menlo Park, California 94025: American Association for Artificial Intelligence (AAAI), p. 827-833 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    21 Citations (Scopus)

  • A type of Petri nat based on speech act theory for modeling social systems

    Barjis, J. & Dietz, JLG., 2001, Proceedings EUROSIM 2001. AW Heemink (ed.). Delft: Technische Universiteit Delft, p. 1-8 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • Auctions for Congestion Management in Distribution Grids

    Philipsen, R., de Weerdt, M. & de Vries, L., 2016, 13th International Conference on the European Energy Market (EEM 2016). Danvers, MA, USA: IEEE Society, p. 1-5 5 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    12 Citations (Scopus)
    143 Downloads (Pure)

  • Auctions with Arbitrary Deals

    Mahr, T. & de Weerdt, MM., 2007, HoloMAS 2007. Marik, V., Vyatikin, V. & Colombo, AW. (eds.). Springer, p. 37-46 10 p. (Lecture Notes in Computer Science; vol. 4659).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    2 Citations (Scopus)

  • Augmenting Ridership Data with Social Media Data to Analyse the Long-term Effect of COVID-19 on Public Transport

    Xu, Y., Krishnakumari, P., Yorke-Smith, N. & Hoogendoorn, S., 2023, 2023 8th International Conference on Models and Technologies for Intelligent Transportation Systems, MT-ITS 2023. Institute of Electrical and Electronics Engineers (IEEE), 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    8 Downloads (Pure)

  • Augmenting User Models with Real World Experiences to Enhance Personalization and Adaptation

    Abel, F., Dimitrova, V., Herder, E. & Houben, GJPM., 2012, UMAP 2011 Workshops. Kuflik, T. & Ardissono, L. (eds.). Springer, p. 31-34 4 p. (Lecture Notes in Computer Science; vol. 7138).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    5 Citations (Scopus)

  • A unified architecture for integrating energy harvesting IoT devices with the Mobile Edge Cloud

    Balasubramanian, V., Kouvelas, N., Chandra, K., Prasad, RV., Voyiatzis, A. G. & Liu, W., 2018, 2018 IEEE 4th World Forum on Internet of Things (WF-IoT). p. 13-18 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    19 Citations (Scopus)

  • A unified compiler framework for work and data placement

    Kuijlman, F., Sips, HJ., van Reeuwijk, C. & Denissen, WJA., 2002, CPC2001: workshop. S.l.: s.n., p. 259-268 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • A unified compiler framework for work and data placement

    Kuijlman, F., Sips, HJ., van Reeuwijk, C. & Denissen, WJA., 2002, ASCI 2002; Proceedings of the eighth annual conference of the Advanced School for Computing and Imaging. Deprettere, EF. & et al. (eds.). Delft: Advanced School for Computing and Imaging (ASCI), p. 109-115 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

  • A Unified Decision-Theoretic Model for Information Gathering and Communication Planning

    Renoux, J., Veiga, T. S., Lima, P. U. & Spaan, M. T. J., 2020, 2020 29th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN): Proceedings. IEEE, p. 67-74 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    4 Citations (Scopus)

  • A Unified Format for Traces of Peer-to-Peer Systems

    Zhang, B., Iosup, A., Pouwelse, JA. & Garbacki, PJ., 2009, Workshop on Large-Scale System and Application Performance (LSAP). Casanova, H., Gerndt, M., Kranzlmuller, D. & Schiffers, M. (eds.). New York: Association for Computing Machinery (ACM), p. 27-34 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    6 Citations (Scopus)

  • A usability analysis of blocks-based programming editors using cognitive dimensions

    Holwerda, R. & Hermans, F., 2018, Proceedings - 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018. Kelleher, C., Engels, G., Fernandes, J. P., Cunha, J. & Mendes, J. (eds.). IEEE, Vol. 2018-October. p. 217-225 9 p. 8506483

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    21 Citations (Scopus)

  • A user modeling pipeline for studying polarized political events in social media

    Napoli, R., Ertugrul, A. M., Bozzon, A. & Brambilla, M., 2018, Current Trends in Web Engineering - ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, 2018, Revised Selected Papers. Pautasso, C., Systä, K., Rodriguez, J. M. M. & Sanchez-Figueroa, F. (eds.). Cham: Springer, p. 101-114 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11153 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    56 Downloads (Pure)

  • Auto-Erecting Virtual Office Walls

    van Gameren, BJA., Dullemond, K. & van Solingen, DM., 2012, Proceedings of the 2012 International Conference on Collaborative Computing: Networking, Applications and Worksharing. Ahn, G-J. & et al (eds.). p. 1-7 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    4 Citations (Scopus)

  • Automated Deployment of a Heterogeneous Service-Oriented System

    van der Burg, S. & Dolstra, E., 2010, 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). O'Conner, L. (ed.). Los Alamitos: IEEE Society, p. 183-190 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    8 Citations (Scopus)

  • Automated detection of test fixture strategies and smells

    Greiler, MS., van Deursen, A. & Storey, MA., 2013, Proceedings - 2013 IEEE 6th International Conference on Software Testing, Verification and Validation. Le Traon, Y. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 322-331 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    70 Citations (Scopus)

  • Automated estimation of link quality for Lora: A remote sensing approach

    Demetri, S., Zúñiga, M., Picco, G. P., Kuipers, F., Bruzzone, L. & Telkamp, T., 2019, IPSN 2019 - Proceedings of the 2019 Information Processing in Sensor Networks: Proceedings of the 2019 Information Processing in Sensor Networks. Eskicioglu, R. (ed.). New York, NY, USA: Association for Computing Machinery (ACM), p. 145-156 12 p. (IPSN 2019 - Proceedings of the 2019 Information Processing in Sensor Networks).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    62 Citations (Scopus)
    1586 Downloads (Pure)

  • Automated evaluation of syntax error recovery

    de Jonge, M. & Visser, E., 2012, ASE 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering. Goedlicke, M., Menzies, T. & Saeki, M. (eds.). New York: Association for Computing Machinery (ACM), p. 322-325 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    8 Citations (Scopus)

  • Automated Fault Diagnosis for Service-Oriented Architectures

    Chen, C., Gross, HG. & Zaidman, AE., 2012, 5th International Conference on Service-Oriented Computing and Applications. sn (ed.). Los Alamitos: IEEE Society, p. -

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • Automated Fault Diagnosis in Embedded Systems

    Zoeteweij, P., Pietersma, J., Abreu, RF., Feldman, AB. & van Gemund, AJC., 2008, Proceedings of the 2nd IEEE International Conference on Secure Systems Integration and Reliability Improvement (SSIRI'08)s.n.. s.n. (ed.). Los Alamitos, USA: IEEE, p. 103-110 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    13 Citations (Scopus)

  • Automated Redesign with the General Redesign Engine

    Feldman, AB., Provan, G., de Kleer, J., Kuhn, L. & van Gemund, AJC., 2009, Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09). Frisk, E., Nyberg, M., Krysander, M. & Aslund, J. (eds.). Linkoping, Sweden: Linkoping University, p. 307-314 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review