Connecting a Company s Verification Methodology to Standard Concepts of UVM Frank Poppen Marco Trunzer Jan Hendrik Oetjens OFFIS Institute Robert Bosch GmbH Robert Bosch GmbH for Information Technology Tel 49 441 9722 230 Tel 49 7121 35 2981 Tel 49 7121 35 4684 frank poppen offis de Marco Trunzer de bosch com Jan Hendrik Oetjens de bosch com ABSTRACT Over the last decades intelligent electronics in heterogeneous systems improved all aspects of everyone s daily li
US008443406B2 a2 United States Patent 10 Patent No US 8 443 406 B2 Reed et al 45 Date of Patent May 14 2013 54 ETHERNET OVER COAXIAL COUPLING 56 References Cited SYSTEM METHOD AND APPARATUS U S PATENT DOCUMENTS 75 Inventors Vernon Reed Austin TX US Ahmad Se ie n a Kobayashi panutane bo n i rooks et al i p Ru Eara US David 2006 0010481 Al 1 2006 Wall et al ackley Austin US 2006 0225119 A1 10 2006 Wollmershauser et al 2
US 20130036108A1 as United States a2 Patent Application Publication o Pub No US 2013 0036108 Al Corbeau 43 Pub Date Feb 7 2013 54 METHOD AND SYSTEM FOR ASSISTING 52 US CL sneer 707 722 707 769 707 E17 014 USERS WITH OPERATING NETWORK DEVICES 67 ABSIRACI A method includes steps of receiving data from a network by 76 Inventor Maxime Corbeau Den Haag NL a web browser executed by a computer connected to the network analyzing the data received for
az United States Patent Husemann et al US007577910B1 US 7 577 910 B1 Aug 18 2009 0 Patent No 45 Date of Patent 54 METHOD AND APPARATUS FOR PROVIDING A MORE POWERFUL USER INTERFACE TO DEVICE WITH A LIMITED USER INTERFACE 75 Inventors Dirk Husemann Adliswill CH Michael Moser Zurich CH 73 Assignee International Business Machines Corporation Armonk NY US Notice Subject to any disclaimer the term of this patent is extended or a
T P LLL US005732405A United States Patent Patent Number 5 732 405 Ho et al 43 Date of Patent Mar 24 1998 54 METHOD AND APPARATUS FOR 5 233 700 8 1993 Takagi PERFORMING A CACHE OPERATION IN A 5 263 140 11 1993 Riordan e DATA PROCESSING SYSTEM 5 412 787 5 1995 etal 395 417 75 Inventors Yui Kaye Ho Austin William C OTHER PUBLICATIONS Moyer Drippi
AOU CACY OAR US 20040183823A1 as United States a Patent Application Publication co Pub No US 2004 0183823 A1 Wang 43 Pub Date Sep 23 2004 54 METHOD OF AUTOMATIC MONITOR 30 Foreign Application Priority Data DISPLAY ADJUSTMENTS Mar 21 2003 TW 92106308 76 Inventor Jui Ming Wang Taipei TW Publication Classification Correspondence Address 61 Wnts Cl rarene G09G 5 02 HARNESS DICKEY amp PIERCE P L C 52 WSs Ciri Sa Sash eh tach 345 699
az United States Patent Aarstein et al US008280696B1 US 8 280 696 B1 Oct 2 2012 ao Patent No 45 Date of Patent 54 METHOD FOR COMPUTER AIDED DESIGN OF CONDUIT 75 Inventors Jon Andreas Aarstein Oslo NO Knut Magnus Ekeberg Oslo NO 73 Assignee Ultra Deep LLC Houston TX US Notice Subject to any disclaimer the term of this patent is extended or adjusted under 35 U S C 154 b by 0 days 21 Appl No 12 034 502 22 Fil
US005703678A United States Patent us Patent Number 5 703 678 Dunne 45 Date of Patent Dec 30 1997 54 SELF CALIBRATING PRECISION TIMING 4 770 526 9 1988 Manhart et al CIRCUIT AND METHOD FOR A LASER 5 046 839 9 1991 Krangle RANGE FINDER 5 157 403 10 1992 Urkowitz 5221 956 6 1993 Patterson et al 75 Inventor Jeremy G Dunne Littleton Colo 5 359 404 10 1994 Dunne OTHER PUBLICATIONS 73 Assignee Laser Technology Inc Englewood Calif Pro Laser IL
Greenwich Junior Senior High School Building on a Tradition of Excellence Counseling Office Brenda Facin Secretary Patrick D Morris School Counselor Dana Finney School Counselor Richard M Zwirn School Counselor Announcing Career Cruising and Method Test Prep for the SAT and ACT This year GCS is continuing its contract with the outstanding student website resource Career Cruising Students using Career Cruising can extensively research both careers and college
12 United States Patent Victorov US008200983B1 US 8 200 983 B1 Jun 12 2012 10 Patent No 45 Date of Patent 54 75 73 21 22 60 51 52 58 SYSTEM AND METHOD FOR TAMPER PROOFING EXECUTABLE BINARY ASSEMBLIES Inventor Victor Y Victorov St Petersburg RU Assignee 9Rays Net Inc Alexandria VA US Notice Subject to any disclaimer the term of this patent is extended or adjusted under 35 U S C 154 b by
US 20080234674A1 a2 Patent Application Publication 10 Pub No US 2008 0234674 Al as United States McClurken et al 43 Pub Date Sep 25 2008 54 SURGICAL DEVICES AND METHODS OF USE THEREOF Michael E McClurken Durham NH US Roger D Greeley Portsmouth NH US Brian M Conley South Berwick ME US 75 Inventors Correspondence Address GROSSMAN TUCKER PFLEGER PLLC 55 SOUTH COMMERICAL STREET MANCHESTER NH 03101 US PERREAUIT amp
US008577326B2 United States Patent 10 Patent No US 8 577 326 B2 Bhattacharya 45 Date of Patent Nov 5 2013 54 METHOD AND APPARATUS FOR POWER 56 References Cited CONSERVATION FOR A MOBILE DEVICE IN IDLE MODE 75 Inventor Kaushik Bhattacharya Bangalore IN 73 Assignee Nokia Corporation Espoo FI Notice Subject to any disclaimer the term of this patent is extended or adjusted under 35 U S C 154 b by 61 days 21 Appl No 13 207 098
US008237715B2 az United States Patent 10 Patent No US 8 237 715 B2 Buck et al 45 Date of Patent Aug 7 2012 54 METHOD AND SYSTEM FOR 2007 0066956 Al 3 2007 Finkel MANIPULATING GROUPS OF DATA 2007 0106135 5 2007 Sloan et al 2007 0112298 AI 5 2007 Mueller Jr et al REPRESENTATIONS OF A GRAPHICAL 2008 0034323 AI 2 2008 Blomquist DISPLAY FOREIGN PATENT DOCUMENTS 75 Inventors Schuyler Buck Muncie IN US Jason WO WO2007 000427 Al 1 2007 Bush Fishers IN
PG THERA Methodology for Road Roughness Profiling and Rut Depth Measurement T D Gillespie M W Sayers M R Hagan July 1987 FHWA RD 87 042 The University of Michigan UMTRI Transportation Research Institute Technical Report Documentation Page 1 Report No 2 Government Accession No 3 Recipient s Catalog No Weene 77 A 4 Title and Subtitie 5 Report Date July 1987 METHODOLOGY FOR ROAD ROUGHNESS PROFILING AND RUT DEPTH MEASUREMENT 8 Performing Or
19 United States US 20130140899A1 a2 Patent Application Publication o Pub No US 2013 0140899 A1 TUUKKANEN et al 43 Pub Date Jun 6 2013 54 METHOD APPARATUS FOR EMERGENCY POWER SUPPLY AND DEVICE ASSOCIATED 75 73 21 22 51 THERETO Inventors Marko Tapio TUUKKANEN Berlin DE Markus Antti Tapio AALTONEN Piikkio FT Assignee Appl No 13 309 746 Filed Dec 2 2011 Nokia Corporation Espoo FI Publication Cla
US008421402B2 az United States Patent 10 Patent No US 8 421 402 B2 Jang 45 Date of Patent Apr 16 2013 54 METHOD AND APPARATUS FOR 58 Field of Classification Search 320 101 PROVIDING CHARGING INFORMATION See application file for complete search history REGARDING PORTABLE TERMINAL WITH SOLAR CELL 56 References Cited 75 Inventor Jin Yeoul Jang Gyeongsangbuk do U S PATENT DOCUMENTS KR 5 937 229 A 8 1999 Walgrove etal 3
US007653212B2 a2 United States Patent 10 Patent No US 7 653 212 B2 Haughawout et al 45 Date of Patent Jan 26 2010 54 SYSTEM AND METHOD FOR USING IMAGE 6 763 148 B1 7 2004 Sternberg et al DATA IN CONNECTION WITH 6 952 496 B2 10 2005 Krumm CONFIGURING A UNIVERSAL 7 046 161 B2 5 2006 Hayes 340 825 69 CONTROLLING DEVICE 2001 0017615 1 8 2001 Linetal 345 173 2001 0045819 11 2001 Harris et al 2 323 371 75 Inventors Jose
US 20130271477A1 as United States a2 Patent Application Publication Pub No US 2013 0271477 1 Shin 43 Pub Date Oct 17 2013 54 METHOD FOR MANAGING MEMORY AND 30 Foreign Application Priority Data IMAGE DISPLAY DEVICE FOR SAME Jan 13 2011 KR 1020110003733 75 Inventor Eunkyung Shin Seoul KR Oct 5 201T RR miners 1020110101492 Publication Classification 73 Assignee LG ELECTRONICS INC Seoul KR 51 Int CI G06T
Formal Methods for Smart Cards an experience report C B Breunesse N Catafio M Huisman B Jacobs INRIA Sophia Antipolis France gt University of Nijmegen the Netherlands Abstract This paper presents a case study in formal specification and verification of a smart card application The application is an electronic purse implementation developed by the smart card producer Gemplus as a test case for formal methods for smart cards It has been annotated
US 20040201867 1 United States Patent Application Publication Pub No US 2004 0201867 1 Katano 43 Pub Date Oct 14 2004 54 METHOD AND SYSTEM FOR PROVIDING 52 USS Ch cae 358 1 15 358 406 399 8 UPDATED HELP AND SOLUTION 717 171 345 705 710 15 INFORMATION AT A PRINTING DEVICE 702 179 76 Inventor Seiichi Katano San Jose CA US 57 ABSTRACT Correspondence Address A method and system for providing updated help and