axel.jfas.de

Axel's home page

I am an R&D manager for automotive electronics for Bosch. In an earlier life was a researcher at the DFKI. Working on tool support and methodologies for formal methods. The primary goal of my research work was to make formal axiomatic specification and deductive verification feasible in the context of evolutionary software development processes. My publications are available from my publications page. Slides for some of my talks. Are available on request; just send me an email.

http://axel.jfas.de/

OVERVIEW OF axel.jfas.de

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

3

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR AXEL.JFAS.DE

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

September

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Wednesday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 4.0 out of 5 with 12 reviews

5 star

7

4 star

0

3 star

4

2 star

0

1 star

1

Hey there! Start your review of axel.jfas.de

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.6 seconds

CONTACTS AT AXEL.JFAS.DE

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

3

SSL

EXTERNAL LINKS

1

SITE IP

84.200.96.170

LOAD TIME

0.594 sec

SCORE

6.2

PAGE TITLE

Axel's home page | axel.jfas.de Reviews

<META> DESCRIPTION

I am an R&D manager for automotive electronics for Bosch. In an earlier life was a researcher at the DFKI. Working on tool support and methodologies for formal methods. The primary goal of my research work was to make formal axiomatic specification and deductive verification feasible in the context of evolutionary software development processes. My publications are available from my publications page. Slides for some of my talks. Are available on request; just send me an email.

<META> KEYWORDS

1 jfasde

2 axel

3 axel's home page

4 axel's professional life

5 axel's musical life

6 blechbläserensemble albstadt

7 heilbronner bläserensemble

8 bosch big band

9 unibigband stuttgart

10 oxford university philharmonia

CONTENT

Page content here

KEYWORDS ON PAGE

jfasde,axel,axel's home page,axel's professional life,axel's musical life,blechbläserensemble albstadt,heilbronner bläserensemble,bosch big band,unibigband stuttgart,oxford university philharmonia

CONTENT-TYPE

iso-8859-1

GOOGLE PREVIEW

Axel's home page | axel.jfas.de Reviews

https://axel.jfas.de

I am an R&D manager for automotive electronics for Bosch. In an earlier life was a researcher at the DFKI. Working on tool support and methodologies for formal methods. The primary goal of my research work was to make formal axiomatic specification and deductive verification feasible in the context of evolutionary software development processes. My publications are available from my publications page. Slides for some of my talks. Are available on request; just send me an email.

INTERNAL PAGES

axel.jfas.de

1

Axel Schairer's Favourite Books

http://axel.jfas.de/books.html

Axel Schairer's Favourite Books. These are non-fiction books that I can recommend. As a criterion, I would buy them again in case I should loose them. Programming and Software Design. Peter Seibel. Practical Common Lisp. If you know all about Java and want to be taken to Common Lisp from someone who knows his Java well then this book is for you. The book is also recommended for CL beginners without a Java background. Fairly comprehensive, but also fairly thick. Paul Graham. ANSI Common Lisp. Still my cho...

2

Axel Schairer's Talks

http://axel.jfas.de/talks/index.html

Axel Schairer's Selected Talks. Some slides are available from my old DFKI talks page. At least for the time being. I might make them available here as time permits. If you are interested in something, please let me know. Conference and Workshop Talks. Similarities and Reuse of Proofs in Formal Software Verification. 4th European Workshop on Case Based Reasoning (EWCBR), Trinity College, Dublin, Irland (25. September 1998). A Pragmatic Approach to Reuse in Tactical Theorem Proving. 8th CLAM-INKA-OMRS Wor...

3

Axel Schairer's Publications

http://axel.jfas.de/publications/index.html

