Publications

2017

Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos: Using ALF within the CoSTest process for Validation of UML-based Conceptual Schemas. ER Forum/Demos 2017: 257-270

Granda, Maria Fernanda; Condori-Fernández, Nelly; Vos, Tanja EJ; Pastor, Oscar., A Model-Level Mutation Tool to Support the Assessment of the Test Case Quality., In Complexity in Information Systems Development., pp 17-37, 2017, Springer

Esparcia-Alcázar, Anna I; Almenar, Francisco; Rueda, Urko; Vos, Tanja EJ; Download PDFEvolving Rules for Action Selection in Automated Testing via Genetic Programming-A First Approach., proceedings of the European Conference on the Applications of Evolutionary Computation, pp 82-95, 2017, Springer, Cham.

Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor: CoSTest: A Tool for Validation of Requirements at Model Level. RE 2017: 464-467

Alégroth, Emil; Matsuki, Shinsuke; Vos, Tanja EJ; Akemine, Kinji; Download PDFOverview of the ICST International Software Testing Contest. Proceedings of the 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). pp550-551, 2017, IEEE.

Granda, MF; Condori-Fernández, N; Vos, TEJ; Pastor, O., Download PDFEffectiveness Assessment of an Early Testing Technique using Model-Level Mutants., Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, pp 98-107, 2017, ACM.

Vos, Tanja EJ; Aho, Pekka., Download PDFSearching for the Best Test *. In Proceedings of the 10th International Workshop on Search-Based Software Testing (SBST), pp 3-4, 2017, IEEE.

Nico Beierle, Peter M. Kruse, Tanja E. J. Vos:Download PDFGUI-Profiling for Performance and Coverage Analysis. ISSRE Workshops 2017: 28-31

Vos, Tanja E.J. Download PDFZoeken naar fouten. Op weg naar een nieuwe manier om software te testen, ISBN 978 94 92231 53 6 ,Open Universiteit The Netherlands, 2017

Tanja E. J. Vos, Sigrid Eldh, Wishnu Prasetya: Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017. ACM 2017, ISBN 978-1-4503-5155-3

2016

Granda, M. F., Condori-Fernández, N., Vos, T. E., & Pastor, O. (2016, June).Download PDF Mutation Operators for UML Class Diagrams. In International Conference on Advanced Information Systems Engineering (pp. 325-341). Springer International Publishing.

Rueda, U., Just, R., Galeotti, J. P., & Vos, T. E. (2016, May).Download PDFUnit testing tool competition: round four. In Proceedings of the 9th International Workshop on Search-Based Software Testing (pp. 19-28). ACM.

Granda, M.F., Condori-Fernández, N., Vos, T.E.J., & Pastor O. (2016).Download PDFA Model-level Mutation Tool to Support the Assessment of the Test Case Quality. In J. Gołuchowski, M. Pańkowska, C. Barry, M. Lang, H. Linger, & C. Schneider (Eds.), Information Systems Development: Complexity in Information Systems Development (ISD2016 Proceedings). Katowice, Poland: University of Economics in Katowice. ISBN: 978-83-7875-307-0.

Martinez, M., Esparcia, A. I., Rueda, U., Vos, T. E., & Ortega, C. (2016, October). Download PDFAutomated Localisation Testing in Industry with Test*. In IFIP International Conference on Testing Software and Systems (pp. 241-248). Springer International Publishing.

Tanja E. J. Vos, Anna Esparcia-Alcázar: Download PDFSoftware Testing Innovation Alliance – the SHIP project -. STAF European Project Symposium, Showcase 2016: pp 65-71.

Anna Esparcia-Alcazar, Francisco Almenar, Mirella Martinez, Urko Rueda, Tanja Vos:Download PDF Q-learning strategies for action selection in the TESTAR automated testing tool. , Proceedings of the 6TH INTERNATIONAL CONFERENCE ON METAHEURISTICS AND NATURE INSPIRED COMPUTING, META’2016, MARRAKECH (MOROCCO), 2016.

Tanja E.J. Vos, Urko Rueda, Wishnu Prasetya: Download PDFAutomated Testing at the User Interface level. ICT open 2016, poster Dutch ICT-research, 2016.

