The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Simin Nadjm-Tehrani" ( http://dblp.L3S.de/Authors/Simin_Nadjm-Tehrani )

URL (Homepage):  http://www.ida.liu.se/~snt/  Author page on DBLP  Author page in RDF  Community of Simin Nadjm-Tehrani in ASPL-2

Publication years (Num. hits)
1988-2002 (16) 2003-2006 (18) 2007-2011 (18) 2012 (2)
Publication types (Num. hits)
article(8) incollection(1) inproceedings(45)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 28 keywords

Results
Found 54 publication records. Showing 54 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Massimiliano Raciti, Jordi Cucurull, Simin Nadjm-Tehrani Anomaly Detection in Water Management Systems. Search on Bibsonomy Critical Infrastructure Protection The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Laurent Delosieres, Simin Nadjm-Tehrani BATMAN store-and-forward: The best of the two worlds. Search on Bibsonomy PerCom Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Simin Nadjm-Tehrani, Maria Vasilevskaya Towards a Security Domain Model for Embedded Systems. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ekhiotz Jon Vergara, Simin Nadjm-Tehrani, Mikael Asplund, Urko Zurutuza Resource Footprint of a Manycast Protocol Implementation on Multiple Mobile Platforms. Search on Bibsonomy NGMAST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Massimiliano Raciti, Jordi Cucurull, Simin Nadjm-Tehrani Energy-based adaptation in simulations of survivability of ad hoc communication. Search on Bibsonomy Wireless Days The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jordi Cucurull, Simin Nadjm-Tehrani, Massimiliano Raciti Modular Anomaly Detection for Smartphone Ad Hoc Communication. Search on Bibsonomy NordSec The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mikael Asplund, Anton Thomasson, Ekhiotz Jon Vergara, Simin Nadjm-Tehrani Software-related energy footprint of a wireless broadband module. Search on Bibsonomy MOBIWAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gabriel Sandulescu, Simin Nadjm-Tehrani Adding Redundancy to Replication in Window-aware Delay-tolerant Routing. Search on Bibsonomy JCM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gabriel Sandulescu, Péter Schaffer, Simin Nadjm-Tehrani Vicinity resource cartography for delay-tolerant networks: A holistic perspective. Search on Bibsonomy Wireless Days The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jordi Cucurull, Mikael Asplund, Simin Nadjm-Tehrani Anomaly Detection and Mitigation for Disaster Area Networks. Search on Bibsonomy RAID The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mikael Asplund, Simin Nadjm-Tehrani, Klemen Zagar Middleware extensions that trade consistency for availability. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mikael Asplund, Simin Nadjm-Tehrani A Partition-Tolerant Manycast Algorithm for Disaster Area Networks. Search on Bibsonomy SRDS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partition tolerance, manycast, ad-hoc networks, energy efficiency, dependability, disaster management
1Calin Curescu, Simin Nadjm-Tehrani A Bidding Algorithm for Optimized Utility-Based Resource Allocation in Ad Hoc Networks. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gabriel Sandulescu, Simin Nadjm-Tehrani Opportunistic DTN routing with window-aware adaptive replication. Search on Bibsonomy AINTEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mikael Asplund, Simin Nadjm-Tehrani, Johan Sigholm Emerging Information Infrastructures: Cooperation in Disasters. Search on Bibsonomy CRITIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonas Elmqvist, Simin Nadjm-Tehrani Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Erik Kuiper, Simin Nadjm-Tehrani Geographical Routing in Intermittently Connected Ad Hoc Networks. Search on Bibsonomy AINA Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonas Elmqvist, Simin Nadjm-Tehrani Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonas Elmqvist, Simin Nadjm-Tehrani Safety-Oriented Design of Component Assemblies using Safety Interfaces. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mikael Asplund, Simin Nadjm-Tehrani, Stefan Beyer, Pablo Galdámez Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mikael Asplund, Simin Nadjm-Tehrani Formalising Reconciliation in Partitionable Networks with Distributed Services. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marcel Lüthi, Simin Nadjm-Tehrani, Calin Curescu Comparative study of price-based resource allocation algorithms for ad hoc networks. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mikael Asplund, Simin Nadjm-Tehrani Post-partition reconciliation protocols for maintaining consistency. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF reconciliation protocol, partition, consistency, availability, trade-off
1Erik Kuiper, Simin Nadjm-Tehrani Mobility Models for UAV Group Reconnaissance Applications. Search on Bibsonomy ICWMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Calin Curescu, Simin Nadjm-Tehrani Time-Aware Utility-Based Resource Allocation in Wireless Networks. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF utility-based optimization, wireless networks, network management, Bandwidth allocation, QoS provisioning
1Jerker Hammarberg, Simin Nadjm-Tehrani Formal verification of fault tolerance in safety-critical reconfigurable modules. Search on Bibsonomy STTT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
1Diana Szentiványi, Simin Nadjm-Tehrani, John M. Noble Optimal Choice of Checkpointing Interval for High Availability. Search on Bibsonomy PRDC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kalle Burbeck, Simin Nadjm-Tehrani Adaptive Real-Time Anomaly Detection with Improved Index and Ability to Forget. Search on Bibsonomy ICDCS Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea Safety Interfaces for Component-Based Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kristina Forsberg, Simin Nadjm-Tehrani, Jan Torin Fault Analysis of a Distributed Flight Control System. Search on Bibsonomy HICSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Calin Curescu, Simin Nadjm-Tehrani, Bing Cao, Teresa A. Dahlberg Utility-based Adaptive Resource Allocation in Hybrid Wireless Networks. Search on Bibsonomy QSHINE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Diana Szentiványi, Simin Nadjm-Tehrani Configuring Fault-Tolerant Servers for Best Performance. Search on Bibsonomy DEXA Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Diana Szentiványi, Simin Nadjm-Tehrani Aspects for Improvement of Performance in Fault-Tolerant Software. Search on Bibsonomy PRDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Kalle Burbeck, Simin Nadjm-Tehrani ADWICE - Anomaly Detection with Real-Time Incremental Clustering. Search on Bibsonomy ICISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Clustering, Adaptability, Real-time, Intrusion Detection, Anomaly Detection
1Tobias Chyssler, Simin Nadjm-Tehrani, Stefan Burschka, Kalle Burbeck Alarm Reduction and Correlation in Defence of IP Networks. Search on Bibsonomy WETICE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mehdi Amirijoo, Aleksandra Tesanovic, Simin Nadjm-Tehrani Raising motivation in real-time laboratories: the soccer scenario. Search on Bibsonomy SIGCSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lab environments, real-time systems, pedagogy, curriculum issues
1Jerker Hammarberg, Simin Nadjm-Tehrani Development of Safety-Critical Reconfigurable Hardware with Esterel. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Calin Curescu, Simin Nadjm-Tehrani Time-Aware Utility-Based QoS Optimisation. Search on Bibsonomy ECRTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Christoph W. Keßler, Simin Nadjm-Tehrani Mid-term course evaluations with muddy cards. Search on Bibsonomy ITiCSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Simin Nadjm-Tehrani, Kayvan Najarian, Calin Curescu, Tomas Lingvall, Teresa A. Dahlberg Adaptive load control algorithms for 3rd generation mobile networks. Search on Bibsonomy MSWiM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF QoS, resource allocation, load control
1Erik Herzog, Peter Loborg, Simin Nadjm-Tehrani Real-time lab excercises: a teacher's dilemma. Search on Bibsonomy SIGCSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg Co-simulation of Hybrid Systems: Signal-Simulink. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Simin Nadjm-Tehrani, Jan-Erik Strömberg Formal Verification of Dynamic Properties in an Aerospace Application. Search on Bibsonomy Formal Methods in System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Man Lin, Jacek Malec, Simin Nadjm-Tehrani On Semantics and Correctness of Reactive Rule-Based Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Simin Nadjm-Tehrani, Ove Åkerlund Combining Theorem Proving and Continuous Models in Synchronous Design. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Simin Nadjm-Tehrani Integration of Analog and Discrete Synchronous Design. Search on Bibsonomy HSCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Man Lin, Jacek Malec, Simin Nadjm-Tehrani On Semantics of Reactive Rule-Based Systems. Search on Bibsonomy ASIAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Simin Nadjm-Tehrani Time-Deterministic Hybrid Transition Systems. Search on Bibsonomy Hybrid Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Martin Westhead, Simin Nadjm-Tehrani Verification of Embedded Systems Using Synchronous Observers. Search on Bibsonomy FTRTFT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Simin Nadjm-Tehrani, Jan-Erik Strömberg Proving Dynamic Properties in an Aerospace Application. Search on Bibsonomy IEEE Real-Time Systems Symposium The full citation details ... 1995 DBLP  BibTeX  RDF
1Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. Search on Bibsonomy Hybrid Systems The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Simin Nadjm-Tehrani, Jan-Erik Strömberg From Physical Modelling to Compositional Models of Hybrid Systems. Search on Bibsonomy FTRTFT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski Algorithmic Debugging with Assertions. Search on Bibsonomy META The full citation details ... 1988 DBLP  BibTeX  RDF
1Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski The Use of Assertions in Algorithmic Debugging. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
Displaying result #1 - #54 of 54 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.