![]() | ![]() |
| 2012 | ||
|---|---|---|
| 54 | Laurent Delosieres, Simin Nadjm-Tehrani: BATMAN store-and-forward: The best of the two worlds. PerCom Workshops 2012: 721-727 | |
| 53 | Massimiliano Raciti, Jordi Cucurull, Simin Nadjm-Tehrani: Anomaly Detection in Water Management Systems. Critical Infrastructure Protection 2012: 98-119 | |
| 2011 | ||
| 52 | Simin Nadjm-Tehrani, Maria Vasilevskaya: Towards a Security Domain Model for Embedded Systems. HASE 2011: 180-181 | |
| 51 | Mikael Asplund, Anton Thomasson, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani: Software-related energy footprint of a wireless broadband module. MOBIWAC 2011: 75-82 | |
| 50 | Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund, Urko Zurutuza: Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms. NGMAST 2011: 154-160 | |
| 49 | Jordi Cucurull, Simin Nadjm-Tehrani, Massimiliano Raciti: Modular Anomaly Detection for Smartphone Ad Hoc Communication. NordSec 2011: 65-81 | |
| 48 | Massimiliano Raciti, Jordi Cucurull, Simin Nadjm-Tehrani: Energy-based adaptation in simulations of survivability of ad hoc communication. Wireless Days 2011: 1-7 | |
| 2010 | ||
| 47 | Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani: Anomaly Detection and Mitigation for Disaster Area Networks. RAID 2010: 339-359 | |
| 46 | Gabriel Sandulescu, Péter Schaffer, Simin Nadjm-Tehrani: Vicinity resource cartography for delay-tolerant networks: A holistic perspective. Wireless Days 2010: 1-7 | |
| 45 | Gabriel Sandulescu, Simin Nadjm-Tehrani: Adding Redundancy to Replication in Window-aware Delay-tolerant Routing. JCM 5(2): 117-129 (2010) | |
| 2009 | ||
| 44 | Mikael Asplund, Simin Nadjm-Tehrani: A Partition-Tolerant Manycast Algorithm for Disaster Area Networks. SRDS 2009: 156-165 | |
| 43 | Mikael Asplund, Simin Nadjm-Tehrani, Klemen Zagar: Middleware extensions that trade consistency for availability. Concurrency and Computation: Practice and Experience 21(9): 1181-1203 (2009) | |
| 2008 | ||
| 42 | Erik Kuiper, Simin Nadjm-Tehrani: Geographical Routing in Intermittently Connected Ad Hoc Networks. AINA Workshops 2008: 1690-1695 | |
| 41 | Gabriel Sandulescu, Simin Nadjm-Tehrani: Opportunistic DTN routing with window-aware adaptive replication. AINTEC 2008: 103-112 | |
| 40 | Mikael Asplund, Simin Nadjm-Tehrani, Johan Sigholm: Emerging Information Infrastructures: Cooperation in Disasters. CRITIS 2008: 258-270 | |
| 39 | Jonas Elmqvist, Simin Nadjm-Tehrani: Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. DATE 2008: 921-927 | |
| 38 | Jonas Elmqvist, Simin Nadjm-Tehrani: Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. HASE 2008: 154-164 | |
| 37 | Calin Curescu, Simin Nadjm-Tehrani: A Bidding Algorithm for Optimized Utility-Based Resource Allocation in Ad Hoc Networks. IEEE Trans. Mob. Comput. 7(12): 1397-1414 (2008) | |
| 2007 | ||
| 36 | Mikael Asplund, Simin Nadjm-Tehrani, Stefan Beyer, Pablo Galdámez: Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints. DSN 2007: 656-665 | |
| 35 | Jonas Elmqvist, Simin Nadjm-Tehrani: Safety-Oriented Design of Component Assemblies using Safety Interfaces. Electr. Notes Theor. Comput. Sci. 182: 57-72 (2007) | |
| 2006 | ||
| 34 | Erik Kuiper, Simin Nadjm-Tehrani: Mobility Models for UAV Group Reconnaissance Applications. ICWMC 2006: 33 | |
| 33 | Marcel Lüthi, Simin Nadjm-Tehrani, Calin Curescu: Comparative study of price-based resource allocation algorithms for ad hoc networks. IPDPS 2006 | |
| 32 | Mikael Asplund, Simin Nadjm-Tehrani: Formalising Reconciliation in Partitionable Networks with Distributed Services. RODIN Book 2006: 37-58 | |
| 31 | Mikael Asplund, Simin Nadjm-Tehrani: Post-partition reconciliation protocols for maintaining consistency. SAC 2006: 710-717 | |
| 2005 | ||
| 30 | Diana Szentiványi, Simin Nadjm-Tehrani: Configuring Fault-Tolerant Servers for Best Performance. DEXA Workshops 2005: 310-314 | |
| 29 | Kristina Forsberg, Simin Nadjm-Tehrani, Jan Torin: Fault Analysis of a Distributed Flight Control System. HICSS 2005 | |
| 28 | Kalle Burbeck, Simin Nadjm-Tehrani: Adaptive Real-Time Anomaly Detection with Improved Index and Ability to Forget. ICDCS Workshops 2005: 195-202 | |
| 27 | Diana Szentiványi, Simin Nadjm-Tehrani, John M. Noble: Optimal Choice of Checkpointing Interval for High Availability. PRDC 2005: 159-166 | |
| 26 | Calin Curescu, Simin Nadjm-Tehrani, Bing Cao, Teresa A. Dahlberg: Utility-based Adaptive Resource Allocation in Hybrid Wireless Networks. QSHINE 2005: 44 | |
| 25 | Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea: Safety Interfaces for Component-Based Systems. SAFECOMP 2005: 246-260 | |
| 24 | Calin Curescu, Simin Nadjm-Tehrani: Time-Aware Utility-Based Resource Allocation in Wireless Networks. IEEE Trans. Parallel Distrib. Syst. 16(7): 624-636 (2005) | |
| 23 | Jerker Hammarberg, Simin Nadjm-Tehrani: Formal verification of fault tolerance in safety-critical reconfigurable modules. STTT 7(3): 268-279 (2005) | |
| 2004 | ||
| 22 | Kalle Burbeck, Simin Nadjm-Tehrani: ADWICE - Anomaly Detection with Real-Time Incremental Clustering. ICISC 2004: 407-424 | |
| 21 | Diana Szentiványi, Simin Nadjm-Tehrani: Aspects for Improvement of Performance in Fault-Tolerant Software. PRDC 2004: 283-291 | |
| 20 | Mehdi Amirijoo, Aleksandra Tesanovic, Simin Nadjm-Tehrani: Raising motivation in real-time laboratories: the soccer scenario. SIGCSE 2004: 265-269 | |
| 19 | Tobias Chyssler, Simin Nadjm-Tehrani, Stefan Burschka, Kalle Burbeck: Alarm Reduction and Correlation in Defence of IP Networks. WETICE 2004: 229-234 | |
| 2003 | ||
| 18 | Calin Curescu, Simin Nadjm-Tehrani: Time-Aware Utility-Based QoS Optimisation. ECRTS 2003: 83- | |
| 17 | Jerker Hammarberg, Simin Nadjm-Tehrani: Development of Safety-Critical Reconfigurable Hardware with Esterel. Electr. Notes Theor. Comput. Sci. 80: 219-234 (2003) | |
| 2002 | ||
| 16 | Christoph W. Keßler, Simin Nadjm-Tehrani: Mid-term course evaluations with muddy cards. ITiCSE 2002: 233 | |
| 15 | Simin Nadjm-Tehrani, Kayvan Najarian, Calin Curescu, Tomas Lingvall, Teresa A. Dahlberg: Adaptive load control algorithms for 3rd generation mobile networks. MSWiM 2002: 104-111 | |
| 2001 | ||
| 14 | Erik Herzog, Peter Loborg, Simin Nadjm-Tehrani: Real-time lab excercises: a teacher's dilemma. SIGCSE 2001: 273-277 | |
| 2000 | ||
| 13 | Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg: Co-simulation of Hybrid Systems: Signal-Simulink. FTRTFT 2000: 134-151 | |
| 1999 | ||
| 12 | Man Lin, Jacek Malec, Simin Nadjm-Tehrani: On Semantics and Correctness of Reactive Rule-Based Programs. Ershov Memorial Conference 1999: 235-246 | |
| 11 | Simin Nadjm-Tehrani: Integration of Analog and Discrete Synchronous Design. HSCC 1999: 193-208 | |
| 10 | Simin Nadjm-Tehrani, Ove Åkerlund: Combining Theorem Proving and Continuous Models in Synchronous Design. World Congress on Formal Methods 1999: 1384-1399 | |
| 9 | Simin Nadjm-Tehrani, Jan-Erik Strömberg: Formal Verification of Dynamic Properties in an Aerospace Application. Formal Methods in System Design 14(2): 135-169 (1999) | |
| 1997 | ||
| 8 | Man Lin, Jacek Malec, Simin Nadjm-Tehrani: On Semantics of Reactive Rule-Based Systems. ASIAN 1997: 379-380 | |
| 7 | Simin Nadjm-Tehrani: Time-Deterministic Hybrid Transition Systems. Hybrid Systems 1997: 238-250 | |
| 1996 | ||
| 6 | Martin Westhead, Simin Nadjm-Tehrani: Verification of Embedded Systems Using Synchronous Observers. FTRTFT 1996: 405-419 | |
| 1995 | ||
| 5 | Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top: Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. Hybrid Systems 1995: 282-293 | |
| 4 | Simin Nadjm-Tehrani, Jan-Erik Strömberg: Proving Dynamic Properties in an Aerospace Application. IEEE Real-Time Systems Symposium 1995: 2-10 | |
| 1994 | ||
| 3 | Simin Nadjm-Tehrani, Jan-Erik Strömberg: From Physical Modelling to Compositional Models of Hybrid Systems. FTRTFT 1994: 583-604 | |
| 1988 | ||
| 2 | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: The Use of Assertions in Algorithmic Debugging. FGCS 1988: 573-581 | |
| 1 | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: Algorithmic Debugging with Assertions. META 1988: 501-521 | |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page