#### Filter Results:

- Full text PDF available (66)

#### Publication Year

1997

2017

- This year (2)
- Last 5 years (12)
- Last 10 years (35)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Serge Autexier
- 2003

VII

- Jürgen Zimmer, Serge Autexier
- IJCAR
- 2006

In recent years, formal verification of hardware and software components has increasingly attracted interest from both academia and industry. The widespread use of automated reasoning techniques requires tools that are easy to use and support standardised protocols and data exchange formats. In [1] the first author presented the MathWeb Software Bus, a… (More)

- Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
- AMAST
- 2002

Serge Autexier1 and Dieter Hutter2 and Till Mossakowski3 and Axel S hairer2 1 FR 6.2 Informatik, Saarland University, P.O. Box 15 11 50, D 66041 Saarbr u ken, Autexier ags.uni-sb.de 2 DKFI GmbH, Stuhlsatzenhausweg 3, D 66123 Saarbr u ken, hutter dfki.de 3 FB 3, University of Bremen, P.O. Box 330 440, D 28334 Bremen, till tzi.de 1 Overview The use of… (More)

- Serge Autexier
- CADE
- 2005

- Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
- Calculemus/MKM
- 2007

- Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
- Electr. Notes Theor. Comput. Sci.
- 2004

We propose a proof representation format for human-oriented proofs at the assertion level with under-specification. This work aims at providing a possible solution to challenging phenomena worked out in empirical studies in the DIALOG project at Saarland University. A particular challenge in this project is to bridge the gap between the human-oriented proof… (More)

- Serge Autexier, Dieter Hutter, +6 authors Andreas Wolpers
- International Journal on Software Tools for…
- 2000

The Verification Support Environment (VSE) is a tool to formally specify and verify complex systems. It provides the means to structure specifications and supports the development process from the specification of a system to the automatic generation of code. Formal developments following the VSE method are stored and maintained in an administration system… (More)

Classical automated theorem proving of today is based on ingenious search techniques to find a proof for a given theorem in very large search spaces—often in the range of several billion clauses. But in spite of many successful attempts to prove even open mathematical problems automatically, their use in everyday mathematical practice is still limited. The… (More)

- Serge Autexier, Armin Fiedler
- MKM
- 2005

Unlike computer algebra systems, automated theorem provers have not yet achieved considerable recognition and relevance in mathematical practice. A significant shortcoming of mathematical proof assistance systems is that they require the fully formal representation of mathematical content, whereas in mathematical practice an informal, natural-language-like… (More)

- Till Mossakowski, Serge Autexier, Dieter Hutter
- J. Log. Algebr. Program.
- 2006

Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work, we extend development graphs with hiding (e.g. hidden operations). Hiding is a particularly difficult to realize operation, since it does not admit such a good decomposition of… (More)