• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2020

Filter
Conference contribution
2016

An In-Depth Analysis of Disassembly on Full-Scale x86/x64 Binaries

Andriesse, D. A., Chen, X., van der Veen, V., Slowinska, J. M. & Bos, H. J., Aug 2016, 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. USENIX, p. 583-600

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

An Intelligent System for Aggression De-escalation Training

Bosse, T., Gerritsen, C. & de Man, J., 2016, ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). IOS Press, Vol. 285. p. 1805-1811 (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Intelligent systems
Law enforcement
Artificial intelligence
Fusion reactions
Students

Annotating Content Zones in News Articles

Baiamonte, E., Caselli, T. & Prodanof, E., 2016, Proceedings of Third Italian Conference on Computational Linguistics (CLiC-it 2016) & Fifth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian. Final Workshop (EVALITA 2016).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

A Non-Probabilistic Time-Storage Trade-off for Unsalted Hashes

Schardong, F. & Formolo, D., 1 Nov 2016, XVI Simposio Brasileiro em Seguranca da Informacao e de Sistemas Computacionais. p. 198 211 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Recovery

A process variant modeling method comparison: Experience report

Aysolmaz, B., Yaldiz, A. & Reijers, H., 2016, Enterprise, Business-Process and Information Systems Modeling - 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Proceedings. Springer - Verlag, Vol. 248. p. 285-300 16 p. (Lecture Notes in Business Information Processing; vol. 248).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Method Comparison
Modeling Method
Industry
Customers
Process Management

A Quantitative and Qualitative Investigation of Performance-Related Commits in Android Apps

Das, T., Penta, M. D. & Malavolta, I., 2016, 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016. IEEE, p. 443-447 5 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Application programs
Graphical user interfaces
Sorting
Data storage equipment
Android (operating system)

Architectural patterns and quality attributes interaction

Me, G., Calero Munoz, C. & Lago, P., 5 Apr 2016, WICSA and CompArch: Qualitative Reasoning about Software Architectures (QRASA). Muccini, H. (ed.). Venice, Italy: IEEE, 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

A real-time radio transient pipeline for ARTS

Sclocco, A., Leeuwen, J. V., Bal, H. E. & Van Nieuwpoort, R. V., 23 Feb 2016, 2015 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2015. Institute of Electrical and Electronics Engineers, Inc., p. 468-472 5 p. 7418239

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Pipelines
Processing
Particle accelerators
Scalability
Electric power utilization

Are names meaningful? Quantifying social meaning on the semantic web

de Rooij, S., Beek, W., Bloem, P., van Harmelen, F. & Schlobach, S., 2016, The Semantic Web - 15th International Semantic Web Conference, ISWC 2016, Proceedings. Springer/Verlag, Vol. 9981 LNCS. p. 184-199 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9981 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Semantic Web
Statistical Model
Quantify
Information Content
Meaning

A Research Agenda on Visualizations in Information Systems Engineering

Gulden, J., van der Linden, D. & Aysolmaz, B. E., 27 Apr 2016, ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, Rome, Italy 27-28 April, 2016. SciTePress, p. 234-240

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Are you Ready2Help? Dilemmas in organizing citizen response to disaster.

Schmidt, A. J., Wolbers, J. J., Boersma, F. K., Ferguson, J. E. & Groenewegen, P., 2016, ISCRAM 2016 Conference Proceedings – 13th International Conference on Information Systems for Crisis Response and Management. Tapia, A., Antunes, P., Bañuls, V. A., Moore, K. & Porto, J. (eds.). Rio de Janeiro, Brazil: Federal University of Rio de Janeiro

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Red Cross
disaster
citizen
citizens' involvement
non-governmental organization

A Situation Awareness Question Generator to Determine a Crisis Situation

Teitsma, M., Sandberg, J., Wielinga, B. & Schreiber, G., 11 Feb 2016, Proceedings - 26th International Workshop on Database and Expert Systems Applications, DEXA 2015. Institute of Electrical and Electronics Engineers, Inc., Vol. 2016-February. p. 129-133 5 p. 7406281

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Ontology
Mobile phones
Experiments

A Systematic Evaluation of Enterprise Modelling Approaches on Their Applicability to Automatically Generate ERP Software

Schunselaar, D. M. M., Gulden, J., van Schuur, W. H. & Reijers, H. A., 9 Dec 2016, 18th IEEE Conference on Business Informatics, CBI 2016, 29th August - 1st September 2016, Paris, France - Conference Papers. Institute of Electrical and Electronics Engineers, Inc., Vol. 1. p. 290-299 10 p. 7780325

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Enterprise resource planning
Industry
Software
Enterprise modeling
Evaluation

A Temporal-Causal Modelling Approach to Integrated Contagion and Network Change in Social Networks

Blankendaal, R., Parinussa, S. & Treur, J., 2016, Proc. ECAI'16. IOS Press, Vol. 285. p. 1388-1396 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
Experiments

A topic-centric approach to detecting new evidences for evidence-based medical guidelines

Hu, Q., Huang, Z., ten Teije, A., van Harmelen, F., Marshall, M. S. & Dekker, A., 2016, HEALTHINF 2016 - 9th International Conference on Health Informatics, Proceedings; Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016. SciTePress, p. 282-289 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Search engines
Experiments

A Tough Call: Mitigating Advanced Code-Reuse Attacks at the Binary Level

Veen, V. V. D., Goktas, E., Contag, M., Pawoloski, A., Chen, X., Rawat, S., Bos, H., Holz, T., Athanasopoulos, I. & Giuffrida, C., 16 Aug 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy, SP 2016. Institute of Electrical and Electronics Engineers, Inc., p. 934-953 20 p. 7546543

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Object oriented programming
Flow control
Level control
Servers
Semantics

Automatic Generation of detailed Flight Plans from High-level Mission Descriptions

Ruscio, D. D., Malavolta, I., Pelliccione, P. & Tivoli, M., 1 Oct 2016, Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016. ACM, p. 45-55 11 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Application programming interfaces (API)
Software engineering
Drones
Specifications
Modeling languages

Beyond Native Apps: Web Technologies to the Rescue! (Keynote)

Malavolta, I., 2016, Proceedings of the 1st International Workshop on Mobile Development. ACM, p. 1-2 2 p. (Mobile! 2016).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Application programs
Software engineering

Bringing secure Bitcoin transactions to your smartphone

Frey, D., Makkes, M. X., Roman, P. L., Taïani, F. & Voulgaris, S., 12 Dec 2016, ARM 2016 - 15th Workshop on Adaptive and Reflective Middleware, colocated with ACM/IFIP/USENIX Middleware 2016. Association for Computing Machinery, Inc, a3

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Smartphones
Processing
Costs

Building a Dictionary of Affixal Negations

van Son, C. M., van Miltenburg, C. W. J. & Morante Vallejo, R., 2016, Proceedings of the Workshop on Extra-Propositional Aspects of Meaning in Computational Linguistics. Osaka, Japan, p. 49-56

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Glossaries
Experiments

Business IT alignment through the lens of complexity science

Amarilli, F., Van Vliet, M. & Van Den Hooff, B., 1 Jan 2016, 2016 International Conference on Information Systems, ICIS 2016. Association for Information Systems

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Lenses
Industry
Information systems
Large scale systems
Managers

Bypassing Clang's SafeStack for Fun and Profit

Goktas, E. K., Oikonomopoulos, A., Gawlik, R., Kollenda, B., Athanasopoulos, I., Giuffrida, C., Portokalidis, G. & Bos, H. J., Nov 2016, Black Hat Europe.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Can we know upfront how to prioritize quality requirements?

Condori-Fernandez, N. & Lago, P., 10 Mar 2016, 5th International Workshop on Empirical Requirements Engineering, EmpiRE 2015 - Proceedings. IEEE CS, p. 33-40 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Capturing the ineffable: Collecting, analysing, and automating web document quality assessments

Ceolin, D., Noordegraaf, J. & Aroyo, L., 2016, Knowledge Engineering and Knowledge Management - 20th International Conference, EKAW 2016, Proceedings. Springer/Verlag, Vol. 10024 LNAI. p. 83-97 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10024 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Quality Assessment
Web Application
Trustworthiness
Vaccination
Niche

CILI: the Collaborative Interlingual Index

Bond, F., Vossen, P. T. J. M., McCrae, J. & Fellbaum, C., 2016, Proceeding of the 8th Glbal WordNet Conference. Barbu Mititelu, V., Forăscu, C., Vossen, P. T. J. M. & Fellbaum, C. (eds.). 2016

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Cognitive Simulation Driven Domestic Heating Energy Management

Thilakarathne, D. J. & Treur, J., 2016, Improving Sustainability Concept in Developing Countries (ISCDC). Elsevier, p. 80–93 14 p. (Procedia Environmental Sciences; vol. 34).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
Energy management
Heating
Mathematical models
Energy management systems
Human engineering

Column-oriented datalog materialization for large knowledge graphs

Urbani, J., Jacobs, C. & Krötzsch, M., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI Press, p. 258-264 7 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Data storage equipment

Commonsense in parts: Mining part-whole relations from theweb and image tags

Tandon, N., Hariman, C., Urbani, J., Rohrbach, A., Rohrbach, M. & Weikum, G., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI Press, p. 243-250 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Birds
Visibility
Sampling
Object detection

Communicating CSR motives in consumers’ company evaluations: The roles of customer-company identification and scepticism.

Bartels, J. & van Prooijen, A. M., 2016, 2016 Global Marketing Conference.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Comparative analysis of the efficiency of air source heat pumps in different climatic areas of Iran

Tabatabaei, S. & Treur, J., 2016, Improving Sustainability Concept in Developing Countries (ISCDC). Sotoca, A., Catalani, A., Ghoneem, M. Y. & Amer, M. S. (eds.). Elsevier, p. 547–558 12 p. (Procedia Environmental Sciences; vol. 34).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
Air source heat pumps
Heating
Gases
Electricity
Pumps

Comparing topic coverage in breadth-first and depth-first crawls using anchor texts

Samar, T., Traub, M. C., van Ossenbruggen, J. & de Vries, A. P., 2016, Research and Advanced Technology for Digital Libraries - 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Proceedings. Springer/Verlag, Vol. 9819. p. 133-146 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9819).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Breadth
Anchors
Websites
Coverage
Entire

