Concepedia

Alessandro Coglio

AC

11

Publications

344

Citations

10

H-Index

1998

Active since

Affiliations

Kestrel Institute(Current)

Vanderbilt University

Alessandro Coglio is an author at Kestrel Institute specializing in engineering, computer science, and system software.

Top concepts

EngineeringComputer ScienceSystem SoftwareVerificationFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware Verification

Publications per year

1998–2021

11

Publications

11

An architecture for emotional agents

Antonio Camurri, Alessandro Coglio · IEEE Multimedia · 1998 · 71 citations

Artificial Intelligence, Emotional Agents, Engineering +19

Roadmap for enhanced languages and methods to aid verification

Gary T. Leavens, Jean-Raymond Abrial, Don Batory et al. · 2006 · 69 citations

Software Maintenance, Engineering, Verification +24

A formal specification of Java class loading

Zhenyu Qian, Allen Goldberg, Alessandro Coglio · 2000 · 40 citations

Engineering, Loading Mechanism, Verification +21

Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems

Tihamér Levendovszky, Abhishek Dubey, William R. Otte et al. · IEEE Software · 2014 · 33 citations

Provisioning (Technology), Engineering, Information Security +26

A software platform for fractionated spacecraft

Abhishek Dubey, William Emfinger, Aniruddha Gokhale et al. · 2012 · 31 citations

Software Platform, Cluster Computing, Engineering +22

Rows per page

1–5 of 11