Most documents are available from my old DFKI publications page. At least for the time being. I will make them available here as time permits. If you are interested in something that is not here yet, please let me know so I can send you a copy. Axel Schairer. Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development. Shaker Verlag, 2006 [ Publisher's info. Cf my dissertation thesis. In Journal of Computer Security, 10(4):339- 367, IOS Press, 2002. Dieter Hutter, ...

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL PAGES IN THIS WEBSITE

3

LINKS TO THIS WEBSITE

heilbronner-blaeserensemble.de

Heilbronner Bläserensemble

http://www.heilbronner-blaeserensemble.de/mitglieder.html

Die Mitglieder von links nach rechts:. Trompete: Martin Schönfeld, Axel Schairer. Friedemann Laun, Daniel Mammel. Horn: Jörg Hinderer; nicht auf dem Bild: Herbert Seling. Posaune: Fritz Resech, Klaus Bäuerle, Damaris Schönfeld; nicht auf dem Bild: Philipp Seyfang. Musikalische Leitung: Martin Schönfeld Organisation: Klaus Bäuerle. Letzte Aktualisierung 21. Januar 2013 durch axel.

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL LINKS TO THIS WEBSITE

1

OTHER SITES

axel.inasentence.org

axel in a sentence | simple examples

In A Sentence .org. The best little site that helps you understand word usage with examples. Axel in a sentence. Upvoted solely because one of the authors is named. It couldnt even pick out the highly recognizable beat of that old favourite,. Boldts idea diary,1/24/2007 10:13 PM Defeat any copy protection on video/audio: play the content on a certified software player in a virtual machine, copy material from the virtual screen/loudspeaker. F was the second song I tried, and it recognized it. Upvoted sole...

axel.inzwartwit.nl

in zwart-wit: oude ansichten

Een project van Nigami. In dit project wordt een beeld getoond van plaatsen (vooral in Zeeland) tussen 1900 en 1970 door middel van zwart-wit prentbriefkaarten. Een soort 'streetview van vroeger'. Navigeren kan via de kaart, door het volgen van verbindingen op de kaartafbeeldingen, of door de lijsten met foto's per plaats of de lijst met trefwoorden. De techniek is een combinatie van OpenPhotoVR. Geporteerd van Flash naar HTML5 canvas) met een onderliggende database op basis van Django. OOSTBURG, De Markt.

axel.io

Axel Game Library

An open source, hardware accelerated 2D flash game library. Is a library that makes. As easy as possible. Axel takes advantage of Flash Player 11's Stage3D. In order to offload all the rendering to the GPU in order to gain huge performance boosts over the typical flash display list. As of Adobe Air 3.2. Stage3D is also supported when building your games for mobile devices. This means exporting your flash games to iOS. Has never been easier! Axel is completely free. Logical state management system. Sectio...

axel.it

AXEL S.r.l. Storage Backup & more

Gruppi di continuità. Hard Disk SATA 2.5". Hard Disk SATA 3.5'. Hard Disk SAS 2.5". Hard Disk SAS 3.5". Hard Disk USB Esterni. Supporti per il Backup. Data Cartridge per LTO. Data Cartridge per RDX. Data Cartridge per SLR. Non hai articoli nel carrello. Gruppi di continuità. Hard Disk SATA 2.5. Hard Disk SATA 3.5'. Hard Disk SAS 2.5. Hard Disk SAS 3.5. Hard Disk USB Esterni. Supporti per il Backup. Data Cartridge per LTO. Data Cartridge per RDX. Data Cartridge per SLR. Gruppi di continuità. Placejam Pro ...

axel.janeck.de

Türkeireise 2016-17

Seit über 20 Jahren hab ich davon geträumt, mit dem Auto und Motorrad die Türkei zu erkunden.

axel.jfas.de

Axel's home page

I am an R&D manager for automotive electronics for Bosch. In an earlier life was a researcher at the DFKI. Working on tool support and methodologies for formal methods. The primary goal of my research work was to make formal axiomatic specification and deductive verification feasible in the context of evolutionary software development processes. My publications are available from my publications page. Slides for some of my talks. Are available on request; just send me an email.

axel.kadasterdata.nl

Axel in Zeeland | Huizendata

Kies een straat in Axel:. Axel is een plaats in de gemeente Terneuzen. De plaats Axel heeft 3 wijken. De populairste wijk is "Wijk 50 Kern Axel (Axel)" met 7.150 inwoners. Dit betekent dat 45,57% van alle inwoners van de gemeente Terneuzen in de plaats "Terneuzen" woont. In de gemeente Terneuzen is 31% van de huishoudens een gezin met kinderen. In Terneuzen wonen bijna evenveel mannen (49,68%) als vrouwen (50,32%). Meest populaire straten in Axel. Hugo van der Goesstraat.

axel.kamoen.mijntandarts.be

Home - Mijn Tandarts

Tandarts Specialist in de Orthodontie. U kan bij ons enkel voor orthodontie terecht. Kwaliteit en patiëntenzorg staan centraal in deze praktijk. Aarzel niet om ons te contacteren. Met vriendelijke groeten,. Ruggeveldlaan 512 bus 1. 2100 ANTWERPEN (Deurne) Route. 03 327 90 45. 070 22 20 88. Op zaterdag, zon- en feestdagen van 10u00 tot 12u00. Gesprekskost: €0,30/min.

axel.keyblade.jp

NOW FENRISITY

Http:/ fenrisity.tumblr.com/. You will be redirected).

axel.koenig-wissel.ergo.de

ERGO Versicherung Axel König-Wissel in Brandenburg an der Havel | Versicherungen von ERGO – Versichern heißt verstehen | ERGOERGO

Wenn wir Sie zurückrufen sollen, brauchen wir Ihre Telefonnummer. Neuendorfer Str. 60. 14770 Brandenburg an der Havel. Apps and Mobile Services. Apps and Mobile Services. Neuendorfer Str. 60. 14770 Brandenburg an der Havel. Willkommen auf meiner ERGO Homepage. Qualifizierte, vertrauensvolle und transparente Dienstleistungen, attraktive Versicherungsprodukte,persönliche Betreuung, schnelle Schadensregulierung und vielseitigerService werden hier groß geschrieben. Dann nehmen Sie Kontakt zu uns auf,. Wenn S...

axel.la

Axel LAVILLE - Resume

Ingénieur Systèmes and Réseaux. A propos de moi. Bonjour et bienvenue sur ma page! Site en cous de construction! Ingénieur Systèmes and Virtualisation. Je suis passioné par le monde du Cloud IT. Et du Green IT. Actuellement en mission à Clermont-Ferrand, je suis à l'écoute d'opportunités sur Vichy, Clermont-Ferrand, ou à l'étranger. Bureaux, Applications and Serveurs. Définition, installation, évolutions. A propos de moi! Ingénieur Systèmes and Virtualisation. Plus à propos de moi. Travail sur l'état de ...