Urko Rueda, Anna I. Esparcia-Alcazar and Tanja E.J. Vos: Download PDFVisualization of automated test results obtained by the TESTAR tool. Proceedings of the XIX Ibero-American Conference on Software Engineering (CIBSE 2016)

 

2015

Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya: Unit Testing Tool Competition – Round Three. SBST@ICSE 2015: 19-24

Tanja E. J. Vos, Peter M. Kruse, Nelly Condori-Fernández, Sebastian Bauersfeld, Joachim Wegener: TESTAR: Tool Support for Test Automation at the User Interface Level. IJISMD 6(3): 46-83 (2015)

Maria Fernanda Granda, Nelly Condori-Fernández, Tanja E. J. Vos, Oscar Pastor: What do we know about the defect types detected in conceptual models? RCIS 2015: 88-99

Alexander Elyasov, W. Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernández: AB=ᗺA: execution equivalence as a new type of testing oracle. SAC 2015: 1559-1566

Urko Rueda, Tanja E.J. Vos, Francisco Almenar, Mirella Oreto and Anna Esparcia, TESTAR – Automated User Interface Testing Tool for Industry Adoption.,XX Jornadas de Ingeniería del Software y Bases de Datos, JISBD, Santander, España, 2015.

 

2014

S. Bauersfeld, Tanja E. J. Vos, Nelly Condori-Fernandez, Alessandra Bagnato, and Etienne Brosse. 2014. Evaluating the TESTAR tool in an industrial case study. In Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM ’14).

S. Bauersfeld, A. de Rojas, and T. E. J. Vos. Evaluating rogue user testing in industry: an experience report. In Proceedings of 8th International Conference RCIS. IEEE, 2014, ISBN 978-1-4799-2393-9.

Peter M Kruse, Onn Shehory, Daniel Citron, Nelly Condori Fernandez, Tanja E J Vos, Bilha Mendelson., Assessing the Applicability of a Combinatorial Testing tool within an Industrial Environment. In proceedings of the 11th Workshop on Experimental Software Engineering (ESELAW 2014) with CIbSE in Pucon, Chile.

Tanja E. J. Vos, Paolo Tonella, Wishnu Prasetya, Peter M. Kruse, Alessandra Bagnato, Mark Harman, Onn Shehory: FITTEST: A new continuous and automated testing process for future Internet applications. CSMR-WCRE 2014: 407-410

Tanja E. J. Vos, Kiran Lakhotia, Sebastian Bauersfeld (Eds.): Future Internet Testing – Proceedings of the First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers. LNCS 8432, Springer 2014, ISBN 978-3-319-07784-0

Tanja E. J. Vos, Test Automation at the User Interface Level, SATToSE 2014 – pre-proceedings, Advanced Techniques and Tools for Software Evolution, Vadim Zaytsev (ed), p. 5, 2014.

 

2013

Nelly Condori-Fernández, José Ignacio Panach, Arthur I. Baars, Tanja E. J. Vos, and Oscar Pastor. An empirical approach for evaluating the usability of model-driven tools. Science of Computer Programming, 78(11):2245–2258, 2013.

Peter M. Kruse, Nelly Condori-Fernandez, Tanja E.J. Vos, Alessandra Bagnato, and Etienne Brosse. Combinatorial testing tool learnability in an industrial environment. In Proceedings of the International Symposium on Empirical Software Engineering and Measurement, ESEM 2013, 7-11 Oc- tober 2013, Baltimore, Maryland,USA, pages 304–312. ACM, 2013.

Elisa Puoskari, Tanja E. J. Vos, Nelly Condori-Fernandez, and Peter M. Kruse. Evaluating applicability of combinatorial testing in an industrial environment: A case study. In Proceedings of the International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation (JAMAICA), July 15, Lugano, Switzeland, pages 7–12. ACM, 2013.

Cu D. Nguyen, Bilha Mendelson, Daniel Citron, Onn Shehory, Tanja E.J. Vos, and Nelly Condori-Fernandez. Evaluating the fittest automated testing tools: An industrial case study. In Proceedings of the International Sym- posium on Empirical Software Engineering and Measurement, ESEM 2013, 7-11 October 2013, Baltimore, Maryland,USA, pages 332–339. ACM, 2013.

Tanja E. J. Vos, Felix F. Lindlar, Benjamin Wilmes, Andreas Windisch, Arthur I. Baars, Peter M. Kruse, Hamilton Gross, and Joachim Wegener. Evolutionary functional black-box testing in an industrial setting. Software Quality Journal, 21(2):259–288, 2013.

