Full name: Bert Lisser
Formal name: Drs. B. Lisser
Function: Scientific programmer
Email: Bert.Lisser@cwi.nl
Telephone +31(0)20 592 4280
Room: L226
Research groups:
(SEN1) Software Analysis and Transformation
Formal name: Drs. B. Lisser
Function: Scientific programmer
Email: Bert.Lisser@cwi.nl
Telephone +31(0)20 592 4280
Room: L226
Research groups:
(SEN1) Software Analysis and Transformation
Career
| 1997 - | Scientific programmer SEN1 - Software Analysis and Transformation |
Recent Publications
| J.J. Vinju, P. Klint, T. van der Storm, H.J.S. Basten, J. van den Bos, M.A. Hills, A.W. Lankamp, A.J. van der Ploeg, Davy Landman, V. Zaytsev, A. Izmaylova, A.H.S. Bagge, B. Lisser. Rascal 0.4. 2011. |
| B. Lisser, P. Klint, A. van der Ploeg. Towards a one-stop-shop for analysis, transformation and visualization of software. Proceedings of International Conference on Software Language Engineering 2011 (4), Braga, Portugal, 2011. |
| W.J. Fokkink, P. Klint, B. Lisser, Y.S. Usenko. Automated translation and analysis of a ToolBus script for auctions. Proc. 3rd Symposium on Fundamentals of Software Engineering - FSEN\\\\\\\'09, Lecture Notes in Computer Science 5961, Kish Island, Iran, 308–323, 2009. |
| W.J. Fokkink, P. Klint, B. Lisser, Y.S. Usenko. Automated translation and analysis of a ToolBus script for auctions. Proceedings of IPM International Symposium on Fundamentals of Software Engineering 2009 (3), 2009. |
| W.J. Fokkink, P. Klint, B. Lisser, Y.S. Usenko. Towards Formal Verification of Toolbus Scripts. Proceedings of international conference on Algebraic Methodology and Software Technology 2008 (12), Lecture Notes in Computer Science 5140, Urbana, IL, USA, 160–166, 2008. |
