Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Simin Nadjm-Tehrani
2010 – today
- 2013
[j14]Gabriel Sandulescu, Péter Schaffer, Simin Nadjm-Tehrani: Exploiting resource heterogeneity in delay-tolerant networks. Wireless Communications and Mobile Computing 13(3): 230-243 (2013)- [c50]Ekhiotz Jon Vergara, Mihails Prihodko, Simin Nadjm-Tehrani: Mobile location sharing: an energy consumption study. e-Energy 2013: 289-290
- 2012
- [j13]Erik Kuiper, Simin Nadjm-Tehrani, Di Yuan: A framework for performance analysis of geographic delaytolerant routing. EURASIP J. Wireless Comm. and Networking 2012: 184 (2012)
- [j12]Mikael Asplund, Simin Nadjm-Tehrani: Worst-case latency of broadcast in intermittently connected networks. IJAHUC 11(2/3): 125-138 (2012)
- [j11]Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani, Tiziano Santoro: Surviving Attacks in Challenged Networks. IEEE Trans. Dependable Sec. Comput. 9(6): 917-929 (2012)
- [c49]Mikael Asplund, Simin Nadjm-Tehrani: Analysing Delay-Tolerant Networks with Correlated Mobility. ADHOC-NOW 2012: 83-97
- [c48]Ekhiotz Jon Vergara, Simin Nadjm-Tehrani: Energy-aware cross-layer burst buffering for wireless communication. e-Energy 2012: 24
- [c47]Maria Vasilevskaya, Simin Nadjm-Tehrani, Linda Ariani Gunawan, Peter Herrmann: Security asset elicitation for collaborative models. MDsec 2012: 7
- [c46]Laurent Delosieres, Simin Nadjm-Tehrani: BATMAN store-and-forward: The best of the two worlds. PerCom Workshops 2012: 721-727
- [p1]Massimiliano Raciti, Jordi Cucurull, Simin Nadjm-Tehrani: Anomaly Detection in Water Management Systems. Critical Infrastructure Protection 2012: 98-119
- 2011
- [j10]Erik Kuiper, Simin Nadjm-Tehrani: Geographical Routing With Location Service in Intermittently Connected MANETs. IEEE T. Vehicular Technology 60(2): 592-604 (2011)
- [c45]Simin Nadjm-Tehrani, Maria Vasilevskaya: Towards a Security Domain Model for Embedded Systems. HASE 2011: 180-181
- [c44]Mikael Asplund, Anton Thomasson, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani: Software-related energy footprint of a wireless broadband module. MOBIWAC 2011: 75-82
- [c43]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
- [c42]Jordi Cucurull, Simin Nadjm-Tehrani, Massimiliano Raciti: Modular Anomaly Detection for Smartphone Ad Hoc Communication. NordSec 2011: 65-81
- [c41]Massimiliano Raciti, Jordi Cucurull, Simin Nadjm-Tehrani: Energy-based adaptation in simulations of survivability of ad hoc communication. Wireless Days 2011: 1-7
- 2010
- [j9]Gabriel Sandulescu, Simin Nadjm-Tehrani: Adding Redundancy to Replication in Window-aware Delay-tolerant Routing. JCM 5(2): 117-129 (2010)
- [c40]Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani: Anomaly Detection and Mitigation for Disaster Area Networks. RAID 2010: 339-359
- [c39]Gabriel Sandulescu, Péter Schaffer, Simin Nadjm-Tehrani: Vicinity resource cartography for delay-tolerant networks: A holistic perspective. Wireless Days 2010: 1-7
2000 – 2009
- 2009
- [j8]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)
- [c38]Mikael Asplund, Simin Nadjm-Tehrani: A Partition-Tolerant Manycast Algorithm for Disaster Area Networks. SRDS 2009: 156-165
- 2008
- [j7]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)
- [c37]Erik Kuiper, Simin Nadjm-Tehrani: Geographical Routing in Intermittently Connected Ad Hoc Networks. AINA Workshops 2008: 1690-1695
- [c36]Gabriel Sandulescu, Simin Nadjm-Tehrani: Opportunistic DTN routing with window-aware adaptive replication. AINTEC 2008: 103-112
- [c35]Mikael Asplund, Simin Nadjm-Tehrani, Johan Sigholm: Emerging Information Infrastructures: Cooperation in Disasters. CRITIS 2008: 258-270
- [c34]Jonas Elmqvist, Simin Nadjm-Tehrani: Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. DATE 2008: 921-927
- [c33]Jonas Elmqvist, Simin Nadjm-Tehrani: Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. HASE 2008: 154-164
- 2007
- [j6]Jonas Elmqvist, Simin Nadjm-Tehrani: Safety-Oriented Design of Component Assemblies using Safety Interfaces. Electr. Notes Theor. Comput. Sci. 182: 57-72 (2007)
- [j5]Kalle Burbeck, Simin Nadjm-Tehrani: Adaptive real-time anomaly detection with incremental clustering. Inf. Sec. Techn. Report 12(1): 56-67 (2007)
- [c32]Mikael Asplund, Simin Nadjm-Tehrani, Stefan Beyer, Pablo Galdámez: Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints. DSN 2007: 656-665
- 2006
- [c31]Erik Kuiper, Simin Nadjm-Tehrani: Mobility Models for UAV Group Reconnaissance Applications. ICWMC 2006: 33
- [c30]Marcel Lüthi, Simin Nadjm-Tehrani, Calin Curescu: Comparative study of price-based resource allocation algorithms for ad hoc networks. IPDPS 2006
- [c29]Mikael Asplund, Simin Nadjm-Tehrani: Formalising Reconciliation in Partitionable Networks with Distributed Services. RODIN Book 2006: 37-58
- [c28]Mikael Asplund, Simin Nadjm-Tehrani: Post-partition reconciliation protocols for maintaining consistency. SAC 2006: 710-717
- 2005
- [j4]Jerker Hammarberg, Simin Nadjm-Tehrani: Formal verification of fault tolerance in safety-critical reconfigurable modules. STTT 7(3): 268-279 (2005)
- [j3]Calin Curescu, Simin Nadjm-Tehrani: Time-Aware Utility-Based Resource Allocation in Wireless Networks. IEEE Trans. Parallel Distrib. Syst. 16(7): 624-636 (2005)
- [c27]Diana Szentiványi, Simin Nadjm-Tehrani: Configuring Fault-Tolerant Servers for Best Performance. DEXA Workshops 2005: 310-314
- [c26]Kristina Forsberg, Simin Nadjm-Tehrani, Jan Torin: Fault Analysis of a Distributed Flight Control System. HICSS 2005
- [c25]Kalle Burbeck, Simin Nadjm-Tehrani: Adaptive Real-Time Anomaly Detection with Improved Index and Ability to Forget. ICDCS Workshops 2005: 195-202
- [c24]Diana Szentiványi, Simin Nadjm-Tehrani, John M. Noble: Optimal Choice of Checkpointing Interval for High Availability. PRDC 2005: 159-166
- [c23]Calin Curescu, Simin Nadjm-Tehrani, Bing Cao, Teresa A. Dahlberg: Utility-based Adaptive Resource Allocation in Hybrid Wireless Networks. QSHINE 2005: 44
- [c22]Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea: Safety Interfaces for Component-Based Systems. SAFECOMP 2005: 246-260
- [c21]Calin Curescu, Simin Nadjm-Tehrani: Price/utility-based optimized resource allocation in wireless ad hoc networks. SECON 2005: 85-95
- 2004
- [c20]Kalle Burbeck, Simin Nadjm-Tehrani: ADWICE - Anomaly Detection with Real-Time Incremental Clustering. ICISC 2004: 407-424
- [c19]Diana Szentiványi, Simin Nadjm-Tehrani: Aspects for Improvement of Performance in Fault-Tolerant Software. PRDC 2004: 283-291
- [c18]Mehdi Amirijoo, Aleksandra Tesanovic, Simin Nadjm-Tehrani: Raising motivation in real-time laboratories: the soccer scenario. SIGCSE 2004: 265-269
- [c17]Tobias Chyssler, Simin Nadjm-Tehrani, Stefan Burschka, Kalle Burbeck: Alarm Reduction and Correlation in Defence of IP Networks. WETICE 2004: 229-234
- 2003
- [j2]Jerker Hammarberg, Simin Nadjm-Tehrani: Development of Safety-Critical Reconfigurable Hardware with Esterel. Electr. Notes Theor. Comput. Sci. 80: 219-234 (2003)
- [c16]
- 2002
- [c15]Christoph W. Keßler, Simin Nadjm-Tehrani: Mid-term course evaluations with muddy cards. ITiCSE 2002: 233
- [c14]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
- [c13]Erik Herzog, Peter Loborg, Simin Nadjm-Tehrani: Real-time lab excercises: a teacher's dilemma. SIGCSE 2001: 273-277
- 2000
- [c12]Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg: Co-simulation of Hybrid Systems: Signal-Simulink. FTRTFT 2000: 134-151
1990 – 1999
- 1999
- [j1]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)
- [c11]Man Lin, Jacek Malec, Simin Nadjm-Tehrani: On Semantics and Correctness of Reactive Rule-Based Programs. Ershov Memorial Conference 1999: 235-246
- [c10]Simin Nadjm-Tehrani, Ove Åkerlund: Combining Theorem Proving and Continuous Models in Synchronous Design. World Congress on Formal Methods 1999: 1384-1399
- [c9]
- 1997
- [c8]Man Lin, Jacek Malec, Simin Nadjm-Tehrani: On Semantics of Reactive Rule-Based Systems. ASIAN 1997: 379-380
- [c7]
- 1996
- [c6]Martin Westhead, Simin Nadjm-Tehrani: Verification of Embedded Systems Using Synchronous Observers. FTRTFT 1996: 405-419
- 1995
- [c5]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
- [c4]Simin Nadjm-Tehrani, Jan-Erik Strömberg: Proving Dynamic Properties in an Aerospace Application. RTSS 1995: 2-10
- 1994
- [c3]Simin Nadjm-Tehrani, Jan-Erik Strömberg: From Physical Modelling to Compositional Models of Hybrid Systems. FTRTFT 1994: 583-604
1980 – 1989
- 1988
- [c2]Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: The Use of Assertions in Algorithmic Debugging. FGCS 1988: 573-581
- [c1]Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: Algorithmic Debugging with Assertions. META 1988: 501-521
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-06 02:02 CEST by the dblp team