prof.dr.ir. L.M.G. (Loe) Feijs - Publications

Feijs, prof.dr.ir. L.M.G.
Address :
Technische Universiteit Eindhoven
P.O. Box 513
5600 MB EINDHOVEN
Chair :
Industrial Design of Inbedded Systems
Department :
Department of Industrial Design
Section :
Designed Intelligence
Positioncategory :
Professor (HGL)
Position :
Full Professor
Room :
LG 1.78
Tel :
+31 40-247 5360
Tel (internal) :
5360
Tel (inh internal) :
4681
Email :
l.m.g.feijs@tue.nl

Publications

Article

Scientific peer reviewed
2016
2014
2013
2012
2011
2010
2009
2008
2007
2003
2002
2001
2000
1999
1998
1997
Professional
2000
Scientific not peer reviewed
2006

Chapter

Scientific peer reviewed
2015
2013
2012
2011
2010
2008
1996
Scientific not peer reviewed
2012
2011
2010
2009
2006
Professional
1995

Conference contribution

Scientific peer reviewed
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
  • Bakker, S., Vlist, van der, B.J.J., van de Westelaken, H.F.M., Feijs, L.M.G. & Ahn, R.M.C. (2007). The Crawler. In S. Kyffin & L.M.G. Feijs (Eds.), Proceedings of the 3rd European Workshop on Design and Semantics of Form and Movement (DeSForM 2007) 12-13 December 2007, Newcastle-upon-Tyne, United Kingdom (pp. 181-181). S.l.: Koninklijke Philips NV.

  • Feijs, L.M.G. & Barakova, E.I. (2007). Semantics through embodiment: a non-linear dynamics approach to affective design. In S. Kyffin & L.M.G. Feijs (Eds.), Proceedings of the 3rd European Workshop on Design and Semantics of Form and Movement (DeSForM 2007) 12-13 December 2007, Newcastle-upon-Tyne, United Kingdom (pp. 108-116). S.l.: Koninklijke Philips NV.

  • Hu, J., Ross, P.R., Feijs, L.M.G. & Qian, Y. (2007). UML in action : integrating formal methods in industrial design education. In K.C. Hui, R.C. Chung & Z. Pan (Eds.), Proceedings of the second international conference on Technologies for E-learning and digital entertainment (Edutainment 2007) 11-13 June 2007, Hong Kong, China (pp. 489-498). (Lecture Notes in Computer Science, No. 4469). Berlin: Springer. In Scopus Cited 5 times.

  • van Aart, J., Klaver, E.R.G., Bartneck, C., Feijs, L.M.G. & Peters, P.J.F. (2007). Neurofeedback Gaming for Wellbeing. In A. Nijholt & D. Tan (Eds.), Proceedings of the International Conference on Advances in Computer Entertainment Technology: Brainplay 2007 Playing With Your Brain Brain-Computer Interfaces and Games Workshop at Advances in Computer Entertainment (ACE), 13-15 June 2007, Salzburg (pp. 3-5).

  • Verbeek, J.T.A.A., Bouwstra, S., Wessels, A., Feijs, L.M.G. & Ahn, R.M.C. (2007). Johnny Q. In S. Kyffin & L.M.G. Feijs (Eds.), Proceedings of the 3rd European Workshop on Design and Semantics of Form and Movement (DeSForM 2007) 12-13 December 2007, Newcastle-upon-Tyne, United Kingdom (pp. 182-183). S.l.: Koninklijke Philips NV.

