Found 139 results
A practical use of model checking for synthesis: generating a dam controller for flood management. Software Practice & Experience. 41:1329–1347.. 2011.
Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008). Science of Computer Programming. 76:63–64.. 2010.
QOS analysis of video streaming service in live cellular networks. Computer Communications. 33:322–335.. 2010.
Safety-critical software. Ercim News. 75:12–13.. 2008.
A Testbed for energy profile characterization of IP services in samrtphones over live networks. Mobile, Networks and Applications (MONET) Journal. :onlinefirst.. 2010.
Testing mobile data applications on smartphones with SymPA. Ercim News. 77:56–57.. 2009.
Third-Generation partnership project standards: for delivery of critical communications for railways. IEEE Vehicular Technology Magazine. 9:58–68.. 2014.
Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks). IEEE Internet Computing. :inpress.. 2013.
UML-Based model-driven development for HSDPA design. IEEE Software. 26:26–33.. 2009.
Using SPIN for automated debugging of infinite executions of Java programs (in press). Journal of Systems and Software. :15.. 2013.
Verification of complex dynamic data tree with mu-calculus. Automated Software Engineering. :onlinefirst.. 2012.
Verification support for arinc-653-based avionics software (to appear). Software Testing Verification & Reliability.. 2010.