50 results on '"Steffen B"'
Search Results
2. Optoelectronic Heterodyne THz Receiver for 100–300 GHz Communication Links
3. Topology, Design, and Characteristics of a Modular, Dynamic 100 kA Surge Current Source With Adjustable Current Shape
4. Operation, Design, and Losses of the Modular Multilevel Matrix Converter in a Flywheel Energy Storage System
5. Cardiovascular and cardiorespiratory coupling analysis — State of the art and future perspectives
6. An ultra-fast linear array detector for MHz line repetition rate spectroscopy
7. Polymer-based shaft microelectrodes with optical and fluidic capabilities as a tool for optogenetics
8. Photonics and Immobilisation of Biomolecules
9. Processing and Characterization of Monolithic Passive-Matrix GaN-Based MicroLED Arrays With Pixel Sizes From 5 to 50 µm
10. MicroTCA.4-Based RF and Laser Cavities Regulation Including Piezocontrols.
11. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
12. Efficient test-based model generation for legacy reactive systems
13. IT Simply Works: Simplicity and Embedded Systems Design.
14. Leveraging Service-Orientation for Combining Code Generation Frameworks.
15. Tailoring Process Synthesis to Domain Characteristics.
16. Synthesis-Based Loose Programming.
17. Extracting Component-Oriented Behaviour for Self-Healing Enabling.
18. Maintenance, or the 3rd dimension of eXtreme model-driven design.
19. From Bio-jETI Process Models to Native Code.
20. The LearnLib in FMICS-jETI.
21. Service-Oriented Mediation with jETI/jABC: Verification and Export.
22. An Approach to Discovery with miAamics and jABC.
23. LTL Guided Planning: Revisiting Automatic Tool Composition in ETI.
24. The FMICS-jETI Platform: Status and Perspectives.
25. Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach.
26. Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms.
27. Remote integration and coordination of verification tools in jETI.
28. Second-Order Semantic Web.
29. Test-based model generation for legacy systems.
30. System level testing of virtual switch (re-)configuration over IP.
31. When is 'partial' adequate? A logic-based proof technique using partial specifications.
32. Reactive, generative, and stratified models of probabilistic processes.
33. Distinguishing formulas for free.
34. Hierarchical parallelization of imperative programs.
35. A formal requirements engineering method for specification, synthesis, and verification.
36. Electro Optic Bunch Length Measurements at the VUV-FEL at DESY.
37. Numerical Studies on the Electro-Optic Sampling of Relativistic Electron Bunches.
38. 2D and 3D computations of lossy eigenvalue problems.
39. Use of a multigrid solver in the MAFIA module S3 for electro- and magnetostatic problems.
40. Status and future of the 3D MAFIA group of codes.
41. The 3-D MAFIA group of electromagnetic codes.
42. Numerical Studies on the Electro-Optic Sampling of Relativistic Electron Bunches
43. Test-based model generation for legacy systems
44. Remote Integration and Coordination of Verification Tools in JETI
45. Keynote: Continuous Model Driven Engineering.
46. Model-based design of distributed collaborative bioinformatics processes in the jABC.
47. Analyzing second-order effects between optimizations for system-level test-based model generation.
48. Major threat: from formal methods without tools to tools without formal methods.
49. Mafia in Practice: the Capabilities of the Mafia Cad System.
50. Safe service customization.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.