Citation Impact
Citing Papers
Lessons from using basic LOTOS
1994
Test generation from LOTOS specifications
1991
A Survey on Access Control in the Age of Internet of Things
2020
An open graph visualization system and its applications to software engineering
2000 Standout
A metric and frameworks for resilience analysis of engineered and infrastructure systems
2013 Standout
Internet of Things: a New Application for Intelligent Traffic Monitoring System
2011
Trace analysis for conformance and arbitration testing
1989
Principles and methods of testing finite state machines-a survey
1996 Standout
Industrial Internet of Things and its Applications in Industry 4.0: State of The Art
2020 Standout
CorrAUC: A Malicious Bot-IoT Traffic Detection Method in IoT Network Using Machine-Learning Techniques
2020 Standout
Expert Elicitation for Reliable System Design
2006
Works of Luigi Logrippo being referenced
Derivation of Test Cases for LAP-B from a LOTOS Specification
1989
Specifying telephone systems in LOTOS
1993
Generation of test purposes from Use Case Maps
2005
Formal specification of telephone systems in LOTOS: the constraint-oriented style approach
1991
A Data Classification Method for Inconsistency and Incompleteness Detection in Access Control Policy Sets
2016
Understanding GPRS: the GSM packet radio service
2000
An interpreter for LOTOS, a specification language for distributed systems
1988