217 citations
- Lund UniversitySE11 papers
- Universidad Autónoma de MadridES7 papers
- Chalmers University of TechnologySE4 papers
- Leipzig UniversityDE4 papers
- Universidad Internacional De La RiojaES4 papers
- University of SalzburgAT4 papers
- Wuhan University of TechnologyCN4 papers
- KTH Royal Institute of TechnologySE3 papers
- Stockholm UniversitySE3 papers
- Universidad Carlos III de MadridES3 papers
- Universidade Federal do TocantinsBR3 papers
- University of MaltaMT3 papers
5 papers · 1 filter
Safe & Robust Reachability Analysis of Hybrid Systems
Eugenio Moggi, Amin Farjudian, Adam Duracz +1
Hybrid systems - more precisely, their mathematical models - can exhibit behaviors, like Zeno behaviors, that are absent in purely discrete or purely continuous systems. First, we…
Intersubband Quantum Disc-in-Nanowire Photodetectors with Normal-incidence Response in the Long-wavelength Infrared
Mohammad Karimi, Magnus Heurlin, Steven Limpert +9
Semiconductor nanowires offer great potential for realizing broadband photodetectors that are compatible with silicon technology. However, the spectral range of such detectors has…
InP/InAsP Nanowire-based Spatially Separate Absorption and Multiplication Avalanche Photodetectors
Vishal Jain, Magnus Heurlin, Enrique Barrigon +11
Avalanche photodetectors (APDs) are key components in optical communication systems due to their increased photocurrent gain and short response time as compared to conventional pho…
Compile-Time Extensions to Hybrid ODEs
Yingfu Zeng, Ferenc Bartha, Walid Taha
Reachability analysis for hybrid systems is an active area of development and has resulted in many promising prototype tools. Most of these tools allow users to express hybrid syst…
Modelling of Autosar Libraries for Large Scale Testing
Wojciech Mostowski, Thomas Arts, John Hughes
We demonstrate a specific method and technology for model-based testing of large software projects with the QuickCheck tool using property-based specifications. Our specifications…