2006
2005
2004
2003
2002
2001
2000
1999
  • Belinfante, A., Feenstra, J., Vries, de, R., Tretmans, J., Goga, N., Feijs, L.M.G., Mauw, S. & Heerink, L. (1999). Formal test automation : a simple experiment. In S. Dibuz, G. Csopaki & K. Tarnay (Eds.), Testing of Communicating Systems, Methods and Applications (Proceedings IFI TC6 12th International Workshop, Budapest, Hungary, September 1-3, 1999) (pp. 179-196). (IFIP Conference Proceedings, No. 147). Dordrecht: Kluwer.

  • Engels, A.G., Feijs, L.M.G. & Mauw, S. (1999). MSC and data : dynamic variables. In Y. Lahav, G. Bochmann, von & R. Dssouli (Eds.), SDL'99, The Next Millennium (Proceedings 9th SDL Forum, Montreal, Quebec, Canada, June 21-25, 1999) (pp. 105-120). Elsevier Science B.V..

  • Feijs, L.M.G. (1999). Modelling microsoft COM using π-calculus. In J.M. Wing, J. Woodcock & J. Davies (Eds.), FM'99 - Formal Methods (Proceedings World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999), volume II (pp. 1343-1363). (Lecture Notes in Computer Science, No. 1709). Berlin: Springer. In Scopus Cited 9 times.

  • Krikhaar, R.L., Feijs, L.M.G., Jong, de, R.P. & Medema, J.P. (1999). Architecture comprehension tools for a PBX System. Proceedings 3rd European Conference on Software Maintenance and Reengineering (CSMR '99, Amsterdam, The Netherlands, March 3-5, 1999) (pp. 31-41). IEEE Computer Society Press. In Scopus Cited 8 times.

1998
  • Feijs, L.M.G. & Mauw, S. (1998). MSC and data. In E. Holz, J. Fischer, A. Wolisz & Y. Lahav (Eds.), SAM'98 (Proceedings of the First Workshop of the SDL Forum Society on SDL and MSC, Berlin, Germany, June 29-July 1, 1998), Informatik-Bericht 104 (pp. 85-96). (Informatik-Bericht). Berlin: Humboldt-Universität zu Berlin.

  • Feijs, L.M.G., Meijs, F.A., Moonen, J.R. & Wamel, van, J.J. (1998). Conformance testing of a multimedia system using PHACT. In N. Yevtushenko & A. Petrenko (Eds.), Testing of Communication Systems (Proceedings of the IFIP TC6 11th International Workshop, IWTCS, Tomsk, Russia, August 31-September 2, 1998) (pp. 193-210). (IFIP Conference Proceedings, No. 131). Dordrecht: Kluwer.

1997
1995
  • Feijs, L.M.G. (1995). Generating FSMs from interworkings. In A.J. Ponse, S.F.M. Vlijmen, van & C. Verhoef (Eds.), Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995) (pp. 387-412). (Computing Science Reports, No. 95-14). Eindhoven: Technische Universiteit Eindhoven.

  • Feijs, L.M.G. & Huizer, M.A. (1995). TSF, a test specification formalism. In A.J. Ponse, S.F.M. Vlijmen, van & C. Verhoef (Eds.), Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995) (pp. 347-365). (Computing Science Reports, No. 95-14). Eindhoven: Technische Universiteit Eindhoven.

1991
  • Bos, van den, R.D., Feijs, L.M.G. & van Ommering, R.C. (1991). POLAR : a picture-oriented language for abstract representations. In J.A. Bergstra & L.M.G. Feijs (Eds.), Algebraic Methods II : Theory, Tools and Applications (Mierlo, The Netherlands, September 1989) (pp. 233-276). (Lecture Notes in Computer Science, No. 490). Springer.

  • Feijs, L.M.G. (1991). Norman's database modularised in COLD-K. In J.A. Bergstra & L.M.G. Feijs (Eds.), Algebraic Methods II : Theory, Tools and Applications (Mierlo, The Netherlands, September 1989) (pp. 200-231). (Lecture Notes in Computer Science, No. 490). Springer.

  • Feijs, L.M.G. (1991). Transformations of designs. In J.A. Bergstra & L.M.G. Feijs (Eds.), Algebraic Methods II : Theory, Tools and Applications (Mierlo, The Netherlands, September 1989) (pp. 167-199). (Lecture Notes in Computer Science, No. 490). Springer.

Scientific not peer reviewed
2016
2011
  • Feijs, L.M.G., Langereis, G.R. & Boxtel, van, G.J.M. (2011). Alternative presentations of HRV feedback. Presentation at the 15th Annual Meeting of de Biofeedback Foundation of Europe, 22-26 Februari 2011, Muenchen, Germany (pp. 290-290). (Applied Psychophysiology and Biofeedback, No. 36).

2009
2005
2003
2002
2001
2000
  • Vranken, H.P.E., Garcia, T., Mauw, S. & Feijs, L.M.G. (2000). IC design validation using Message Sequence Charts. In 0 geen (Ed.), 26th Euromicro Conference (Maastricht, The Netherlands, September 5-7, 2000; DSD'2000), Volume I (pp. 122-127). IEEE Computer Society Press. In Scopus Cited 0 times.

  • Vries, de, R., Tretmans, J., Belinfante, A., Feenstra, J., Feijs, L.M.G., Mauw, S., Goga, N., Heerink, L. & Heer, de, Arjan (2000). Côte de Resyste in Progress. In J.P. Veen (Ed.), Proceedings of the 1st PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 13, 2000), Revised Edition (pp. 157-164). Utrecht: STW Technology Foundation.

Paper

Scientific
Other research output

Poster

Other research output

Abstract

Other research output

Patent

Other research output
2013
2010

Book

Scientific
1991

Book editing

Scientific peer reviewed
2013
2012
2010
2009
2008
2005
  • L.M.G. Feijs, S.H.M. Kyffin & B. Young (Eds.) (2005). Design and semantics of form and movement. (Design and semantics of form and movement, DeSForM, No. 1). Eindhoven: Koninklijke Philips Electronics, 136 pp.

Scientific not peer reviewed
2008
2006
2001
Popular
2007

Report

Scientific
2002
1997
1996
1995

Inaugural speech

Other research output
1996

Design

Other research output
2012

Phd Thesis 1 (Research TU/e / Graduation TU/e)

Scientific
2014
2013
2012
2011
2010
2008
2006
2004
2001
1999
1990

Phd Thesis 2 (Research NOT TU/e / Graduation TU/e)

Scientific
2009

Pd Eng Thesis

Other research output
2002
2001
1999
1998
1994
1993