Concepts of care quality. Workshop Cultures of Care

Nies, H. L. G. R. & Leichsenring, K., 2016, Cultures of Care. Boll, T., Ferring, D. & Valsiner, J. (eds.). Charlotte: Information Age Publishing Inc.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Connecting databases with process mining: A meta model and toolset

González-López de Murillas, E., Reijers, H. A. & Van Der Aalst, W. M. P., 2016, Enterprise, Business-Process and Information Systems Modeling - 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Proceedings. Springer - Verlag, Vol. 248. p. 231-249 19 p. (Lecture Notes in Business Information Processing; vol. 248).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Process Mining
Metamodel
Domain Knowledge
Business Process
Industry

Crowdsourcing Salient Information from News and Tweets

Inel, O. A., Caselli, T. & Aroyo, L. M., 2016, Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, Portoroz, Slovenia, May 23-28, 2016. European Language Resources Association (ELRA)

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

CrowdTruth: Machine-Human Computation Framework for Harnessing Disagreement in Gathering Annotated Data

Dumitrache, A., Inel, O., Timmermans, B. F. L., Aroyo, L. M. & Sips, H. J., 2016, Proceedings of the 14th Dutch-Belgian Information Retrieval Workshop.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Data 2 documents: Modular and distributive content management in RDF

Ockeloen, N., de Boer, V., Kuhn, T. & Schreiber, G., 2016, Knowledge Engineering and Knowledge Management - 20th International Conference, EKAW 2016, Proceedings. Springer - Verlag, Vol. 10024 LNAI. p. 447-462 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10024 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Ontology
Anomaly
Ontology Engineering
Web-based
Correctness

