Ciprian Teodorov
63
Documents
Publications
From OCL-based model static analysis to quick fixes21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩
Conference papers
hal-03937212v1
|
|
Practical multiverse debugging through user-defined reductionsMODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Conference papers
hal-03891589v1
|
|
Dolmen: FPGA Swarm for Safety and Liveness Verification2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
Conference papers
hal-03708237v1
|
|
|
Security property modeling7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
Conference papers
hal-03188864v1
|
AnimUML as a UML Modeling and Verification Teaching ToolMODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Conference papers
hal-03408698v1
|
|
Prototyping FPGA through overlays2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩
Conference papers
hal-03761788v1
|
|
|
Automatic Verification of BPMN Models10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers
hal-02441878v1
|
Menhir: Generic High-Speed FPGA Model-Checker2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
Conference papers
hal-03028409v1
|
|
Designing, Animating, and Verifying Partial UML Models23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
Conference papers
hal-02931876v1
|
|
|
A Domain-specific Modeling Framework for Attack Surface ModelingICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Conference papers
hal-02502387v1
|
Modular Deployment of UML Models for V&V Activities and Embedded ExecutionMoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Conference papers
hal-02929122v1
|
|
|
Partially Bounded Context-Aware Verification17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩
Conference papers
hal-02434620v1
|
|
Early Validation Framework for Critical and Complex Process-Centric Systems20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩
Conference papers
hal-02149584v1
|
Data Management Mechanisms for Internet of Things: A position paperCSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
Conference papers
hal-02515160v1
|
|
|
Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
Conference papers
hal-02433749v1
|
EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104
Conference papers
hal-02375948v1
|
|
A Model Checkable UML Soccer Player3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Conference papers
hal-02375996v1
|
|
|
Domain-oriented Verification Management8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
Conference papers
hal-01933794v1
|
Unified LTL Verification and Embedded Execution of UML Models21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
Conference papers
hal-01887948v1
|
|
Embedded UML Model Execution to Bridge the Gap Between Design and RuntimeMDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
Conference papers
hal-01802247v1
|
|
|
A new dominating tree routing algorithm for efficient leader election in IoT networks15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
Conference papers
hal-01804280v1
|
|
A Problem-Oriented Approach to Critical System Design and Diagnosis Support1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Conference papers
hal-01933792v1
|
Using Parallel and Distributed Reachability in Model CheckingRecent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
Conference papers
hal-01780556v1
|
|
Asserting causal properties in High Level Synthesis2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
Conference papers
hal-01623030v1
|
|
|
A Diagnosis Framework for Critical Systems Verification15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
Conference papers
hal-01559688v1
|
Towards one Model Interpreter for Both Design and Deployment3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Conference papers
hal-01585318v1
|
|
|
Model Checking of SCADE Designed Systems8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Conference papers
hal-01289454v1
|
Context-Aware Verification of a Cruise-Control SystemMEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩
Conference papers
hal-01203701v1
|
|
|
Relational and graph queries over a transition systemInternational Conference on Computer as a Tool (EUROCON 2015), Sep 2015, Salamanque, Spain. pp.1-6, ⟨10.1109/EUROCON.2015.7313738⟩
Conference papers
hal-01203662v1
|
A Role Language to Interpret Multi-Formalism System of Systems ModelsSyscon 2015, IEEE, Apr 2015, Vancouver, Canada
Conference papers
hal-01156518v1
|
|
|
Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Conference papers
hal-01087442v1
|
|
KriQL: a query language for the diagnosis of transition systems15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
Conference papers
hal-01203649v1
|
Towards a Dynamic Infrastructure for Playing withSystems of SystemsECSA 2014, Aug 2014, Vienne, Austria
Conference papers
hal-01090362v1
|
|
Context-aware Veri cation of a Landing Gear SystemABZ 2014, Jun 2014, Toulouse, France. pp.52-65
Conference papers
hal-01006697v1
|
|
|
Techniques and Challenges for Trace Processing from a Model-Checking PerspectiveInternational Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Conference papers
hal-01119571v1
|
FPGA SDK for Nanoscale ArchitecturesRECOSOC, Jun 2011, Montpellier, France. pp.1-8
Conference papers
hal-00598837v1
|
|
MDE-based FPGA Physical Design Fast Model-Driven Prototyping with SmalltalkIWST 2011, Aug 2011, Edinburgh, United Kingdom. pp.1-13
Conference papers
hal-00620820v1
|
|
Regular 2D Nasic-based Architecture and Design Space ExplorationNANOARCH 2011, Jun 2011, San Diego, United States. pp.70-77
Conference papers
hal-00598850v1
|
|
FPGA Physical-Design Automation using Model-Driven EngineeringRECOSOC, Jun 2011, Montpellier, France. pp.1-6
Conference papers
hal-00598838v1
|
|
Process System Modeling for RSoCReconfigurable Communication-centric Systems-on-Chip workshop., Jul 2008, Barcelone, Spain. Session 6: Mapping and Programming Models
Conference papers
hal-00491586v1
|
|
On the Way to Design Computing Architectures with Emerging Nanoscale TechnologiesColloque annuel GDR-SOC-Sip, Jun 2008, Paris, France
Conference papers
hal-00380878v1
|
|
Modeling sensor networks as concurrent systemsFourth International Conference on Networked Sensing Systems, Jun 2007, Braunschweig, Germany. pp.296
Conference papers
hal-00170104v1
|
|
Quick integration of high level tools in MORPHEUS: The case of SpecEditAETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France
Conference papers
hal-00491577v1
|
|
Process Networks on Reconfigurable SoCAETHER - MORPHEUS Workshop- Autumn School in From Reconfigurable to Self - Adaptive Computing (AMWAS'07), Oct 2007, Paris, France
Conference papers
hal-00491576v1
|
Using Parallel and Distributed Reachability in Model CheckingAmbient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
Book sections
hal-02515020v1
|
|
Proposed Algorithms to the State Explosion ProblemAynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
Book sections
hal-02515359v1
|
Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédéFrance, N° de brevet: FR3115134. 2022
Patents
hal-04032489v1
|
Rapport et bilan pour le projet VALMADEO pour l'étape 32008
Other publications
hal-00487350v1
|
|
Phadeo : un environnement pour FPGA virtuel2015
Preprints, Working Papers, ...
hal-01179474v1
|
|
Operational Semantics of the Model of Concurrency and Communication Language[Research Report] RR-8584, INRIA. 2014, pp.23
Reports
hal-01060601v2
|
|
Model-Driven Physical-Design for Future Nanoscale ArchitecturesEmerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English. ⟨NNT : ⟩
Theses
tel-02515931v1
|
|
G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis ToolsSoftware Engineering [cs.SE]. Université de Bretagne Occidentale (UBO), Brest, 2023
Habilitation à diriger des recherches
tel-04066483v1
|