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