Data Blocks: Hybrid OLTP and OLAP on compressed storage using both vectorization and compilation

Lang, H., Mühlbauer, T., Funke, F., Boncz, P., Neumann, T. & Kemper, A., 26 Jun 2016, SIGMOD 2016 - Proceedings of the 2016 International Conference on Management of Data. Association for Computing Machinery (ACM), Vol. 26-June-2016. p. 311-326 16 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Throughput
Pipelines
Data storage equipment

Decision mining revisited - Discovering overlapping rules

Mannhardt, F., De Leoni, M., Reijers, H. A. & Van Der Aalst, W. M. P., 2016, Advanced Information Systems Engineering - 28th International Conference, CAiSE 2016, Proceedings. Springer - Verlag, Vol. 9694. p. 377-392 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9694).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Overlapping
Mining
Decision Rules
Decision trees
Decision making

Dedup Est Machina: Memory Deduplication as an Advanced Exploitation Vector

Bosman, E., Razavi, K., Bos, H. & Giuffrida, C., 16 Aug 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy, SP 2016. Institute of Electrical and Electronics Engineers, Inc., p. 987-1004 18 p. 7546546

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Data storage equipment
Entropy
Servers
Semantics
Virtual machine

Degrees of infinite words, polynomials and atoms

Endrullis, J., Karhumäki, J., Klop, J. W. & Saarela, A., 2016, Developments in Language Theory - 20th International Conference, DLT 2016, Proceedings. Springer/Verlag, Vol. 9840. p. 164-176 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9840).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Infinite Words
Transducer
Transducers
Polynomials
Pure mathematics

