Sciweavers

SIGSOFT
2011
ACM
13 years 6 months ago
Static analysis by abstract interpretation of embedded critical software
Julien Bertrane, Patrick Cousot, Radhia Cousot, J&...
SIGSOFT
2011
ACM
13 years 6 months ago
Modeling a distributed intrusion detection system using collaborative building blocks
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
Linda Ariani Gunawan, Michael Vogel, Frank Alexand...