Karine Arnout

Klinik Rosenberg — Germany

Computer Science · Physical Sciences

6h-index153citations15works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(5), Software Engineering Research(3), Advanced Software Engineering Methodologies(3), Formal Methods in Verification(2), Multi-Agent Systems and Negotiation(2)

Publications15 total

Componentization: The Visitor Example
Computer·2006· 51 cited
Pattern Componentization: The Factory Example
Innovations in Systems and Software Engineering·2006· 20 citedOpen Access
Guest Editorial.
The Journal of Object Technology·2005Open Access
How to get a Singleton in Eiffel.
The Journal of Object Technology·2004· 1 citedOpen Access
Further development of the Test Wizard
2004
Cover feature - Uncovering hidden contracts: the .net example
Computer·2003· 18 cited
Contrats cachés en .NET. Mise au jour et ajout de contrats <i>a posteriori</i>
L objet·2003· 2 cited
Eiffel library to generate Java bytecodes DIPLOMA PROJECT PLAN
2003
Event Library: An Object-Oriented Library for Event-Driven Design
Lecture notes in computer science·2003· 6 cited
Automatic Contract Extraction: Developing a CIL Parser PROJECT DESCRIPTION
2003
Finding Implicit Contracts in .NET Components
Lecture notes in computer science·2003· 10 cited
Type-safe covariance: Competent compilers can catch all catcalls
2003· 10 cited
Uncovering Contracts: The .NET Example
2003
The .NET Contract Wizard: adding Design by Contract to languages other than Eiffel
2002· 31 cited
Extracting implicit contracts from .NET libraries
2002· 4 cited

Frequent Co-authors

Bertrand Meyer(8), Éric Bezault(2), René Simon(1), Mark Howard(1), Dominique Colnet(1), Emmanuel Stapf(1), Markus Keller(1), Volkan Arslan(1), Piotr Nienaltowski(1), Christof Marti(1), Douglas R. Dechow(1), Andreas Pleuß(1), Matthew J. Rutherford(1), Denis Shestakov(1), Daniel von Dincklage(1), Ilinca Ciupa(1)