Publications of Johan Lewi

period 1991 - 1996

Articles in internationally reviewed journals

5 references

• Bevers, Eddy; Lewi, Johan. Proving termination of (conditional) rewrite systems: a semantic approach, Acta Informatica, volume 30, pages 537-568, 1993

  @article{134700,
    author = "Bevers, Eddy and Lewi, Johan",
    title = "Proving termination of (conditional) rewrite systems: a semantic approach",
    journal = "Acta Informatica",
    volume = "30",
    pages = "537--568",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/134700",
  }
  

• Van Baelen, Stefan; Lewi, Johan; Steegmans, Eric; Swennen, Bart. Constraints in object-oriented analysis, Lecture Notes in Computer Science, volume 742, pages 393-407, 1993

  @article{133610,
    author = "Van Baelen, Stefan and Lewi, Johan and Steegmans, Eric and Swennen, Bart",
    title = "Constraints in object-oriented analysis",
    journal = "Lecture Notes in Computer Science",
    volume = "742",
    pages = "393--407",
    month = Nov,
    year = "1993",
    doi = "10.1007/3-540-57342-9\_{}85",
    url = "https://lirias.kuleuven.be/handle/123456789/133610",
  }
  

• Steegmans, Eric; Lewi, Joannes; Van Horebeek, Ivo. Generation of interactive parsers with error handling, IEEE Transactions on Software Engineering, volume 18, issue 5, pages 357-367, 1992

  @article{124364,
    author = "Steegmans, Eric and Lewi, Joannes and Van Horebeek, Ivo",
    title = "Generation of interactive parsers with error handling",
    journal = "IEEE Transactions on Software Engineering",
    volume = "18",
    number = "5",
    pages = "357--367",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/124364",
  }
  

• Goossenaerts, Jan; Lewi, Johan; Dumortier, Jos. A Stage-prop-actor-net Approach to Legal Representation, Computers, Artificial Intelligence and the Law, pages 15-39, 1991

  @article{133258,
    author = "Goossenaerts, Jan and Lewi, Johan and Dumortier, Jos",
    title = "A {S}tage-prop-actor-net {A}pproach to {L}egal {R}epresentation",
    journal = "Computers, Artificial Intelligence and the Law",
    pages = "15--39",
    year = "1991",
    url = "https://lirias.kuleuven.be/handle/123456789/133258",
  }
  

• Van Horebeek, Ivo; Lewi, Johan. Een inleiding tot algebraïsche speficaties, Informatie, pages 110-118, 1991

  @article{134682,
    author = "Van Horebeek, Ivo and Lewi, Johan",
    title = "Een inleiding tot algebra{\"{\i}}sche speficaties",
    journal = "Informatie",
    pages = "110--118",
    month = Feb,
    year = "1991",
    url = "https://lirias.kuleuven.be/handle/123456789/134682",
  }
  

Books, internationally recognised scientific publisher; as author

1 reference

• Lewi, Joannes; De Vlaminck, Karel; Steegmans, Eric; Van Horebeek, Ivo. Software development by LL(1) syntax description, 380 pages, John Wiley and Sons, New York, 1992, isbn 047-193-148-9

  @book{134354,
    author = "Lewi, Joannes and De Vlaminck, Karel and Steegmans, Eric and Van Horebeek, Ivo",
    title = "Software development by {LL}(1) syntax description",
    publisher = "John Wiley and Sons",
    location = "New York",
    pages = "380",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134354",
  }
  

Papers at international conferences and symposia, published in full in proceedings

13 references

• Van Baelen, Stefan; Lewi, Johan; Steegmans, Eric. Constraints in object-oriented analysis and design, Magnusson, Boris; Meyer, Bertrand; Merson, Jean-Marc; Perrot, Jean-Francois (eds.), International conference on technology of object-oriented languages and systems (TOOLS EUROPE 1994), Versailles, France, 7-11 March 1994, Technology of Object-oriented Languages and Systems TOOLS 13, pages 185-199, Prentice Hall

  @inproceedings{131374,
    author = "Van Baelen, Stefan and Lewi, Johan and Steegmans, Eric",
    title = "Constraints in object-oriented analysis and design",
    booktitle = "Technology of Object-oriented Languages and Systems TOOLS 13, ",
    editor = "Magnusson, Boris and Meyer, Bertrand and Merson, Jean-Marc and Perrot, Jean-Francois",
    publisher = "Prentice Hall",
    location = "Hertsfordshire, UK",
    pages = "185--199",
    month = Mar,
    year = "1994",
    url = "https://lirias.kuleuven.be/handle/123456789/131374",
  }
  

