dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Simin Nadjm-Tehrani Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Ove Åkerlund [10]
2Mehdi Amirijoo [20]
3Mikael Asplund [31] [32] [36] [40] [43] [44] [47] [50] [51]
4Albert Beneviste [13]
5Stefan Beyer [36]
6Kalle Burbeck [19] [22] [28]
7Stefan Burschka [19]
8Bing Cao [26]
9Tobias Chyssler [19]
10Jordi Cucurull [47] [48] [49] [53]
11Calin Curescu [15] [18] [24] [26] [33] [37]
12Teresa A. Dahlberg [15] [26]
13Laurent Delosieres [54]
14Wlodzimierz Drabent (Wlodek Drabent) [1] [2]
15Jonas Elmqvist [25] [35] [38] [39]
16Kristina Forsberg [29]
17Pablo Galdámez [36]
18Jerker Hammarberg [17] [23]
19Erik Herzog [14]
20Christoph W. Keßler (Christoph W. Kessler) [16]
21Erik Kuiper [34] [42]
22Man Lin [8] [12]
23Tomas Lingvall [15]
24Peter Loborg [14]
25Marcel Lüthi [33]
26Jacek Malec [8] [12]
27Jan Maluszynski [1] [2]
28Marius Minea [25]
29Kayvan Najarian [15]
30John M. Noble [27]
31Massimiliano Raciti [48] [49] [53]
32Gabriel Sandulescu [41] [45] [46]
33Péter Schaffer [46]
34Johan Sigholm [40]
35Jan-Erik Strömberg [3] [4] [5] [9] [13]
36Diana Szentiványi [21] [27] [30]
37Aleksandra Tesanovic [20]
38Anton Thomasson [51]
39Jan L. Top [5]
40Jan Torin [29]
41Stéphane Tudoret [13]
42Maria Vasilevskaya [52]
43Ekhiotz Jon Vergara [50] [51]
44Martin Westhead [6]
45Klemen Zagar [43]
46Urko Zurutuza [50]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page