Developing a virtual coach for chronic patients: A user study on the impact of similarity, familiarity and realism

van Wissen, A., Vinkers, C. & van Halteren, A., 2016, Persuasive Technology - 11th International Conference, PERSUASIVE 2016, Proceedings. Springer/Verlag, Vol. 9638. p. 263-275 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9638).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Embodied Conversational Agents
User Studies
Self-management
Healthcare
Health

Digital History: Towards New Methodologies

ter Braake, S., Fokkens, A. S., Ockeloen, C. J. & van Son, C. M., 2016, Computational History and Data-Driven Humanities - Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers. Bozic, B., Mendel-Gleason, G., Debruyne, C. & O'Sullivan, D. (eds.). Springer, p. 23-32 (IFIP Advances in Information and Communication Technology; vol. 482).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Digital History
Historian
Methodology
Historical Research
Technological Change

Divide and Congruence II: Delay and Weak Bisimilarity

Fokkink, W. & van Glabbeek, R., 5 Jul 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers, Inc., Vol. 05-08-July-2016. p. 778-787 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Doubting What to Eat: A Computational Model for Food Choice Using Different Valuing Perspectives

Abro, A. H. & Treur, J., 2016, Neural Information Processing: 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings. Hirose, A., Ozawa, S., Doya, K., Lee, M. & Liu, D. (eds.). Kyoto, Japan: Springer, Vol. 9950 LNCS. p. 164-174 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9950 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
Computational Model
Decision Making
Decision making

Drammer: Deterministic Rowhammer attacks on mobile platforms

Van Der Veen, V., Fratantonio, Y., Lindorfer, M., Gruss, D., Maurice, C., Vigna, G., Bos, H., Razavi, K. & Giuffrida, C., 24 Oct 2016, CCS 2016 - Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), Vol. 24-28-October-2016. p. 1675-1689 15 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Data storage equipment
Dynamic random access storage
Smartphones
Concretes
Hardware

DroydSeuss: A Mobile Banking Trojan Tracker - Short Paper

Coletta, A., van der Veen, V. & Maggi, F., 2016, Financial Cryptography and Data Security. Springer, Berlin, (Lecture Notes in Computer Science).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Metadata
Application programming interfaces (API)
Application programs
Communication
Malware

Drug Discovery and Big Linked Data

Siebes, R., Boer, V. D., Williams-Jones, B. & Soiland-Reyes, S., 2016, Proceedings of the 9th International Conference Semantic Web Applications and Tools for Life Sciences, Amsterdam, The Netherlands, December 5-8, 2016..

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Dynamic resource allocation using performance forecasting

Moura, P., Kon, F., Voulgaris, S. & Van Steen, M., 13 Sep 2016, 2016 International Conference on High Performance Computing and Simulation, HPCS 2016. Institute of Electrical and Electronics Engineers, Inc., p. 18-25 8 p. 7568311

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Resource Allocation
Resource allocation
Forecasting
Resources
Scalability

Empirical Analysis of Social Support Provided via Social Media

Medeiros, L. & Bosse, T., 2016, Proceedings of the 8th International Conference on Social Informatics, SocInfo'16. Springer Verlag, Vol. 10047. p. 439-453 (Lecture Notes in Computer Science; vol. 10047).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Energy Efficiency and Power Measurements: an Industrial Survey in Data Centers

Procaccianti, G. & Routsis, A., 2016, Proceedings of the 4th International Conference on ICT for Sustainability (ICT4S 2016). Atlantis Press

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Energy efficiency
Industry
Energy management
Sustainable development
Managers