Karl-Heinz Pennemann
Edit Page
Report
Scan day: 07 February 2014 UTC
33
Virus safety - good
Description: Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and personal information.
Dr. Karl-Heinz Pennemann - Universität Oldenburg Doktorand und Stipendiat im DFG-Graduiertenkolleg Wissenschaftlicher Mitarbeiter mit Lehrauftrag; Arbeitsgruppe Formale Sprachen, Universität Oldenburg
Size: 200 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Dr. Karl-Heinz Pennemann - Universität Oldenburg |
| Keywords: | Constraints,Conditions,Weakest preconditions,Verification,Graph conditions,Graph Transformation,Graph programs,Program specifications,Theorem prover,ProCon,Satisfiability solver,SeekSat,Case studies,ENFORCe,Railroad,Access control,Car platooning,Car platoon protocol |
| Description: | Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and personal information. |
| IP-address: | 134.106.29.48 |
WHOIS Info
| NS | |
| WHOIS | Status: connect |
| Date | Changed: 2013-02-21T12:58:08+01:00 Changed: 2012-06-12T16:25:05+02:00 Changed: 2012-06-12T16:25:05+02:00 |