3 citations · 6 across the 6 of their papers we have counts for
6 papers
Industrial-Strength Verification of Solid State Interlocking Programs
Alexei Iliasov, Dominic Taylor, Linas Laibinis +1
The increasing complexity of modern interlocking poses a major challenge to ensuring railway safety. This calls for application of formal methods forassurance and verification of t…
A customisable pipeline for continuously harvesting socially-minded Twitter users
Flavio Primo, Paolo Missier, Alexander Romanovsky +2
On social media platforms and Twitter in particular, specific classes of users such as influencers have been given satisfactory operational definitions in terms of network and cont…
Recruiting from the network: discovering Twitter users who can help combat Zika epidemics
Paolo Missier, Callum McClean, Jonathan Carlton +5
Tropical diseases like \textit{Chikungunya} and \textit{Zika} have come to prominence in recent years as the cause of serious, long-lasting, population-wide health problems. In lar…
Automating Verification of Event-B Models
Paulius Stankaitis, Alexei Iliasov, David Adjepon-Yamoah +1
Event-B is one of more popular notations for model-based, proof driven specification. It offers a fairly high-level mathematical lan- guage based on FOL and ZF set theory and an ec…
Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling
Paolo Missier, Alexander Romanovsky, Tudor Miu +5
Detecting and preventing outbreaks of mosquito-borne diseases such as Dengue and Zika in Brasil and other tropical regions has long been a priority for governments in affected area…
An Introduction to Software Engineering and Fault Tolerance
Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi +1
This book consists of the chapters describing novel approaches to integrating fault tolerance into software development process. They cover a wide range of topics focusing on fault…