Travelled to:1 × China
1 × Portugal
1 × Spain
2 × USA
4 × France
9 × Germany
Collaborated with:S.Flake T.Schattkowsky A.Krupp H.Zabel K.Klobedanz T.Xie M.Becker F.Fummi G.Pravadelli A.Koenig F.Mischkalla D.He M.F.d.S.Oliveira M.Eisenhardt A.Henrich A.Rettberg I.Oliver C.Kuznik A.Thuy H.Eikerling J.Wegner W.Rosenstiel H.Müller S.Marchand-Maillet T.Pun D.Squire G.B.Defo S.Vinco G.D.Guglielmo J.Ruf D.W.Hoffmann J.Gerlach T.Kropf K.Althoff A.Birk S.Hartkopf M.Nick D.Surmann C.Tautz J.Oetjens N.Bannow O.Bringmann A.Burger M.Chaari S.Chakraborty R.Drechsler W.Ecker K.Grüttner T.Kruse H.M.Le M.Mauderer D.Müller-Gritschneder F.Poppen H.Post S.Reiter S.Roth U.Schlichtmann A.v.Schwerin B.Tabacaru A.Viehl
Talks about:base (8) model (6) system (4) time (4) approach (3) network (3) semant (3) simul (3) rtos (3) uml (3)
Person: Wolfgang Müller
DBLP: M=uuml=ller:Wolfgang
Facilitated 1 volumes:
EdContributed to:
2014
20122011201020092006
2005200520042004
2004
20042003
200320022001
20001999Wrote 23 papers:
- DAC-2014-OetjensBBBBCCDEGKKLM0MPPRRRSSTV #challenge #evaluation #prototype #research #safety #state of the art #using
- Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges (JHO, NB, MB, OB, AB, MC, SC, RD, WE, KG, TK, CK, HML, MM, WM, DMG, FP, HP, SR, WR, SR, US, AvS, BAT, AV), p. 6.
- DATE-2012-BeckerDFMPV #embedded #evolution #modelling #named #scalability #verification
- MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution (MB, GBD, FF, WM, GP, SV), pp. 296–299.
- DATE-2011-KlobedanzK0 #approach #configuration management #fault tolerance #network
- A reconfiguration approach for fault-tolerant FlexRay networks (KK, AK, WM), pp. 82–87.
- DATE-2010-BeckerGF0PX #design #refinement
- RTOS-aware refinement for TLM2.0-based HW/SW designs (MB, GDG, FF, WM, GP, TX), pp. 1053–1058.
- DATE-2010-KlobedanzKT0 #analysis #case study #development #modelling
- Timing modeling and analysis for AUTOSAR-based software development — a case study (KK, CK, AT, WM), pp. 642–645.
- DATE-2010-Krupp0 #approach
- A systematic approach to the test of combined HW/SW systems (AK, WM), pp. 323–326.
- DATE-2010-MischkallaH0 #modelling #simulation #synthesis #uml
- Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems (FM, DH, WM), pp. 1201–1206.
- DATE-2010-OliveiraZ0 #verification
- Assertion-based verification of RTOS properties (MFdSO, HZ, WM), pp. 630–633.
- DATE-2009-SchattkowskyXM #uml
- A UML frontend for IP-XACT-based IP management (TS, TX, WM), pp. 238–243.
- DATE-2009-ZabelM #injection #simulation
- Increased accuracy through noise injection in abstract RTOS simulation (HZ, WM), pp. 1632–1637.
- DATE-2006-KruppM #classification #functional #random testing #testing
- Classification trees for random tests and functional coverage (AK, WM), pp. 1031–1032.
- CIKM-2005-MullerEH #network #retrieval #scalability #summary
- Scalable summary based retrieval in P2P networks (WM, ME, AH), pp. 586–593.
- DATE-2005-SchattkowskyMR #approach #configuration management #execution #hardware #modelling #specification
- A Model-Based Approach for Executable Specifications on Reconfigurable Hardware (TS, WM, AR), pp. 692–697.
- DATE-DF-2004-KruppMO #model checking #refinement
- Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.
- DATE-v2-2004-SchattkowskyM #embedded #execution #modelling #realtime #specification
- Model-Based Specification and Execution of Embedded Real-Time Systems (TS, WM), pp. 1392–1393.
- SEFM-2004-FlakeM #bound #ocl
- Past- and Future-Oriented Time-Bounded Temporal Properties with OCL (SF, WM), pp. 154–163.
- UML-2004-FlakeM #ocl #semantics
- An ASM Definition of the Dynamic OCL 2.0 Semantics (SF, WM), pp. 226–240.
- DATE-2003-MuellerSEW #integration #network #tool support
- Dynamic Tool Integration in Heterogeneous Computer Networks (WM, TS, HJE, JW), pp. 10946–10953.
- SEKE-2003-FlakeM #constraints #ocl #semantics
- Semantics of State-Oriented Expressions in the Object Constraint Language (SF, WM), pp. 142–149.
- UML-2002-FlakeM #constraints #ocl #realtime #uml
- A UML Profile for Real-Time Constraints with the OCL (SF, WM), pp. 179–195.
- DATE-2001-RufHGKRM #semantics #simulation
- The simulation semantics of systemC (JR, DWH, JG, TK, WR, WM), pp. 64–70.
- ICPR-v1-2000-MullerMMPS #feedback #image #retrieval
- Strategies for Positive and Negative Relevance Feedback in Image Retrieval (HM, WM, SMM, TP, DS), pp. 5043–5042.
- SEKE-1999-AlthoffBHMNST #maintenance #repository #reuse
- Systematic Population, Utilization, and Maintenance of a Repository for Comprehensive Reuse (KDA, AB, SH, WM, MN, DS, CT), pp. 25–50.