Simon M. Poulding and Tanja E. J. Vos. Sixth international workshop on search-based software testing (sbst 2013): Workshop summary. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18- 22, pages 404–405. IEEE, 2013.

Nelly Condori-Fernández and Tanja E. J. Vos. Successful empirical research in software testing with industry. In Vicente Pelechano, Gil Regev, and Yves Pigneur, editors, Proceedings of the Industrial Track of the Conference on Advanced Information Systems Engineering 2013 (CAiSE’13), Val`encia, Spain, June 21, CEUR Workshop Proceedings, pages 43–45. CEUR-WS.org, 2013.

Tanja E.J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, and Shmuel Ur. Testing of Future Internet Applications Running in the Cloud., pages 305–321. IGI Global, 2013.

Alessandra Bagnato, Andrey Sadovykh, Etienne Brosse, and Tanja E. J. Vos. The omg uml testing profile in use-an industrial case study for the future internet testing. In Anthony Cleve, Filippo Ricca, and Maura Cerioli, editors, 17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, March 5-8, pages 457–460. IEEE Com- puter Society, 2013.

Maria José Escalona Cuaresma Tanja E. J. Vos, Beatriz Marín. Un marco metodolgico para evaluar tcnicas y herramientas para pruebas del software, volume 224 of Novatica, revista de la asociacin de tecnicos de informatica, pages 41–45. ATI (Asociacin de Tcnicos de Informtica), 2013.

Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding, and Nelly Condori-Fernández. Unit testing tool competition. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Val- idation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, pages 414–420. IEEE, 2013.

Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, and Alain Abran. Using a functional size measurement procedure to evaluate the quality of models in mdd environments. ACM Transactions of Software Engineering Methodology (TOSEM), 22(3):26, 2013.

 

2012

Tanja E. J. Vos, Beatriz Marín, María José Escalona, and Alessandro Marchetto. A methodological framework for evaluating software testing techniques and tools. In 12th International Conference on Quality Software (QSIC), Xi’an, Shaanxi, China, August 27-29, pages 230–239. IEEE, 2012.

Sebastian Bauersfeld and Tanja EJ Vos. A reinforcement learning approach to automated gui robustness testing. In 4th Symposium on Search Based- Software Engineering (SSBSE2012), Fast Abstracts, 28-30 September, Riva del Garda, Trento, Italy, pages 7–12, 2012.

Pedro Soutinho Raul Soriano, Tanja E. J. Vos and David Blunk. Good practices in innovation support measure for smes. In Paul Cunningham and Miriam Cunningham, editors, eChallenges e-2012 Conference Proceedings, pages 409–412. IIMC International Information Management Corporation Ltd, 2012.

Sebastian Bauersfeld and Tanja E. J. Vos. Guitest: a java library for fully automated gui robustness testing. In IEEE/ACM International Conference on Automated Software Engineering, ASE’12, Essen, Germany, September 3-7, 2012, pages 330–333. ACM, 2012.

Armin Biere, Amir Nahir, and Tanja E. J. Vos, editors. Hardware and Software: Verification and Testing – 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, volume 7857 of Lecture Notes in Computer Science. Springer, 2012.

Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Andreas Windisch, Ben- jamin Wilmes, Hamilton Gross, Peter M. Kruse, and Joachim Wegener. Industrial case studies for evaluating search based structural testing. In- ternational Journal of Software Engineering and Knowledge Engineering, 22(8):1123–, 2012.

Tanja E. J. Vos y J. J. Gutierrez M. J. Escalona. Pruebas de software en la enseñanza universitaria de la informtica: un título propio. In Actas XVIII JENUI 2012, Ciudad Real, 10-13 de julio, pages 409–412, 2012.

 

2011

Wishnu Prasetya, J. Amorim, Tanja E. J. Vos, and Arthur I. Baars. Cty: a haskell dsl for specifying and generating combinatoric test-cases. Technical Report UU-CS-2011-005, Department of Information and Computing Sciences, Utrecht University, 2011.

José Ignacio Panach, Nelly Condori-Fernández, Tanja E. J. Vos, Nathalie Aquino, and Francisco Valverde. Early usability measurement in model-driven development: Definition and empirical evaluation. International Journal of Software Engineering and Knowledge Engineering, 21(3):339– 365, 2011.

Tanja E. J. Vos, Beatriz Mar ́ın, Ignacio Panach, Arthur I. Baars, Claudia Ayala, and Xavier Franch. Evaluating software testing techniques and tools. In Actas de XVI JISBD, pages 531–536, 2011.

Tanja E. J. Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, and Yarden Nir-Buchbinder. Future internet testing with fittest. In 15th European Conference on Software Maintenance and Reengineering, CSMR 2011, 1-4 March 2011, Oldenburg, Germany, pages 355–358. IEEE Computer Society, 2011.

Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, and Joachim Wegener. Search–based testing, the underlying engine of future internet testing. In Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki, editors, Feder- ated Conference on Computer Science and Information Systems – FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings, pages 917–923, 2011.

Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, and Tanja E. J. Vos. Symbolic search-based testing. In Perry Alexander, Corina S. Pasareanu, and John G. Hosking, ed- itors, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, pages 53– 62. IEEE, 2011.

Alessandra Bagnato, Anna Esparcia-Alcázar, Tanja E. J. Vos, Beatriz Marín, José Oliver Murillo, Salvador I. Folgado, and Auxiliadora Carlos Alberola. Testing and remote maintenance of real future internet scenarios, towards fittest and fastfix advanced software engineering. In Federated Conference on Computer Science and Information Systems – FedCSIS 2011, Szczecin, Poland, 18-21 September, Proceedings, pages 925–932, 2011.

Download "Towards an experimental framework for measuring usability of model-driven tools"

José Ignacio Panach, Nelly Condori-Ferna ́ndez, Arthur I. Baars, Tanja E. J. Vos, Ignacio Romeu, and Oscar Pastor. Towards an experimental framework for measuring usability of model-driven tools. In Human-Computer Interaction – INTERACT 2011 – 13th IFIP TC 13 International Confer- ence, Lisbon, Portugal, September 5-9, Proceedings, Part IV, volume 6949 of Lecture Notes in Computer Science, pages 640–643. Springer, 2011.

Beatriz Marín, Tanja E. J. Vos, Giovanni Giachetti, Arthur I. Baars, and Paolo Tonella. Towards testing future web applications. In Proceedings of the Fifth IEEE International Conference on Research Challenges in Infor- mation Science, RCIS2011, Gosier, Guadeloupe, France, 19-21 May, pages 1–12. IEEE, 2011.

Wishnu Prasetya, J. Amorim, Tanja E.J. Vos, and Arthur I. Baars. Using haskell to script combinatoric testing of web services. In Proceedings of the 6th Iberian Conference on Information Systems and Technologies (CISTI), 15-18 June, Chaves, Portugal, pages 1–6, 2011.

 

2010

Beatriz Mar ́ın, Giovanni Giachetti, Oscar Pastor, and Tanja E. J. Vos. A tool for automatic defect detection in models used in model-driven engineering. In Fernando Brito e Abreu, Jo ̃ao Pascoal Faria, and Ricardo Jorge Machado, editors, Quality of Information and Communications Technology, 7th International Conference on the Quality of Information and Commu- nications Technology, QUATIC 2010, Porto, Portugal, 29 September – 2 October, 2010, Proceedings, pages 242–247. IEEE Computer Society, 2010.

Tanja E. J. Vos. Continuous evolutionary automated testing for the future internet. ERCIM News, 2010(82):50–51, 2010.

Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, and Alain Abran. Evaluating the usefulness of a functional size measurement procedure to detect defects in mdd models. In Proceedings of the International Symposium on Empirical Software Engineering and Measurement, ESEM 2010, 16-17 September 2010, Bolzano/Bozen, Italy. ACM, 2010.

 

2009

Holger Schlingloff, Tanja E. J. Vos, and Joachim Wegener, editors. Evolutionary Test Generation, number 08351 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2009. Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, Germany.

Tanja E. J. Vos. Evolutionary testing for complex systems. ERCIM News, 2009(78), 2009.

Hamilton Gross, Peter M. Kruse, Joachim Wegener, and Tanja E. J. Vos. Evolutionary white-box software test with the evotest framework: A progress report. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1- 4, 2009, Workshops Proceedings, pages 111–120. IEEE Computer Society, 2009.

 

2008

Wishnu Prasetya and Tanja E. J. Vos. Patterns for in-code algebraic testing. Technical Report UU-CS-2008-037, Department of Information and Computing Sciences, Utrecht University, 2008.

Tanja E.J. Vos and Jorge Sanchez Sanchez. Especificar casos de testeo tan fcilmente como hacer una tortilla espaola, volume 191 of Novatica, revista de la asociacin de tecnicos de informatica, pages 45–50. ATI (Asociacion de Tecnicos de Informatica), 2008.

Tanja E. J. Vos, editor. Proceedings de las V Jornadas sobre el Testeo de Software (JTS2008), 2-4 April, Valencia. Spain., volume 3 of JTS. Editorial Universidad Politecnica de Valencia, 2008.

 

2007

Tanja E.J. Vos. Modelos para la mejora de los procesos de la Ingeniera de Usabilidad, volume 187 of Novatica, revista de la asociacíon de tecnicos de informatica, pages 35–57. ATI (Asociacíon de Técnicos de Informática), 2007.

Tanja E. J. Vos, editor. Proceedings de las IV Jornadas sobre el Testeo de Software (JTS2007), 2-4 May, Valencia. Spain., volume 2 of JTS. Editorial Universidad Politecnica de Valencia, 2007.

Wishnu Prasetya, Tanja E.J. Vos, and Arthir I. Baars. Trace-based reflexive testing of oo programs. Technical Report UU-CS-2007-037, Department of Information and Computing Sciences, Utrecht University, 2007.

 

2006

Mark de Gids and Tanja Vos. Tales about a small software testing bridge from academy to smes. In Proceedings of the 2006 International Workshop on Summit on Software Engineering Education, SSEE ’06, pages 17–20, New York, NY, USA, 2006. ACM.

Tanja E. J. Vos, editor. Proceedings de las III Jornadas sobre el Testeo de Software (JTS2006), 8-9 May, Valencia. Spain., volume 1 of JTS. Editorial Universidad Politecnica de Valencia, 2006.

Wishnu Prasetya, A. Azurat, Tanja E. J. Vos, and Arthur van Leeuwen. Incremental implementation of syntax driven logics. JSW, 1(3):1–13, 2006.

Wishnu Prasetya, Tanja E. J. Vos, and S. Doaitse Swierstra. Web cube. In Elie Najm, Jean-Fran ̧cois Pradat-Peyre, and Véronique Donzeau-Gouge, ed- itors, Formal Techniques for Networked and Distributed Systems – FORTE2006, 26th IFIP WG 6.1 International Conference, Paris, France, Septem- ber 26-29, volume 4229 of Lecture Notes in Computer Science, pages 77–92. Springer, 2006.

 

2005

Tanja E. J. Vos and S. Doaitse Swierstra. Facilitating the verification of diffusing computations and their applications. CLEI Electron. J., 8(1), 2005.

Wishnu Prasetya, Ade Azurat, Tanja E. J. Vos, and Arthur van Leeuwen. Building verification condition generators by compositional extensions. In Bernhard K. Aichernig and Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pages 220–230. IEEE Com- puter Society, 2005.

Wishnu Prasetya, Tanja E. J. Vos, Ade Azurat, and S. Doaitse Swierstra. A unity-based framework towards component based systems. In Teruo Hi- gashino, editor, Principles of Distributed Systems, 8th International Con- ference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, volume 3544 of Lecture Notes in Computer Science, pages 52–66. Springer, 2005.

A. Azurat, Wishnu Prasetya, Tanja E.J. Vos, H. Suhartanto, B. Widjaja, L. Y. Stefanus, R. Wenang, S. Aminah, and J. Bong. Towards automated verification of database scripts. In Proceedings of 18th International Confer- ence on Theorem Proving in Higher Order Logics (Track Emerging Trends), pages 1–13, 2005.

Wishnu Prasetya, A. Azurat, Tanja E.J. Vos, A. van Leeuwen, and H. Suhartanto. Theorem prover supported logics for small imperative languages. Technical Report UU-CS-2005-046, Department of Information and Computing Sciences, Utrecht University, 2005.

Wishnu Prasetya, Tanja E.J. Vos, S. Doaitse Swierstra, and B. Widjaja. Web cube: a programming model for reliable web applications. Technical Report UU-CS-2005-002, Department of Information and Computing Sciences, Utrecht University, 2005.

 

2004

Wishnu Prasetya, A. Azurat, and Tanja E.J. Vos. Building verification condition generators by compositional extensions. Technical Report UU-CS-2004-054, Department of Information and Computing Sciences, Utrecht University, 2004.

 

2003

I. S. W. B. Prasetya, Tanja E.J. Vos, S. D. Swierstra, and B. Widjaja. A theory for composing distributed components, based on mutual exclusion. In Proceedings of the Workshop on Formal Aspects of Component Software (FACS), September 8-9, Pisa, Italy., 2003.

Wishnu Prasetya, Tanja E.J. Vos, A. Azurat, and S. Doaitse Swierstra. A unity-based framework towards component based systems. Technical Report UU-CS-2003-043, Department of Information and Computing Sciences, Utrecht University, 2003.

Wishnu Prasetya, Tanja E.J. Vos, A. Azurat, and S. Doaitse Swierstra. !unity: A hol theory of general unity. In Proceedings of 16th International Conference on Theorem Proving in Higher Order Logics (Track Emerging Trends), pages 159–176, 2003.

 

2002

Tanja E.J. Vos and S Doaitse Swierstra. Inductive data types with negative occurrences in hol. Informal proceedings of the Thirty Five Years of Automath workshop, 2002.

Tanja E. J. Vos and S. D. Swierstra. Yet another program refinement rela- tion (extended abstract). International Workshop on Refinement of Criti- cal Systems: Methods, Tools and Experience, (RCS’02), Grenoble, France, January, 2002.

Wishnu Prasetya, Tanja E.J. Vos, A. Azurat, and S. Doaitse Swierstra. !unity: A theory of general unity. Technical Report UU-CS-2002-025, De- partment of Information and Computing Sciences, Utrecht University, 2002.

 

2001

Tanja E.J. Vos and S. Doaitse Swierstra. Program refinement in unity. Technical Report UU-CS-2001-41, Department of Information and Computing Sciences, Utrecht University, 2001.

Tanja E.J. Vos and S. Doaitse Swierstra. Proving distributed hylomorphisms. Technical Report UU-CS-2001-40, Department of Information and Computing Sciences, Utrecht University, 2001.

 

2000

Tanja E.J. Vos and S. Doaitse Swierstra. Sequential program composition in unity. Technical Report UU-CS-2000-10, Department of Information and Computing Sciences, Utrecht University, 2000.

Tanja E.J. Vos and S. Doaitse Swierstra. Defining a non-concrete recursive type in hol which includes sets. Technical Report UU-CS-2000-09, Depart- ment of Information and Computing Sciences, Utrecht University, 2000.

Tanja E.J. Vos and S. Doaitse Swierstra. Sequential program composition in UNITY. Technical Report UCAM-CL-TR-487, University of Cam- bridge, Computer Laboratory, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom, March 2000.

Tanja E. J. Vos. Download PDFUNITY in Diversity – a stratified approach to the verification of distributed algorithms. PhD thesis at the Universiteit van Utrecht, The Netherlands. ISBN 90-393-2316, 2000.

 

<2000

Tanja E. J. Vos and S. Doaitse Swierstra. Make your enemies transparent. In Rolf H. Mohring, editor, Graph-Theoretic Concepts in Computer Science, 23rd International Workshop, WG ’97, Berlin, Germany, June 18-20, 1997, Proceedings, volume 1335 of Lecture Notes in Computer Science, pages 342– 353. Springer, 1997.

Tanja E.J. Vos, S. Doaitse Swierstra, and Wishnu Prasetya. Formal methods and mechanical verification applied to the development of a convergent distributed sorting program. Technical Report UU-CS-1996-37, Department of Information and Computing Sciences, Utrecht University, 1996.

Tanja E. J. Vos. Program construction and generation based on recursive data types, Philips Research, information and software technology, Eind- hoven, The Netherlands. master thesis number RWB-510-ir-95016, 1995.

More

Tanja E.J. Vos

This message is only visible to admins.

Problem displaying Facebook posts.
Click to show error

Error: Error validating access token: The session has been invalidated because the user changed their password or Facebook has changed the session for security reasons.
Type: OAuthException
Subcode: 460
More

SHIP (2015-2016)

The Innovation Alliance Project will strengthen the knowledge triangle, building sustainable collaborative relationships between universities, SMEs and innovation support organizations.

It responds to the problem of increasing fragmentation in the field of innovation promotion, especially the dislocation between those who generate knowledge that could spur innovation (HEIs), and those who can translate that knowledge into marketable strategies and use it to produce economic growth (SMEs). Since the SME sector accounts for 99% of all businesses, provides two thirds of private sector jobs and contributes more than half of the total value-added created by businesses in the EU, the implementation of greater innovation in SMEs in an effective and cost –efficient way is vital to fulfilling not only Europe’s economic objectives, but also those of a more equal and productive society with higher social and economic integration.

To achieve its goals, our project entails:

  • Development of 4 Innovation Alliances in 5 countries (Ireland + UK, Germany, Spain, Romania).
  • In Spain we will have the SPANISH SOFTWARE TESTING INNOVATION ALLIANCE
  • The development, piloting, publishing and promotion of open access, digital learning resource for European SMEs, training them in the specific skills needed for engaging in innovation transfer with HEIs and Horizon 2020 projects
  • The development, piloting, publishing and promotion of a multimedia Comparative Study and Case Study Guide for Innovation Transfer presenting effective and cost effective solutions for transmitting HEI research to SME context
  • The project will consolidate cooperation as a key feature of the knowledge economy, reshaping traditional roles by multiplying outlets for HEIs to generate direct economic impact from their work, and breaking down barriers so that SMEs of all shapes and sizes can actively implement academic-based innovation to boost their own competitiveness, and that of the wider economy.

http://www.innovationalliance.eu

More

MODERN: Mobile and Digital E-learning Toolkit

Reference: 2015-1-UK01-KA202-013569

Duration: September 2015 – September 2017

Project coordinator: Canice Consulting

Web: http://www.modern.pm/

Partners:

1. UNIVERSITAT POLITECNICA DE VALENCIA (SP);

2. EUROPEAN UNIVERSITIES CONTINUING EDUCATION NETWORK (SP);

3. Momentum Marketing Services Ltd (IE);

4. UNIWERSYTET SZCZECINSKI (PL);

5. EfVET (NL)

Summary:

The objectives of MODERN are:

  • Carry out an Audit of Digital and Interactive learning resources to
    present and categorise the range of resources currently available and
    analyse the pedagogic strengths and weaknesses of the 20 most promising
    resources.
  • Create, publish and promote the MODERN Tool kit providing practical
    guidance and tools for educators wishing to incorporate digital
    elearning resources with highest potential into their daily teaching
    strategies, featuring the 20 best.
  • Develop a short e-learning course to motivate/guide educators to
    pursue more innovative pedagogic strategies using mobile and digital
    elearning resources. Uniquely, each module of the course will be taught
    using a different platform, thus integrating learning outcomes with the
    delivery mechanism.
  • Test, publish and strongly promote the course, to facilitate its
    mainstreaming as a part of professional training in VET and HEI
    institutions.
  • More

    PERTEST – Pruebas de la persistencia de datos y perspectiva de usuario bajo nuevos paradigmas

    Referencia: TIN2013-46928-C3-1-R

    Coordinador: Javier Tuya (Universidad de OViedo)

    Resumen:

    El propósito es concebir soluciones y tecnologías innovadoras para la
    mejora de los procesos de pruebas de las aplicaciones que utilizan
    nuevos paradigmas de persistencia de datos y la interacción con el
    usuario. Este proyecto forma parte del proyecto coordinado PRESI:
    Tecnologías de pruebas y de gestión de la estrategia para los retos de
    la Internet del Futuro coordinado por este grupo y constituido por tres
    subproyectos que totalizan 35 investigadores.

    More

    Innovative Trainer (Leonardo 2012-1-GB2-LEO05-07860)

    Project Name: Innovative Trainer

    Reference: 510432-LLP-1-2010-IE-ERASMUS

    Duration: November 2012 – November 2014

    Project coordinator: Newry and Mourne Enterprise Agency – United Kingdom

    Web: http://www.innovativetrainer.eu/

    Partners:

    • Newry and Mourne Enterprise Agency – United Kingdom
    • Louth County Enterprise Board – Ireland
    • Universitatea POLITEHNICA din Bucuresti – Romania
    • Canice Consulting – United Kingdom
    • National Enterprise Network – United Kingdom
    • Mindshare – France
    • European Business and Innovation Network – Belgium
    • Universidad Politécnica de Valencia – Spain
    • National Enterprise Network – United Kingdom

    Summary

     

     

    Innovative Trainer (IT) will increase the capacity of Business Trainers and Mentors (BTMs) to support SMEs throughout Europe by developing a “Train the Trainer” blended learning training resource on non-technological innovation. By updating their skills, BTMs will be better placed to provide guidance on how to innovate to small businesses, better adapting their services to changing business beneficiary groups & sectors and ultimately improving the innovation performance and growth of the enterprises they serve.

    The justification for the project is clear: SMEs are crucial to Europe’s future prosperity and are essential in attaining the goal of “a sustainable economy based on knowledge and innovation”. Alongside improving the institutional framework for business, BTMs are Europe’s key players in developing innovation and growth within SMEs, and do so via range of public and private bodies.

    However, this project is based on the premise that while good BTM practice exists, their potential ability to notably impact on SME performance is not being fully exploited. There is a lack of awareness on the important role of BTMs, not just as business experts, but as business educators.

    IT therefore seeks to increase the contribution of BTMs as change agents who facilitate the uptake of innovation & growth within their SME clients. Firstly, the project will raise the quality of training available to them, by carrying out a Baseline Audit then developing an innovative training resource which blends classroom based real life learning & interaction, with online course content. The training goal is not only to teach the knowledge they require to provide expert, personalized assistance, but to improve their performance as mentors & teachers. This in turn will have a significant impact of the survival & growth rates of the start-up and early stage businesses they work with.

    ITs strength lies in the way in which the innovation of the existing resources will be combined the experience of 8 project partners, including Representative Bodies, Innovation Specialists & dedicated VET organizations, from 6 countries. All of the partners have collaborated previously on training initiatives and have specific VET expertise.

    As a result of the project, BTMs & VET organizations will have an online & DVD resource pack for use both as “Train the Trainer” and directly with start-up & early stage SMEs. High uptake will be ensured firstly by the careful composition of the partnership itself, but also through the implementation of a charismatic marketing and exploitation campaign.

    In the longer term, through the increased innovation skills brought about through usage of the IT products, more businesses will survive & grow at a higher rate than would have been the case. Secondly, through links to policy makers & VET practitioners, these sectors will be more attuned to the changing needs of SMEs & better motivated & equipped to provide on-going services at the appropriate level.

    More

    SUPORT (ERASMUS 510432-LLP-1-2010)

    Project Name: SME University Partnership – Online Resource & Training (SUPORT)

    Reference: 510432-LLP-1-2010-IE-ERASMUS

    Duration: November 2010 – November 2012

    Project coordinator: Louth Country Enterpirse Board

    Web: not yet

    Partners:

    • Louth Country Enterpirse Board, Ireland
    • Canice Consulting, United Kingdom
    • Fraunhofer, Germany
    • Mindshare Consulting, France
    • Martin-Luther-Universität Halle-Wittenberg, Germany
    • Universidad Politecnica de Valencia, Spain
    • Northern Chamber, Poland
    • Newry & Mourne Enterpirse Agency, Northern Ireland

    Summary

    The aim of SUPORT is clear: to enable SMEs to break down the barriers to the research that exists within Universities. The premise for the SUPORT project is simple; much research has been conducted in Universities and research organizations. One of three things happens to this research:

    1. Campus company is set up to exploit
    2. IP is sold/leased/licensed to a company, usually large (Siemens, Nokia etc) to exploit
    3. Grows mouldy on the shelf.

    SME owners have needs of new: Technology, Products, Methods, patents etc. yet the typically have no experience or knowledge of the university sector, and consequently will never access the technology at 3) above.

    The SUPORT project will layout in a basic roadmap the approach that universities follow when researching (what they research, how they research, why they research and finally what happens to it) so that ‘outsiders’ (like SMEs) can understand the process. The next stage is to develop workshops that teach SMEs the above (How, why, what etc) and then develop workshop material that will teach them how to access the innovation framework that exists within universities. (ie how to deal with patents, licensing, partnerships etc).

    The objective is to give the SME an understanding about what universitiy research departments do, what makes the universities “tick” and how to access that research for the benefit of the SME.

    More