M. Huisman and A.J. Wijs
Texts in Computer Science, Springer (2023) |
A.J. Wijs and M. Osama
Frontiers in High Performance Computing, Volume 2, Frontiers (2024) |
M. Osama, A.J. Wijs and A. Biere
Formal Methods in System Design, Volume 62, Issue 1-3, pp. 79-118, Springer (2024) |
J. van Eerd, J.F. Groote, P. Hijma, J. Martens, M. Osama and A.J. Wijs
Science of Computer Programming, Volume 225, Article 102910, Elsevier (December 2022) |
J. Martens, J.F. Groote, L.B. van den Haak, P. Hijma and A.J. Wijs
Software and Systems Modeling, Volume 22, pp. 521-545, Springer (December 2022) |
S.M.J. de Putter, F. Lang and A.J. Wijs
Science of Computer Programming, Volume 196, Article 102493, Elsevier (September 2020) |
D. Zhang, D. Bošnački, M.G.J. van den Brand, C. Huizing, B. Jacobs, R. Kuiper and A.J. Wijs
Science of Computer Programming, Volume 184, Article 102316, Elsevier (October 2019) |
D. Bošnački and A.J. Wijs
International Journal on Software Tools for Technology Transfer, Volume 20, Issue 5, pp. 493-497, Springer (2018) |
S.M.J. de Putter and A.J. Wijs
Formal Aspects of Computing, Volume 30, Issue 1, pp. 3-43, Springer (January 2018) |
J.F. Groote, D.N. Jansen, J.J.A. Keiren and A.J. Wijs
ACM Transactions on Computational Logic, Volume 18, Issue 2, pp. 13:1-13:34, ACM Press (June 2017) |
D. Bošnački, S. Edelkamp, A. Lluch-Lafuente and A.J. Wijs
Science of Computer Programming, Volume 130, pp. 1, Elsevier (November 2016) |
A.J. Wijs, J.-P. Katoen and D. Bošnački
Formal Methods in System Design, Volume 48, Issue 3, pp. 274-300, Springer (2016) |
A.J. Wijs and D. Bošnački
International Journal on Software Tools for Technology Transfer, Volume 18, Issue 2, pp. 169-185, Springer (2016) |
R. Mateescu and A.J. Wijs
Science of Computer Programming, Volume 96, Issue 3, pp. 354-376, Elsevier (December 2014) |
D. Bošnački, M.R. Odenbrett, A.J. Wijs, W.P.A. Ligtenberg and P.A.J. Hilbers
BMC Bioinformatics, Volume 13, Issue 281, BioMed Central Ltd (October 2012) |
R. Mateescu and A.J. Wijs
Science of Computer Programming, Volume 70, Issue 10-11, pp. 1075-1094, Elsevier (September 2012) |
A.J. Wijs and M. Torabi Dashti
Journal of Logic and Algebraic Programming, Volume 81, Issue 1, pp. 46-69, Elsevier (January 2012) |
International Journal on Software Tools for Technology Transfer, Volume 13, Issue 1, pp. 21-35, Springer (January 2011) |
D. Bošnački, W.P.A. Ligtenberg, M.R. Odenbrett, A.J. Wijs and P.A.J. Hilbers
Mathematica Macedonica, Volume 8, Issue 1, pp. 95-106, Institute of Mathematics, Macedonia (2010) |
A.J. Wijs, J.C. van de Pol and E. Bortnik
International Journal on Software Tools for Technology Transfer, Volume 11, Issue 5, pp. 375-392, Springer (November 2009) |
W.J. Fokkink, J. Pang and A.J. Wijs
Fundamenta Informaticae, Volume 87, Issues 3 and 4, pp. 287-311, IOS Press (November 2008) |
L.B. van den Haak, A.J. Wijs, M. Huisman and M.G.J. van den Brand
in Proc. 29th International Conference on Formal Methods for Industrial Critical Systems (FMICS'24), Milan, Italy, volume ?? of Lecture Notes in Computer Science, pp. ??-??, Springer (2024) |
J. Martens and A.J. Wijs
in Proc. 15th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'24), Reykjavik, Iceland, volume ?? of Electronic Proceedings in Theoretical Computer Science, pp. ??-??, Open Publishing Association (2024) |
S. Hegeman, D. Wöltgens, A.J. Wijs and A. Laarman
in Proc. 30th International European Conference on Parallel and Distributed Computing (Euro-Par'24), Madrid, Spain, volume ?? of Lecture Notes in Computer Science, pp. ??-??, Springer (2024) |
P. Herber and A.J. Wijs (editors)
Leiden, The Netherlands, volume 14300 of Lecture Notes in Computer Science, Springer (2024) |
A.J. Wijs
in Proc. 19th International Conference on Formal Aspects of Component Software (FACS'23), online, volume 14485 of Lecture Notes in Computer Science, pp. 206-227, Springer (2023) |
A.J. Wijs and M. Osama
in Proc. 29th International Symposium on Model Checking of Software (SPIN'23), Paris, France, volume 13872 of Lecture Notes in Computer Science, pp. 188-197, Springer (2023) |
R. Chaki and A.J. Wijs
in Proc. 19th International Conference on Formal Aspects of Component Software (FACS'22), Online, volume 13712 of Lecture Notes in Computer Science, pp. 39-58, Springer (2022) |
G. Salaün and A.J. Wijs (editors)
online, volume 13077 of Lecture Notes in Computer Science, Springer (2021) |
M. Osama and A.J. Wijs
in Proc. 33rd International Conference on Computer-Aided Verification (CAV'21), Part II, online, volume 12760 of Lecture Notes in Computer Science, pp. 447-460, Springer (2021) |
M. Osama and A.J. Wijs
in Proc. 32nd International Conference on Tools with Artificial Intelligence (ICTAI'20), online, pp. 161-169, IEEE (2020) |
S.M.J. de Putter and A.J. Wijs
in Proc. 16th International Conference on integrated Formal Methods, online, volume 12546 of Lecture Notes in Computer Science, pp. 297-317, Springer (2020) |
M. Huisman and A.J. Wijs
in Proc. 22nd Workshop on Formal Techniques for Java-like Programs, online, pp. 10-14, ACM (2020) |
M. Osama and A.J. Wijs
in Proc. 15th International Conference on integrated Formal Methods (iFM'19), Bergen, Norway, volume 11918 of Lecture Notes in Computer Science, pp. 514-522, Springer (2019) |
S.M.J. de Putter and A.J. Wijs
in Proc. 22nd International Symposium on Formal Methods (FM'18), Oxford, UK, volume 10951 of Lecture Notes in Computer Science, pp. 485-504, Springer (2018) |
A.J. Wijs, T. Neele and D. Bošnački
in Proc. 21st International Symposium on Formal Methods (FM'16), Limassol, Cyprus, volume 9995 of Lecture Notes in Computer Science, pp. 694-701, Springer (2016) |
D. Bošnački and A.J. Wijs (editors)
Co-located with ETAPS 2016, Eindhoven, The Netherlands, volume 9641 of Lecture Notes in Computer Science, Springer (2016) |
A.J. Wijs
in Proc. 28th International Conference on Computer Aided Verification (CAV'16), Part II, Toronto, Canada, volume 9780 of Lecture Notes in Computer Science, pp. 472-493, Springer (2016) |
A.J. Wijs
in Proc. 1st Graphs as Models Workshop (GaM'15), London, UK, volume 181 of Electronic Proceedings in Theoretical Computer Science, pp. 1-15, Open Publishing Association (2015) |
A. Laarman and A.J. Wijs
in Proc. 10th Haifa Verification Conference (HVC'14), Haifa, Israel, volume 8855 of Lecture Notes in Computer Science, pp. 267-283, Springer (2014) |
D. Bošnački, S. Edelkamp, A. Lluch Lafuente, and A.J. Wijs (editors)
Grenoble, France, volume 159 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association (2014) |
A.J. Wijs and L.J.P. Engelen
in Proc. 6th NASA Formal Methods Symposium (NFM'14), Houston, Texas, USA, volume 8430 of Lecture Notes in Computer Science, pp. 258-263, Springer (2014) |
A.J. Wijs, D. Bošnački, and S. Edelkamp (editors)
Rome, Italy, volume 138 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association (2013) |
A.J. Wijs
in Proc. 10th International Symposium on Formal Aspects of Component Software (FACS'13), Nanchang, China, volume 8348 of Lecture Notes in Computer Science, pp. 348-368, Springer (2013) |
A.J. Wijs, D. Bošnački, and S. Edelkamp (editors)
Tallinn, Estonia, volume 99 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association (2012) |
A.J. Wijs and L.J.P. Engelen
in Proc. 9th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa'12), Innsbruck, Austria, pp. 29-34, ACM Press (2012) |
A.J. Wijs
in Proc. 3rd NASA Formal Methods Symposium (NFM'11), Pasadena, California, volume 6617 of Lecture Notes in Computer Science, pp. 422-437, Springer (2011) |
D. Bošnački, S. Edelkamp, D. Sulewski, and A.J. Wijs
in Proc. joint HiBi/PDMC Workshop (HiBi/PDMC'10), Enschede, pp. 17-19, IEEE Computer Society Press (2010) |
A.J. Wijs
in Proc. 12th Conference on Engineering of Complex Computer Systems (ICECCS'07), Auckland, pp. 35-44, IEEE Computer Society Press (July 2007) |
W.J. Fokkink, M. Torabi Dashti and A.J. Wijs
in (R. Focardi, ed.) Proc. 7th IFIP Workshop on Issues in the Theory of Security (WITS'07), Braga, pp. 178-193 (March 2007) |
A.J. Wijs and B. Lisser
in Proc. 4th Workshop on Model Checking and Artificial Intelligence (MoChArt'06), volume 4428 of Lecture Notes in Artificial Intelligence, pp. 165-182, Springer (2007) |
A.J. Wijs, J.C. van de Pol and E. Bortnik
in Proc. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05), Lisbon, pp. 54-61, ACM Press (September 2005) |
A.J. Wijs and W.J. Fokkink
in Proc. 10th Conference on Engineering of Complex Computer Systems (ICECCS'05), Shanghai, pp. 184-193, IEEE Computer Society Press (June 2005) |
A.J. Wijs
in Proc. Nijmegen Student Conference on Computing Science - 2001: An E-commerce Odyssey (NSCCS'01), Nijmegen, pp. 325-347 (February 2001) |
L.B. van den Haak, A.J. Wijs, M. Huisman and M.G.J. van den Brand
arXiv, 2401.10778, 2024 |
J. van Eerd, J.F. Groote, P. Hijma, J. Martens and A.J. Wijs
arXiv, 2009.07174, 2020 |
D.N. Jansen and J.F. Groote and J.J.A. Keiren and A.J. Wijs
Technical Report published at the Eindhoven University of Technology, department of Mathematics and Computer Science, CS-Report 19-03, 2019 |
M. Huisman and A.L. Varbanescu and B. van Werkhoven and A.J. Wijs
Whitepaper, 2019 |
J.F. Groote and A.J. Wijs
Technical Report published at the Eindhoven University of Technology, department of Mathematics and Computer Science, CS-Report 15-06, 2015 |
L.J.P. Engelen and A.J. Wijs
Technical Report published at the Eindhoven University of Technology, department of Mathematics and Computer Science, CS-Report 12-08, 2012 |
R. Mateescu and A.J. Wijs
Technical Report published at INRIA Rhône Alpes, VASY Group, RR-7690, 2011 |
R. Mateescu and A.J. Wijs
Technical Report published at INRIA Rhône Alpes, VASY Group, RR-7000, 2009 |
M. Torabi Dashti and A.J. Wijs
Technical Report published at CWI, Software Engineering Group 2, SEN-R0610, ISSN 1386-369X, 2006 |
A.J. Wijs, J.C. van de Pol and E. Bortnik
Technical Report published at CWI, Software Engineering Group 2, SEN-R0608, ISSN 1386-369X, 2006 |
A.J. Wijs and W.J. Fokkink
Technical Report published at CWI, Software Engineering Group 2, SEN-R0420, ISSN 1386-369X, 2004 |
M. Osama Mahmoud
Technische Universiteit Eindhoven, Faculteit Wiskunde en Informatica, ISBN 978-90-386-5445-4, IPA Dissertation Series 2022-2, defended on 10 March 2022 |
S.M.J. de Putter
Technische Universiteit Eindhoven, Faculteit Wiskunde en Informatica, ISBN 978-90-386-4678-7, IPA Dissertation Series 2018-21, defended on 28 January 2019 |
A.J. Wijs
Vrije Universiteit Amsterdam, Faculteit der Exacte Wetenschappen, ISBN 978-90-6464-174-9, IPA Dissertation Series 2007-13, defended on 2 October 2007 |
A.J. Wijs
Master Thesis published at Katholieke Universiteit Nijmegen, Faculteit der Natuurwetenschappen, Wiskunde en Informatica, Nijmeegs Instituut voor Informatica en Informatiekunde, Scriptienummer 506, August 2002 |