Concepedia

Alain Plantec

AP

8

Publications

224

Citations

8

H-Index

2006

Active since

Affiliations

Université de Bretagne Occidentale(Current)

Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance

Télécom Paris

Alain Plantec is an author at Université de Bretagne Occidentale specializing in engineering, computer science, and system software.

Top concepts

EngineeringComputer ScienceSystem SoftwareSystems EngineeringSoftware DesignProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering

Publications per year

2006–2014

8

Publications

8

Validate, simulate, and implement ARINC653 systems using the AADL

Julien Delange, Laurent Pautet, Alain Plantec et al. · 2009 · 65 citations

Engineering, Verification, Safety Science +21

AADL modeling and analysis of hierarchical schedulers

Frank Singhoff, Alain Plantec · 2007 · 50 citations

Engineering, Industrial Engineering, Aadl Systems +22

Investigating the usability of real-time scheduling theory with the Cheddar project

Frank Singhoff, Alain Plantec, Pierre Dissaux et al. · Real-Time Systems · 2009 · 48 citations

Real-time System, Engineering, Real-time Algorithm +11

An Ada design pattern recognition tool for AADL performance analysis

Vincent Gaudel, Frank Singhoff, Alain Plantec et al. · ACM SIGAda Ada Letters · 2011 · 14 citations

Engineering, Verification, Computer Architecture +23

Refactoring of an Ada 95 library with a Meta CASE tool

Alain Plantec, Frank Singhoff · ACM SIGAda Ada Letters · 2006 · 12 citations

Software Maintenance, Engineering, Object-oriented Modeling +18

Rows per page

1–5 of 8