Karine Altisen - Concepedia

Author

Karine Altisen

Also Known As

A. Di Pierro, Altisen Karine, Altisen, Karine, K. Altisen, Karine Altisen

Publications

761

Citations

H-Index

Concepts

All Affiliations

Karine Altisen is an author at Verimag specializing in systems engineering, computer science, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	173
2	Computer Science	4	4	173
3	Systems Engineering	4	4	173
4	Computer Engineering	1	1	102
5	Computer Architecture	1	1	102

Karine Altisen

Publications

312

Citations

H-Index

Page 1

	Year	Citations
Scheduler Modeling Based on the Controller Synthesis Paradigm Karine Altisen, Joseph Sifakis Real-Time Systems	2002	109
A framework for scheduler synthesis Karine Altisen, Amir Pnueli, Joseph Sifakis, EngineeringComputer ArchitectureFormal VerificationReal-time SystemSystems Engineering	2003	102
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis Franck Cassez, Stavros Tripakis, Karine Altisen Fault DiagnosisDynamic ObserversEngineeringSensor Minimization ProblemsState Observer	2007	32
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework Karine Altisen, Florence Maraninchi, David Stauch Science of Computer Programming EngineeringAutomated ReasoningProgram AnalysisObject-oriented ModelingFormal Methods	2006	27
Self-stabilizing leader election in polynomial steps Karine Altisen, Alain Cournier, Stéphane Devismes, Information and Computation Computational Social ChoiceVoting RulePolynomial StepsMechanism DesignSmart Voting	2016	16
Introduction to Distributed Self-Stabilizing Algorithms Karine Altisen, Stéphane Devismes, Swan Dubois, Synthesis lectures on distributed computing theory	2019	14
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems Franck Cassez, Stavros Tripakis, Karine Altisen Fault DiagnosisEngineeringDiagnosisIntelligent SystemsSystem Diagnosis	2007	12

Page 1