Jan Martijn van der Werf is an Assistant Professor in Software Architecture at the department of Information and Computing Sciences at Utrecht University, the Netherlands. His main research interest is in architecture mining and architecture conformance: the use of software operation data collected from software systems to analyze and improve the quality of architecture documentation.

Publications

For a complete overview, have a look at my DBLP entry, or my profile on Google Scholar.

82 results
2018
[82]Improving software design reasoning–A reminder card approach (, , and ), In Journal of Systems and Software, . [bibtex] [pdf]
[81]A Blockchain-Based Micro Economy Platform for Distributed Infrastructure Initiatives (, and ), In 2017 IEEE International Conference on Software Architecture, ICSA 2018, Seattle, United States, May 2018, IEEE, . [bibtex] [pdf]
2017
[80]Architectural Intelligence: A Framework and Application to e-Learning (, and ), In Joint Proceedings of the Radar tracks at the 18th International Working Conference on Business Process Modeling, Development and Support (BPMDS), and the 22nd International Working Conference on Evaluation and Modeling Methods for Systems Analysis and Development (EMMSAD), and the 8th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA), CEUR-WS, volume 1859, . [bibtex] [pdf]
[79]Facilitating Collaborative Decision Making with the Software Architecture Video Wall ( and ), In Proceedings of the International Workshop on decision Making in Software ARCHitecture (MARCH), IEEE Digital Library, . [bibtex] [pdf]
[78]Reasoning on Architecture Design (, , and ), Technical report UU-CS-2017-019, Department of Information and Computing Sciences, Utrecht University, . [bibtex] [pdf]
[77]All-inclusive Software Architecture Video Wall - building a Prototype (, and ), Technical report UU-CS-2017-017, Department of Information and Computing Sciences, Utrecht University, . [bibtex] [pdf]
[76]Software architecture reconstruction research support as provided by HUSACCT (), In 11th European Conference on Software Architecture, ECSA 2017, Companion Proceedings, Canterbury, United Kingdom, September 11-15, 2017, ACM, . [bibtex] [pdf]
[75]The accuracy of dependency analysis in static architecture compliance checking (, and ), In Softw., Pract. Exper., volume 47, . [bibtex] [pdf]
[74]Extracting conceptual models from user stories with Visual Narrator (), In Requir. Eng., volume 22, . [bibtex]
[73] Behavior-Driven Requirements Traceability via Automated Acceptance Tests (, , , and ), In IEEE 25th International Requirements Engineering Conference Workshops, RE 2017 Workshops, Lisbon, Portugal, September 4-8, 2017, IEEE Computer Society, . [bibtex] [pdf]
[72]Improving User Story Practice with the Grimm Method: A Multiple Case Study in the Software Industry (, , and ), In Requirements Engineering: Foundation for Software Quality - 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings, Springer, volume 10153, . [bibtex]
[71]Uncovering the Runtime Enterprise Architecture of a Large Distributed Organisation - A Process Mining-Oriented Approach (, and ), In Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings, Springer, volume 10253, . [bibtex] [pdf]
[70]Workload-Based Clustering of Coherent Feature Sets in Microservice Architectures (, and ), In 2017 IEEE International Conference on Software Architecture, ICSA 2017, Gothenburg, Sweden, April 3-7, 2017, IEEE, . [bibtex] [pdf]
[69]Extending software architecture views with an energy consumption perspective - A case study on resource consumption of enterprise software (, , and ), In Computing, volume 99, . [bibtex] [pdf]
[68]Energy efficiency on the product roadmap: An empirical study across releases of a software product (, , , and ), In Journal of Software: Evolution and Process, volume 29, . [bibtex] [pdf]
[67]Awakening awareness on energy consumption in software engineering (, , , , and ), In 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society Track, ICSE-SEIS 2017, Bueons Aires, Argentina, May 20-28, 2017, IEEE Computer Society, . [bibtex] [pdf]
2016
[66]Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers, (Hildebrandt, T.T., Ravara, A., Werf, J.M.E.M. van der, Weidlich, M., eds.), Springer, volume 9421, . [bibtex]
[65]Software Architecture Design Reasoning: A Card Game to Help Novice Designers (, , and ), In Software Architecture - 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016, Proceedings, volume 9839, . [bibtex] [pdf]
[64]Consistent Inconsistency Management: A Concern-Driven Approach (, , and ), In Software Architecture - 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016, Proceedings, volume 9839, . [bibtex] [pdf]
[63]Automated Extraction of Conceptual Models from User Stories via NLP (, , , and ), In 24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, September 12-16, 2016, IEEE, . [bibtex]
[62]Architectural Pattern Definition for Semantically Rich Modular Architectures (, and ), In 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016, Venice, Italy, April 5-8, 2016, IEEE Computer Society, . [bibtex] [pdf]
[61]A genetic approach to architectural pattern discovery ( and ), In Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28 - December 2, 2016, ACM, . [bibtex] [pdf]
[60]Improving agile requirements: the Quality User Story framework and tool (, , and ), In Requir. Eng., volume 21, . [bibtex]
[59]AQUSA: The Automatic Quality User Story Artisan for Agile Software Development (, , and ), In Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2016), Gothenburg, Sweden, March 14, 2016., CEUR-WS.org, volume 1564, . [bibtex]
[58]The Use and Effectiveness of User Stories in Practice (, , and ), In Requirements Engineering: Foundation for Software Quality - 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings, Springer, volume 9619, . [bibtex]
[57]Visualizing User Story Requirements at Multiple Granularity Levels via Semantic Relatedness (, , and ), In Conceptual Modeling - 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings, volume 9974, . [bibtex]
[56]Software energy profiling: comparing releases of a software product (, , , , and ), In Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume, ACM, . [bibtex] [pdf]
[55]A Resource Utilization Score for Software Energy Consumption (, , , , and ), In ICT for Sustainability, Atlantis Press, . [bibtex] [pdf]
2015
[54]Online Compliance Monitoring of Service Landscapes ( and ), In Business Process Management Workshops - BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers, Springer, volume 202, . [bibtex]
[53]Discovery of Functional Architectures From Event Logs (), In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015., CEUR-WS.org, volume 1372, . [bibtex] [pdf]
[52]Compositional Verification of Asynchronously Communicating Systems (), In Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, Springer, volume 8997, . [bibtex] [pdf]
[51]Accuracy Test of Software Architecture Compliance Checking Tools ? Test Instruction (, , and ), Technical report UU-CS-2015-020, Department of Information and Computing Sciences, Utrecht University, . [bibtex]
[50]Quality Metrics for Sustainability - The operational Energy Use of Application Software (, , , and ), Technical report UU-CS-2015-008, Department of Information and Computing Sciences, Utrecht University, . [bibtex]
[49]Dependency Types and Subtypes in the Context of Architecture Reconstruction and Compliance Checking ( and ), In Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015, ACM, . [bibtex] [pdf]
[48]Forging high-quality User Stories: Towards a discipline for Agile Requirements (, , and ), In 23rd IEEE International Requirements Engineering Conference, RE 2015, Ottawa, ON, Canada, August 24-28, 2015, IEEE Computer Society, . [bibtex]
[47]Bridging the Twin Peaks - The Case of the Software Industry (, , and ), In 5th IEEE/ACM International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2015, Florence, Italy, May 17, 2015, IEEE Computer Society, . [bibtex]
[46]An Energy Consumption Perspective on Software Architecture - A Case Study on Architectural Change (, , , , and ), In Software Architecture - 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015, Proceedings, Springer, volume 9278, . [bibtex] [pdf]
[45]Profiling energy profilers (, , , and ), In Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, ACM, . [bibtex] [pdf]
2014
[44]HUSACCT: architecture compliance checking with rich sets of module and rule types (, , and ), In ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014, ACM, . [bibtex] [pdf]
[43]Bridging the gap between software platforms: A template method for software evolution (, , and ), In 8th IEEE International Workshop on Software Product Management, IWSPM 2014, Karlskrona, Sweden, August 26, 2014, IEEE Computer Society, . [bibtex] [pdf]
[42]Alignment of software product management and software architecture with discussion models (, and ), In 8th IEEE International Workshop on Software Product Management, IWSPM 2014, Karlskrona, Sweden, August 26, 2014, IEEE Computer Society, . [bibtex] [pdf]
2013
[41]Mining Declarative Models Using Time Intervals (, and ), In Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013, CEUR-WS.org, volume 989, . [bibtex] [pdf]
[40] Business Process Modeling Using Petri Nets (, and ), In Trans. Petri Nets and Other Models of Concurrency, Springer, volume 7, . [bibtex] [pdf]
[39] When Can We Trust a Third Party? - A Soundness Perspective ( and ), In Trans. Petri Nets and Other Models of Concurrency, Springer, volume 8100, . [bibtex] [pdf]
[38] Refinement of Synchronizable Places with Multi-workflow Nets (, and ), In Fundam. Inform., volume 122, . [bibtex] [pdf]
2012
[37]Separating compliance management and business process management ( and ), In Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II) (Daniel, F., Barkaoui, K., Dustdar, S., eds.), Springer, Berlin, volume 100, . [bibtex]
[36]On Profiles and Footprints – Relational Semantics for Petri Nets ( and ), In Applications and Theory of Petri Nets, (33th International Conference, Petri Nets 2012), Springer, Berlin, volume 7347, . [bibtex]
[35]Context-Aware Compliance Checking (, and ), In Business Process Management - 10th International Conference, BPM 2012, Springer, Berlin, volume 7481, . [bibtex]
[34]When Can We Trust a Third Party? – A Soundness Perspective ( and ), In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12) (Cabac, L., Duvigneau, M., Moldt, D., eds.), CEUR Workshop Proceedings, volume 851, . [bibtex]
[33]Designing Weakly Terminating ROS Systems ( and ), In Applications and Theory of Petri Nets, (33th International Conference, Petri Nets 2012), Springer, Berlin, volume 7347, . [bibtex]
2011
[32]Compositional design and verification of component-based information systems (), PhD thesis, Technische Universiteit Eindhoven, . [bibtex]
[31]Refinement of Synchronizable Places with Multi-Workflow Nets - Weak Termination Preserved! ( and ), In Applications and Theory of Petri Nets, (32th International Conference, Petri Nets 2011) (Petrucci, L., Kristensen, L.M., eds.), Springer, Berlin, volume 6709, . [bibtex]
[30]A component framework where port compatibility implies weak termination (, and ), Technical report 11-08, Technische Universiteit Eindhoven, . [bibtex]
[29]Refinement of synchronizable places with multi-workflow nets. Weak termination preserved! ( and ), Technical report 11-01, Technische Universiteit Eindhoven, . [bibtex]
[28]Conceptual Model for On Line Auditing ( and ), In Decision Support Systems, volume 50, . [bibtex]
[27]A Component Framework where Port Compatibility Implies Weak Termination (, and ), In Proceedings of the International Workshop on Petri Nets and Software Engineering (Duvigneau, M., Moldt, D., Hiraishi, K., eds.), CEUR-WS, volume 723, . [bibtex]
[26]A business process mining application for internal transaction fraud mitigation (, and ), In Expert Systems with Applications, volume 38, . [bibtex]
2010
[25]Soundness-preserving refinements of service compositions (, and ), In Web Services and Formal Methods (7th International Workshop, WS-FM 2010), Springer, Berlin, volume 6551, . [bibtex]
[24]Auditing 2.0: Using process mining to support tomorrow's auditor (, and ), In Computer, volume 43, . [bibtex]
[23]Construction of asynchronous communicating systems: weak termination guaranteed! ( and ), In Proceedings of the 9th International Conference on Software Composition (SC 2010) (Baudry, B., Wohlstadter, E., eds.), Springer, Berlin, volume 6144, . [bibtex]
[22]Auditing 2.0: Using Process Mining to Support Tomorrow\92s Auditor (, and ), Technical report BPM-10-07, BPMcenter.org, . [bibtex]
2009
[21]Compositional service trees (, , and ), In Applications and Theory of Petri Nets (30th International Conference, Petri Nets 2009) (Franceschinis, G., Wolf, K., eds.), Springer, Berlin, volume 5606, . [bibtex]
[20]Process diagnostics : a method based on process mining ( and ), In Proceedings International Conference on Information, Process, and Knowledge Management (eKNOW 2009), IEEE Computer Society, . [bibtex]
[19]Process discovery using integer linear programming ( and ), In Fundamenta Informaticae, volume 94, . [bibtex]
[18]Generation of database transactions with Petri nets (, and ), In Fundamenta Informaticae, volume 93, . [bibtex]
[17]Compositional service trees (, , and ), Technical report 09-01, Technische Universiteit Eindhoven, . [bibtex]
[16]Conceptual Model for On Line Auditing (, , and ), Technical report BPM-09-19, BPMcenter.org, . [bibtex]
2008
[15]Verification of RoseRT models using Petri nets (, and ), In Proceedings International Workshop on Petri Nets and Distributed Systems (PNDS'08, Xi'an, China, June 23-24, 2008) (Sidorova, N., Moldt, D., Roelke, H., eds.), . [bibtex]
[14]Process discovery using integer linear programming ( and ), In Applications and Theory of Petri Nets (29th International Conference, Petri Nets 2008, Xi'an, China, June 23-27, 2008, Proceedings) (Hee, K.M. van, Valk, R., eds.), Springer, Berlin, volume 5062, . [bibtex]
[13]Generation of database transactions with Petri nets (, and ), In Proceedings of Concurrency, Specification and Programming (CS&P 2008) (Burkhard, H.D., Lindemann, G., Schlingloff, H., eds.), . [bibtex]
[12]Process discovery using integer linear programming (, and ), Technical report 08-04, Technische Universiteit Eindhoven, . [bibtex]
[11]Designing case handling systems (, and ), Chapter in Transactions on Petri Nets and Other Models of Concurrency I (Jensen, K., Aalst, W.M.P. van der, Billington, J., eds.), Springer, Berlin, volume 5100, . [bibtex]
[10]Adaptive workflows for healthcare information systems (, and ), In Business Process Management Workshops (BPM 2007 International Workshops) (Hofstede, A.H.M. ter, Benatallah, B., Paik, H.Y., eds.), Springer, Berlin, volume 4928, . [bibtex]
2007
[9]Transformation of BPMN models for behaviour analysis (, , and ), In Proceedings of the 5th International Workshop in conjunction with the 9th International Conference on Enterprise Information Systems (MSVVEIS 2007) 12-13 June 2007, Funchal, Madeira, Portugal (Augusto, J.C., Barjis, J., Ultes-Nitsche, U., eds.), INSTICC Press, . [bibtex]
[8]A software framework for automated verification (, , and ), In Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea (Cho, Y., Wainwright, R.L., Haddad, H., Shin, S.Y., Koo Y.W., eds.), ACM Press, New York, USA, . [bibtex]
[7]Modeling with history-dependent Petri nets (, and ), In Proceedings of the 5th International Conference on Business Process Management (BPM 2007) 24-28 September 2007, Brisbane, Australia (Alonso, G., Dadam, P., Rosemann, M., eds.), Springer, Berlin, volume 4714, . [bibtex]
[6]Designing case handling systems (, and ), In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) 25-26 June 2007, Siedlce, Poland (Moldt, D., Kordon, F., Hee, K.M. van, Colom, J.M., Bastide, R., eds.), . [bibtex]
2006
[5]Yasper : a tool for workflow modeling and analysis (, and ), In Application of Concurrency to System Design (Proceedings 6th International Conference, ACSD 2006, Turku, Finland, June 28-30, 2006), IEEE, Brussels, . [bibtex]
[4]Analysis of well-formedness and soundness by reduction techniques and their implementation (), Master's thesis, Technische Universiteit Eindhoven, . [bibtex]
[3]Petriweb : a repository for Petri nets (, and ), In Petri Nets and other Models of Concurrency - ICATPN'06 (Proceedings 27th International Conference on Applications and Theory of Petri Nets (Turku, Finland, June 26-30, 2006)) (Donatelli, S., Thiagarajan, P.S., eds.), Springer, Berlin, volume 4024, . [bibtex]
2004
[2]Process model repositories and PNML (, and ), In Definition, Implementation and Application of a Standard Interchange Format for Petri Nets (Proceedings of the workshop, Satellite event of ATPN 2004, Bologna, Italy, June 26, 2004) (Kindler, E., ed.), University of Paderborn, Germany, . [bibtex]
[1]EPNML 1.1 : an XML format for Petri nets. (), Technical report, Technische Universiteit Eindhoven, . [bibtex]
Jan Martijn van der Werf