Stephan Schulz - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Special issue on practical aspects of automated reasoningBoris Konev, Renate A. Schmidt, Stephan Schulz. aicom, 23(2-3):67-68, 2010. [doi]

Transmitting TLM transactions over analogue wire modelsStephan Schulz, Jörg Becker, Thomas Uhle, Karsten Einwich, Sören Sonntag. date 2010: 1608-1613 [doi]

2009

2008

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.

Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.

Test suite development with TTCN-3 librariesStephan Schulz. STTT, 10(4):327-336, 2008. [doi]

2007

TPLan-A Notation for Expressing Test PurposesStephan Schulz, Anthony Wiles, Steve Randall. pts 2007: 292-304 [doi]

Towards Model-Based Testing with Architecture ModelsStephan Schulz, Jukka Honkola, Antti Huima. ECBS 2007: 495-502 [doi]

Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007Geoff Sutcliffe, Josef Urban, Stephan Schulz, editors, Volume 257 of CEUR Workshop Proceedings, CEUR-WS.org, 2007.

2006

2005

On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental AppraisalAlessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz. frocos 2005: 65-80 [doi]

MathSAT: Tight Integration of SAT and Mathematical Decision ProceduresMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. JAR, 35(1-3):265-293, 2005. [doi]

The MathSAT 3 SystemMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. cade 2005: 315-321 [doi]

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic LogicMarco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani. TACAS 2005: 317-333 [doi]

2004

System Description: E 0.81Stephan Schulz. cade 2004: 223-228 [doi]

Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based ProtocolsStephan Schulz. pts 2004: 177-192 [doi]

2002

A Comparison of Different Techniques for Grounding Near-Propositional CNF FormulaeStephan Schulz. flairs 2002: 72-76

System Description: GrAnDe 1.0Stephan Schulz, Geoff Sutcliffe. cade 2002: 280-284 [doi]

Implementation of TTCN-3 Test Systems using the TRIStephan Schulz, Theofanis Vassiliou-Gioles. pts 2002: 425-442

E - a brainiac theorem proverStephan Schulz. aicom, 15(2-3):111-126, 2002. [doi]

2001

Improving the Performance of Automated Theorem Provers by Redundancy-Free LemmatizationJoachim Draeger, Stephan Schulz. flairs 2001: 345-349

Learning Search Control Knowledge for Equational Theorem ProvingStephan Schulz. ki 2001: 320-334 [doi]

Information-Based Selection of Abstraction LevelsStephan Schulz. flairs 2001: 402-406

System Abstract: E 0.61Stephan Schulz. cade 2001: 370-375 [doi]

A Transformation for System Level Design Model Specifications into Implementation DescriptionsStephan Schulz. sccc 2001: 247-255 [doi]

2000

Automatic Acquisition of Search Control Knowledge from Multiple Proof AttemptsJörg Denzinger, Stephan Schulz. iandc, 162(1-2):59-79, 2000.

Learning search control knowledge for equational deductionStephan Schulz. Volume 230 of DISKI, Infix Akademische Verlagsgesellschaft, 2000.

1999

Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem ProvingStephan Schulz, Felix Brandt. flairs 1999: 244-248

System Abstract: E 0.3Stephan Schulz. cade 1999: 297-301 [doi]

1997

DISCOUNT - A Distributed and Learning Equational ProverJörg Denzinger, Martin Kronenburg, Stephan Schulz. JAR, 18(2):189-198, 1997.

1996

Learning Domain Knowledge to Improve Theorem ProvingJörg Denzinger, Stephan Schulz. cade 1996: 62-76

Recording and Analysing Knowledge-Based Distributed Deduction ProcessesJörg Denzinger, Stephan Schulz. JSC, 21(4):523-541, 1996.