4 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR2 papers
- Centre for Health Technology and Services ResearchPT1 paper
- ImViA - Imagerie et Vision ArtificielleFR1 paper
- INSA Hauts-de-France1 paper
- Institut de Recherche Technologique SystemXFR1 paper
- Laboratoire d'Automatique, de Mécanique et d'Informatique Industrielles et HumainesFR1 paper
- Laboratoire de Recherche en InformatiqueFR1 paper
- Laboratoire Interdisciplinaire Carnot de BourgogneFR1 paper
- Polytechnic Institute of PortoPT1 paper
- Universidade do PortoPT1 paper
- Université de BourgogneFR1 paper
- Université Paris-SaclayFR1 paper
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 1 cited
Spreadsheet-based Configuration of Families of Real-Time Specifications
José Proença, David Pereira, Giann Spilere Nandi +2
Model checking real-time systems is complex, and requires a careful trade-off between including enough detail to be useful and not too much detail to avoid state explosion. This wo…
cs.SE2019★ 4 cited
Making Agile Development Processes fit for V-style Certification Procedures
Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot +1
We present a process for the development of safety and security critical components in transportation systems targeting a high-level certification (CENELEC 50126/50128, DO 178, CC…