• Vergauwen, Bart; Lewi, Johan. Efficient computation of nested fix-points, with applications to model checking, Gabbay, D.; Ohlbach, HJ (eds.), International Conference on Temporal Logic, International Conference on Temporal Logic, pages 165-179, 1994

  @inproceedings{134495,
    author = "Vergauwen, Bart and Lewi, Johan",
    title = "Efficient computation of nested fix-points, with applications to model checking",
    booktitle = "International Conference on Temporal Logic, ",
    editor = "Gabbay, D. and Ohlbach, HJ",
    pages = "165--179",
    year = "1994",
    url = "https://lirias.kuleuven.be/handle/123456789/134495",
  }
  

• Vergauwen, Bart; Lewi, Johan. Efficient local correctness checking for single and alternating boolean equation systems, Abiteboul, S.; Shamir, E (eds.), ICALP'94, ICALP'94, pages 304-315, 1994

  @inproceedings{134493,
    author = "Vergauwen, Bart and Lewi, Johan",
    title = "Efficient local correctness checking for single and alternating boolean equation systems",
    booktitle = "ICALP'94, ",
    editor = "Abiteboul, S. and Shamir, E.",
    pages = "304--315",
    year = "1994",
    url = "https://lirias.kuleuven.be/handle/123456789/134493",
  }
  

• Vergauwen, Bart; Wauman, J.; Lewi, Johan. Efficient FixPoint computation, Le Charlier, B (ed.), First International Static Analysis Symposium (SAS), First International Static Analysis Symposium (SAS), pages 314-328, 1994

  @inproceedings{134497,
    author = "Vergauwen, Bart and Wauman, J. and Lewi, Johan",
    title = "Efficient {F}ix{P}oint computation",
    booktitle = "First International Static Analysis Symposium (SAS), ",
    editor = "Le Charlier, B.",
    pages = "314--328",
    year = "1994",
    url = "https://lirias.kuleuven.be/handle/123456789/134497",
  }
  

• Vergauwen, Bart; Lewi, Johan. A linear local model checker for CTL, Proceedings CONCUR'93, LNCS 715, pages 447-461, 1993

  @inproceedings{134711,
    author = "Vergauwen, Bart and Lewi, Johan",
    title = "A linear local model checker for {CTL}",
    booktitle = "Proceedings CONCUR'93, LNCS 715",
    pages = "447--461",
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/134711",
  }
  

• Van Baelen, Stefan; Lewi, Johan; Steegmans, Eric. Abstraction stratification in an object-oriented development Method like EROOS, de Champeaux, Dennis (ed.), European conference on object-oriented programming, Utrecht, The Netherlands, 29 June-3 July 1992, Workshop on Object-Oriented Software Development Process, pages 1-4

  @inproceedings{133863,
    author = "Van Baelen, Stefan and Lewi, Johan and Steegmans, Eric",
    title = "Abstraction stratification in an object-oriented development {M}ethod like {EROOS}",
    booktitle = "Workshop on Object-Oriented Software Development Process, ",
    editor = "de Champeaux, Dennis",
    pages = "1--4",
    month = Jun,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133863",
  }
  

• Van Baelen, Stefan; Lewi, Johan; Steegmans, Eric; Van Riel, Helena. EROOS: An entity-relationship based object-oriented development method, DECUS BELUX 1992 symposium, Genval, Belgium, 25 March 1992, DECUS BELUX 1992 Symposium Proceedings, pages 42-64, DECUS BELUX

  @inproceedings{132548,
    author = "Van Baelen, Stefan and Lewi, Johan and Steegmans, Eric and Van Riel, Helena",
    title = "{EROOS}: {A}n entity-relationship based object-oriented development method",
    booktitle = "DECUS BELUX 1992 Symposium Proceedings, ",
    publisher = "DECUS BELUX",
    location = "Brussels, Belgium",
    pages = "42--64",
    month = Mar,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132548",
  }
  

• Van Baelen, Stefan; Lewi, Johan; Steegmans, Eric; Van Riel, Helena. EROOS: An entity-relationship based object-oriented specification method, Heeg, Georg; Magnusson, Boris; Meyer, Bertramd (eds.), International conference on technology of object-oriented languages and systems (TOOLS EUROPE 1992), Dortmund, Germany, 30 March-2 April 1992, Technology of Object-oriented Languages and Systems TOOLS 7, pages 103-117, Prentice Hall

  @inproceedings{132317,
    author = "Van Baelen, Stefan and Lewi, Johan and Steegmans, Eric and Van Riel, Helena",
    title = "{EROOS}: {A}n entity-relationship based object-oriented specification method",
    booktitle = "Technology of Object-oriented Languages and Systems TOOLS 7, ",
    editor = "Heeg, Georg and Magnusson, Boris and Meyer, Bertramd",
    publisher = "Prentice Hall",
    location = "Hertsfordshire, UK",
    pages = "103--117",
    month = Mar,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132317",
  }
  

