Angelika H. Mader

dr.

1992 …2024

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    BreatheWithMe: Exploring Visual and Vibrotactile Displays for Social Breath Awareness during Colocated, Collaborative Tasks

    Ali, A. E., Stepanova, E. R., Palande, S., Mader, A., Cesar, P. & Jansen, K., 19 Apr 2023, CHI EA '23: Extended Abstracts of the CHI Conference on Human Factors in Computing Systems . New York, NY: Association for Computing Machinery, p. 1-8 8 p. 58

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

    7 Citations (Scopus)
  • 2022

    Experiencing touch by technology

    Weda, J., Kolesnyk, D., Mader, A. H. & van Erp, J. B. F., 20 May 2022, Haptics: Science, Technology, Applications: 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22–25, 2022, Proceedings. Seifi, H., Kappers, A. M., Schneider, O., Drewing, K., Pacchierotti, C., Abbasimoshaei, A., Huisman, G. & Kern, T. A. (eds.). Springer, p. 110-118 9 p. (Lecture Notes in Computer Science; vol. 13235).

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

    Open Access
    File
    2 Citations (Scopus)
    169 Downloads (Pure)
  • 2021

    Atelier – Tutor Moderated Comments in Programming Education

    Fehnker, A., Mader, A. H. & Rump, A., 9 Sept 2021, Technology-Enhanced Learning for a Free, Safe, and Sustainable World. De Laet, T., Klemke, R., Alario-Hoyos, C., Hilliger, I. & Ortega-Arranz, A. (eds.). Springer, p. 379-383 5 p. (Lecture Notes in Computer Science; vol. 12884).

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

    Open Access
    File
    1 Citation (Scopus)
    47 Downloads (Pure)
  • Automated Assessment of Learning Objectives in Programming Assignments

    Rump, A., Fehnker, A. & Mader, A., 9 Jul 2021, Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual Event, June 7–11, 2021, Proceedings. Cristea, A. I. & Troussas, C. (eds.). Cham: Springer, p. 299-309 11 p. (Lecture Notes in Computer Science; vol. 12677).

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

    Open Access
    File
    8 Citations (Scopus)
    124 Downloads (Pure)
  • 2020

    Atelier: An Online Platform for Programming Tutorials

    Fehnker, A., Mader, A., Rump, A., Rutgers, M., Steenmeijer, L. & Witteveen, C., 2020, Proceedings of the 9th Computer Science Education Research Conference. New York, NY, USA: Association for Computing Machinery, (CSERC '20).

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

    Open Access
    File
    1 Citation (Scopus)
    131 Downloads (Pure)
  • How can technology enhanced learning improve the efficiency and quality of help seeking and giving for programming tutorials?

    Breymann, L. E. I., Mader, A. H. & Kok, H. M., 2020, Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020. van der Veen, J., van Hattum-Janssen, N., Järvinen, H.-M., de Laet, T. & ten Dam, I. (eds.). Enschede: University of Twente, p. 679-688 10 p.

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

    Open Access
    File
    1 Citation (Scopus)
    125 Downloads (Pure)
  • 2016

    Tinkering as Method in Academic Teaching

    Mader, A. H. & Dertien, E. C., 9 Sept 2016, DS 83: Proceedings of the 18th International Conference on Engineering and Product Design Education . Bohemia, E. (ed.). p. 240-245 6 p.

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

    Open Access
    File
    9 Citations (Scopus)
    153 Downloads (Pure)
  • 2014

    A Design Process for Creative Technology

    Mader, A. H. & Eggink, W., Sept 2014, Proceedings of the 16th International conference on Engineering and Product Design, E&PDE 2014. Bohemia, E., Eger, A., Eggink, W., Kovacevic, A., Parkinson, B. & Wits, W. (eds.). Bristol, UK: The Design Society, p. 568-573 6 p. (E&PDE).

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

    File
    9 Citations (Scopus)
    2423 Downloads (Pure)
  • 2012

    Explaining Embedded Software Modelling Decisions

    Marincic, J., Mader, A. H. & Wieringa, R. J., Jun 2012, IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012. USA: IEEE, p. 80-89 10 p.

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

    File
    190 Downloads (Pure)
  • Making a Toy Educative Using Electronics

    Dertien, E., Dijkstra, J. & Mader, A. H., 2012, 9th International Conference on Advances in Computer Entertainment, ACE 2012. Nijholt, A., Romão, T. & Reidsma, D. (eds.). Berlin: Springer, p. 477-480 4 p. (Lecture Notes in Computer Science; vol. 7624).

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

    Open Access
    File
    5 Citations (Scopus)
    52 Downloads (Pure)
  • Schedulability analysis of timed CSP models using the PAT model checker

    Oguz, O., Broenink, J. F. & Mader, A. H., 27 Aug 2012, Communicating Process Architectures 2012. Welch, P. H., Barnes, F. R. M., Chalmers, K., Pedersen, J. B. & Sampson, A. T. (eds.). Bicester: Open Channel Publishing Ltd, p. 65-88 24 p.

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

    Open Access
    File
    137 Downloads (Pure)
  • Single Value Devices

    Mader, A. H., Dertien, E. C. & Reidsma, D., Sept 2012, Proceedings of the 4th International ICST Conference on Intelligent Technologies for Interactive Entertainment (INTETAIN 2011), Revised Selected Papers. Camurri, A. & Costa, C. (eds.). Berlin: Springer, p. 38-47 10 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 78).

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

    File
    170 Downloads (Pure)
  • 2011

    Validation of Embedded System Verification Models

    Marincic, J., Mader, A. H. & Wieringa, R. J., Aug 2011, Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE). USA: IEEE, p. 48-54 7 p.

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

    3 Citations (Scopus)
    6 Downloads (Pure)
  • 2010

    Structuring Problem Analysis for Embedded Systems Modelling

    Marincic, J., Mader, A. H., Wieringa, R. J. & Lucas, Y., Apr 2010, International Workshop on Applications and Advances of Problem-Orientation (IWAAPO). Santa Clara, CA, USA: IARIA, p. - 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    File
    64 Downloads (Pure)
  • 2008

    Classifying Assumptions Made During Requirements Verification of Embedded Systems

    Marincic, J., Mader, A. H. & Wieringa, R. J., 2008, Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008. Paech, B. & Rolland, C. (eds.). London: Springer, p. 141-146 6 p. 10.1007/978-3-540-69062-7_14. (Lecture notes in computer science; vol. 5025, no. 274).

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

    2 Citations (Scopus)
    2 Downloads (Pure)
  • Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods

    Marincic, J., Mader, A. H., Wupper, H. & Wieringa, R. J., 2008, IWAAPF '08: Proceedings of the 3rd international workshop on Applications and advances of problem frames. New York, NY, USA: Association for Computing Machinery, p. 67-73 7 p.

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

    File
    2 Citations (Scopus)
    177 Downloads (Pure)
  • 2007

    Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks

    Fehnker, A., van Hoesel, L. & Mader, A. H., Jun 2007, Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings. Davis, J. & Gibbons, J. (eds.). Berlin, Heidelberg: Springer, p. 253-272 20 p. (Lecture Notes in Computer Science; vol. 4591).

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

    10 Downloads (Pure)
  • 2006

    Verifying the distributed real-time network protocol RTnet using Uppaal

    Hanssen, F. T. Y., Mader, A. H. & Jansen, P. G., Jan 2006, Proceedings of the 14th IEEE/ACN International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS). Los Alamitos: IEEE, p. 239-246 10 p.

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

    File
    264 Downloads (Pure)
  • 2005

    Production Scheduling by Reachability Analysis - A Case Study

    Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Apr 2005, Workshop on Parallel and Distributed Real-Time Systems (WPDRTS). Los Alamitos, California: IEEE, p. 140a-140a

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

    File
    24 Citations (Scopus)
    137 Downloads (Pure)
  • Scheduling lacquer production by reachability analysis - A case study

    Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Jul 2005, 16th IFAC World Congress. Horacek, P., Simandl, M. & Zitek, P. (eds.). Laxenburg, Austria: Elsevier, p. MoA17TO3

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

    File
    176 Downloads (Pure)
  • 2004

    Synthesis and stochastic assessment of schedules for lacquer production

    Bohnenkamp, H. C., Hermanns, H., Klaren, J., Mader, A. H. & Usenko, Y. S., Sept 2004, First International Conference on Quantitative Evaluation of Systems (QEST 2004). Los Alamitos, California: IEEE, p. 28-37 10 p.

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

    96 Downloads (Pure)
  • Timed Model Checking of Security Protocols

    Corin, R. J., Etalle, S., Hartel, P. H. & Mader, A. H., Oct 2004, 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE). Atluri, V., Backes, M., Basin, D. A. & Waidner, M. (eds.). New York: ACM Press, p. 23-32 10 p.

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

    File
    272 Downloads (Pure)
  • 2002

    Model checking embedded system designs

    Brinksma, H. & Mader, A. H., Oct 2002, 6th Int. Workshop on Discrete Event Systems (WODES). Los Alamitos, California: IEEE, p. 151-158 8 p.

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

    File
    5 Citations (Scopus)
    170 Downloads (Pure)
  • 2000

    Verification and Optimization of a PLC Control Schedule

    Brinksma, H. & Mader, A. H., Aug 2000, 7th Int. SPIN Workshop on Model Checking of Software. Havelund, K., Penix, J. & Visser, W. (eds.). Berlin: Springer, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 1885).

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

    File
    24 Citations (Scopus)
    232 Downloads (Pure)
  • 1998

    Operational and logical semantics for polling real-time systems

    Dierks, H., Fehnker, A., Mader, A. H. & Vaandrager, F., 1998, Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings. Ravn, A. P. & Rischel, H. (eds.). Berlin, Heidelberg: Springer, p. 29-40 12 p. (Lecture Notes in Computer Science; vol. 1486).

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

    Open Access
    File
    12 Citations (Scopus)
    201 Downloads (Pure)
  • 1996

    An Effective Tableau System for the Linear Time µ-Calculus

    Bradfield, J., Esparza, J. & Mader, A. H., Jul 1996, Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings. Meyer, F. & Monien, B. (eds.). Springer, p. 98-109 12 p.

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

    Open Access
    File
    8 Citations (Scopus)
    152 Downloads (Pure)
  • 1995

    Modal µ-Calculus, Model Checking and Gauß Elimination

    Mader, A. H., May 1995, Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995. Selected Papers. Brinksma, E., Cleaveland, W. R., Larsen, K. G., Margaria, T. & Steffen, B. (eds.). Berlin, Heidelberg: Springer, p. 72-88 17 p.

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

    Open Access
    File
    18 Citations (Scopus)
    193 Downloads (Pure)
  • 1992

    Tableau Recycling

    von Bochmann, G. (Editor), Mader, A. H. & Probst, D. K. (Editor), Jun 1992, Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings. von Bochmann, G. & Probst, D. K. (eds.). p. 330-342 13 p.

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

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