- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |
| 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 |
| 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 |
| 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 |
| 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 |
Colors in the list of coauthors
Last update Thu May 23 07:53:11 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page