• Vergauwen, Bart; Lewi, Joannes. Formal verifications: an industrial case study, Dewilde, P.; Vandewalle, Joseph (eds.), Proceedings COMP EURO 92, pages 208-213, 1992

  @inproceedings{133670,
    author = "Vergauwen, Bart and Lewi, Joannes",
    title = "Formal verifications: an industrial case study",
    booktitle = "Proceedings COMP EURO 92",
    editor = "Dewilde, P. and Vandewalle, Joseph",
    pages = "208--213",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133670",
  }
  

• Vergauwen, Bart; Lewi, Johan. Linear local and global model checking algorithms for a kernel temporal logic language, Koczkodaj, W.; Lauer, P.; Toptsis, A (eds.), Proceedings ICCI 92, pages 46-49, 1992

  @inproceedings{134713,
    author = "Vergauwen, Bart and Lewi, Johan",
    title = "Linear local and global model checking algorithms for a kernel temporal logic language",
    booktitle = "Proceedings ICCI 92",
    editor = "Koczkodaj, W. and Lauer, P. and Toptsis, A.",
    pages = "46--49",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134713",
  }
  

• Vergauwen, Bart; Lewi, Johan. A linear algorithm for solving fixed-point equations on transition systems, Raoult, J-C (ed.), Proceedings CAAP'92, pages 322-341, 1992

  @inproceedings{134712,
    author = "Vergauwen, Bart and Lewi, Johan",
    title = "A linear algorithm for solving fixed-point equations on transition systems",
    booktitle = "Proceedings CAAP'92",
    editor = "Raoult, J-C.",
    pages = "322--341",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134712",
  }
  

• Bevers, Eddy; Lewi, Johan. Proof by consistency in conditional equational theories, Kaplan, S.; Okada, M (eds.), Conditional and Typed Rewriting Systems, Proceedings 2nd International CTRS Workshop, volume 516, pages 194-205, 1991

  @inproceedings{134447,
    author = "Bevers, Eddy and Lewi, Johan",
    title = "Proof by consistency in conditional equational theories",
    booktitle = "Conditional and Typed Rewriting Systems, Proceedings 2nd International CTRS Workshop",
    editor = "Kaplan, S. and Okada, M.",
    pages = "194--205",
    month = Jun,
    year = "1991",
    url = "https://lirias.kuleuven.be/handle/123456789/134447",
  }
  

• Lewi, Joannes; Steegmans, Eric; De Man, Jozef. Object-oriented approach to software development, a walk through a number of topics, Monaco, V.A.; Negrini, R (eds.), Annual European Computer Conference, Bologna, 13-16 May 1991, CompEuro '91 Proceedings (Advanced Computer Technology, Reliable Systems and Applications), pages 626-633, IEEE

  @inproceedings{131201,
    author = "Lewi, Joannes and Steegmans, Eric and De Man, Jozef",
    title = "Object-oriented approach to software development, a walk through a number of topics",
    booktitle = "CompEuro '91 Proceedings (Advanced Computer Technology, Reliable Systems and Applications), ",
    editor = "Monaco, V.A. and Negrini, R.",
    publisher = "IEEE",
    pages = "626--633",
    month = May,
    year = "1991",
    url = "https://lirias.kuleuven.be/handle/123456789/131201",
  }
  

Thesis

5 references

• Vergauwen, Bart. Automatische formele verificatie van reactieve (transitie) systemen, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1995, Lewi, Joannes and De Schreye, Danny (supervisors)

  @phdthesis{134585,
    author = "Vergauwen, Bart",
    title = "Automatische formele verificatie van reactieve (transitie) systemen",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "270",
    month = Dec,
    year = "1995",
    note = "Lewi, Joannes and De Schreye, Danny (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134585",
  }
  

• De Man, Jozef. Systems engineering using a functional language, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1994, Lewi, Joannes and Boute, Raymond (supervisors)

  @phdthesis{134579,
    author = "De Man, Jozef",
    title = "Systems engineering using a functional language",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    month = May,
    year = "1994",
    note = "Lewi, Joannes and Boute, Raymond (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134579",
  }
  

• Van Gestel, Eric. Moose:a framework uniting data base modelling, object-orientation and formal specifications, engineeering style, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1994, Lewi, Joannes (supervisor)

  @phdthesis{134588,
    author = "Van Gestel, Eric",
    title = "Moose:a framework uniting data base modelling, object-orientation and formal specifications, engineeering style",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "483",
    month = Mar,
    year = "1994",
    note = "Lewi, Joannes (supervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/134588",
  }
  

• Bevers, Eddy. Automated reasoning in conditional algebraic specfications: termination and proof by consistence, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1993, Lewi, Joannes and De Vlaminck, Karel (supervisors)

  @phdthesis{134601,
    author = "Bevers, Eddy",
    title = "Automated reasoning in conditional algebraic specfications: termination and proof by consistence",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "331",
    month = Mar,
    year = "1993",
    note = "Lewi, Joannes and De Vlaminck, Karel (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134601",
  }
  

