3 citations · 6 across the 6 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016
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…
cs.SI2016★ 1 cited
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…