Publications
- Kroiß, C. Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models 8th International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2014) 2014, pp. 151-160
- Kroiß, C. A Statistical Model Checker for Situation Calculus Based Multi-Agent Models (Extended Abstract) Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) 2014, pp. 1567-1568
- Kroiß, C. and Bureš, T. Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014) 2014
- Schroeder, A., Klarl, A., Mayer, P. and Kroiß, C. Teaching agile software development through lab courses Global Engineering Education Conference (EDUCON), 2012 IEEE 2012, pp. 1-10
- Dijksterhuis, C., Kroiß, C. and de Waard, D. Adaptive driving support - information about the vehicle‘s lateral position de Waard, D., Axelsson, A., Berglund, M., Peters, B. & Weikert, C. (ed.)Human Factors: A system view of human, technology and organisation Shaker Publishing, 2010, pp. 71-87
- Kroiss, C., Koch, N. and Knapp, A. UWE4JSF: A Model-Driven Generation Approach for Web Applications Proceedings of the 9th International Conference on Web Engineering 2009, pp. 493-496
- Beyer, G., Hammer, M., Kroiss, C. and Schroeder, A.A Component-Based Approach for Realizing User-Centric Adaptive SystemsMobile Wireless Middleware, Operating Systems, and Applications-Workshops2009, pp. 98-104
- Beyer, G., Mayer, C., Kroiss, C. and Schroeder, A.Person aware advertising displays: Emotional, cognitive, physical adaptation capabilities for contact exploitationProceedings of the 1st Workshop on Pervasive Advertising at Pervasive2009
- Ruiz-González, D., Koch, N., Kroiss, C., Romero, J.-R. and Vallecillo, A. Viewpoint synchronization of UWE models Proc. 5th International Workshop on Model-Driven Web Engineering 2009, pp. 46-60
- Preciado, J. C., Linaje, M., Morales-Chaparro, R., Sanchez-Figueroa, F., Zhang, G., Kroiß, C. and Koch, N. Designing rich internet applications combining UWE and RUX-method Web Engineering, 2008. ICWE'08. Eighth International Conference on 2008, pp. 148-154
- Kroiss, C. and Zhang, G.Tool Supported Modeling of Mobile Systems Proceedings of the 10 th IASTED International Conference on Software Engineering and Applications 2006