• Goossenaerts, Jan. TIE: a formal language for organization design, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1991, Lewi, Joannes and Holvoet, Roger and Dedene, Guido (supervisors)

  @phdthesis{134596,
    author = "Goossenaerts, Jan",
    title = "{TIE}: a formal language for organization design",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "288",
    month = Apr,
    year = "1991",
    note = "Lewi, Joannes and Holvoet, Roger and Dedene, Guido (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134596",
  }
  

Internal reports

5 references

• Steegmans, Eric; Lewi, Johan; De Backer, Sam; Dockx, Jan; Swennen, Bart; Van Baelen, Stefan. Object oriented software development with EROOS: The analysis phase - reference manual version 1.1, EROOS Reference Manual, volume 1.1, 180 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1996

  @techreport{131446,
    author = "Steegmans, Eric and Lewi, Johan and De Backer, Sam and Dockx, Jan and Swennen, Bart and Van Baelen, Stefan",
    title = "Object oriented software development with {EROOS}: {T}he analysis phase - reference manual version 1.1",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "EROOS Reference Manual",
    number = "1.1",
    month = Sep,
    year = "1996",
    url = "https://lirias.kuleuven.be/handle/123456789/131446",
  }
  

• Steegmans, Eric; Lewi, Johan; D'Haese, Maarten; Dockx, Jan; Jehoul, David; Swennen, Bart; Van Baelen, Stefan; Van Hirtum, Peter. EROOS reference manual version 1.0, CW Reports, volume CW208, 181 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1995

  @techreport{132044,
    author = "Steegmans, Eric and Lewi, Johan and D'Haese, Maarten and Dockx, Jan and Jehoul, David and Swennen, Bart and Van Baelen, Stefan and Van Hirtum, Peter",
    title = "{EROOS} reference manual version 1.0",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW208",
    month = Jan,
    year = "1995",
    url = "https://lirias.kuleuven.be/handle/123456789/132044",
  }
  

• Lewi, Johan; Steegmans, Eric; Dockx, Jan; Swennen, Bart; Van Baelen, Stefan; Van Riel, Helena. Object oriented sotware development with EROOS: The analysis phase, CW Reports, volume CW169, 188 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 1993

  @techreport{132298,
    author = "Lewi, Johan and Steegmans, Eric and Dockx, Jan and Swennen, Bart and Van Baelen, Stefan and Van Riel, Helena",
    title = "Object oriented sotware development with {EROOS}: {T}he analysis phase",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW169",
    month = Jan,
    year = "1993",
    url = "https://lirias.kuleuven.be/handle/123456789/132298",
  }
  

• Bevers, Eddy; Lewi, Joannes. Proving termination of conditional rewrite systems: a semantic approach, CW Reports, volume CW156, 40 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1992

  @techreport{134637,
    author = "Bevers, Eddy and Lewi, Joannes",
    title = "Proving termination of conditional rewrite systems: a semantic approach",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW156",
    month = Nov,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134637",
  }
  

• Van Gestel, Eric; Lewi, Joannes. A terse mathematical kernel for EROOS, CW Reports, volume CW133, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1991

  @techreport{134617,
    author = "Van Gestel, Eric and Lewi, Joannes",
    title = "A terse mathematical kernel for {EROOS}",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW133",
    month = Sep,
    year = "1991",
    url = "https://lirias.kuleuven.be/handle/123456789/134617",
  }
  

Misc.

1 reference

• Van Horebeek, Ivo; Lewi, Johan. Een inleiding tot algebraïsche specificaties, Informatie, volume 33, issue 2, pages 110-118, February 1991

  @misc{214211,
    author = "Van Horebeek, Ivo and Lewi, Johan",
    title = "Een inleiding tot algebra{\"{\i}}sche specificaties",
    journal = "Informatie",
    volume = "33",
    number = "2",
    pages = "110--118",
    month = Feb,
    year = "1991",
    url = "https://lirias.kuleuven.be/handle/123456789/214211",
  }
  

No publications found for the period 1991-1996 and the types

• Articles in other journals
• Other published books; as author
• Books, internationally recognised scientific publisher; as editor
• Other published books; as editor
• Article in book, internationally recognised scientific publisher
• Article in other published book
• Papers at other conferences and symposia, published in full in proceedings
• Meeting abstracts, presented at international conferences and symposia
• Meeting abstracts, presented at other conferences and symposia
• Review
• Translation without scientific introduction
• Scientific popularisation
• External reports

 
Last update local database Sun May 19 2013 0:18 am; It contains 118 publications of Johan Lewi.