If you made any changes in Pure these will be visible here soon.

Research Output 1990 2018

Filter
Conference contribution
2018

Exploiting specification modularity to prune the optimization-space of manufacturing systems

Bastos, J., Stuijk, S., Voeten, J., Schiffelers, R. & Corporaal, H., 28 May 2018, Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018. Stuijk, S. (ed.). New York: Association for Computing Machinery, Inc, p. 1-9 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specifications
2 Citations (Scopus)

Identifying bottlenecks in manufacturing systems using stochastic criticality analysis

Nogueira Bastos, J. P., van der Sanden, L. J., Donk, O., Voeten, J. P. M., Stuijk, S., Schiffelers, R. R. H. & Corporaal, H., 27 Feb 2018, FDL 2017 - Proceedings of the 2017 Forum on Specification and Design Languages. Piscataway: IEEE Computer Society, Vol. 2017-September. p. 1-8 8 p. 8303901

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Critical path analysis
Systems analysis
Specifications
Flexible manufacturing systems
Error analysis
1 Downloads (Pure)

Timing prediction for service-based applications mapped on linux-based multi-core platforms

Jonk, R., Voeten, J., Geilen, M., Basten, T. & Schiffelers, R., 12 Oct 2018, Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018. Konofaos, N., Novotny, M. & Skavhaug, A. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 130-139 10 p. 8491806

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Legacy systems
Application programs
Pipelines
Linux
Experiments
2016
6 Downloads (Pure)

An embedded CAN controller for a vehicle networking course project

Breaban, G. D., Koedam, M. L. P. J., Voeten, J. P. M. & Goossens, K. G. W., 2016, WESE '16 Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, Pittsburgh, Pennsylvania, October 01- 07, 2016. New York: Association for Computing Machinery, Inc, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Students
Controllers
Automotive industry
Field programmable gate arrays (FPGA)
Servers
2 Downloads (Pure)

Communication aware multiprocessor binding for shared memory systems

Adyanthaya, S., Geilen, M. C. W., Basten, T., Voeten, J. P. M. & Schiffelers, R. R. H., 2016, 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Krakow, Poland, 23-25 May 2016. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-10 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Data storage equipment
Clustering algorithms
Communication
101 Downloads (Pure)

Compositional specification of functionality and timing of manufacturing systems

van der Sanden, L. J., Nogueira Bastos, J. P., Voeten, J. P. M., Geilen, M. C. W., Reniers, M. A., Basten, T., Jacobs, J. & Schiffelers, R. R. H., Sep 2016, Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specifications
Controllers
Semantics
2015

Iterative robust multiprocessor scheduling

Adyanthaya, S., Geilen, M. C. W., Basten, A. A., Voeten, J. P. M. & Schiffelers, R. R. H., 2015, 23rd International Conference on Real-Time Networks and Systems, 4-6 November 2015, Lille, France. New York: Association for Computing Machinery, Inc, p. 23-32

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Scheduling
1 Citation (Scopus)
3 Downloads (Pure)

Modeling resource sharing using FSM-SADF

Nogueira Bastos, J., Stuijk, S., Voeten, J., Schiffelers, R., Jacobs, J. & Corporaal, H., Sep 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 21-23 September 2015, Austin, Texas . Piscataway: Institute of Electrical and Electronics Engineers, p. 96-101

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Data flow analysis
Finite automata
Semantics
Throughput
10 Citations (Scopus)
5 Downloads (Pure)

Modular model-based supervisory controller design for wafer logistics in lithography machines

van der Sanden, L. J., Reniers, M. A., Geilen, M. C. W., Basten, A. A., Jacobs, J., Voeten, J. P. M. & Schiffelers, R. R. H., Sep 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS): Proceedings. Piscataway: ACM/IEEE, p. 416-425 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Lithography
Logistics
Finite automata
Controllers
Supervisory personnel
1 Citation (Scopus)
6 Downloads (Pure)

xCPS : a tool to eXplore cyber physical systems

Adyanthaya, S., Alizadeh Ara, H., Bastos, J. P., Baghbanbehrouzian, A., Medina Sanchez, R. A., Pinxten, van, J. H. H., Sanden, van der, L. J., Waqas, U., Basten, A. A., Corporaal, H., Frijns, R. M. W., Geilen, M. C. W., Goswami, D., Stuijk, S., Reniers, M. A. & Voeten, J. P. M., 2015, Proceedings of WESE'15 : Workshop on Embedded and Cyber-Physical Systems Education, 8 October 2015, Amsterdam, The Netherlands. Grimheden, M. E. (ed.). New York: Association for Computing Machinery, Inc, p. 1-8 3

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Education
Students
Cyber Physical System
Industry
2014

Model-driven engineering for high-performance servo control : from research to industrial practice

Voeten, J. P. M. & Schiffelers, R. R. H., 2014, 17th International Workshop on Software and Compilers for Embedded Systems (SCOPES), 10-11 June 2014, Sankt Goar, Germany. New York: Association for Computing Machinery, Inc

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

6 Citations (Scopus)
2 Downloads (Pure)

Robustness analysis of multiprocessor schedules

Adyanthaya, S., Zhang, Z., Geilen, M. C. W., Voeten, J. P. M., Basten, T. & Schiffelers, R. R. H., 2014, Proceedings 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), July 14-17, 2014, Samos, Greece. Galuzzi, C. & Veidenbaum, A. (eds.). Samos, Greece: Institute of Electrical and Electronics Engineers, p. 9-17

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Curve fitting
5 Citations (Scopus)
1 Downloads (Pure)

Timing analysis of first-come first-served scheduled interval-timed directed acyclic graphs

Frijns, R. M. W., Adyanthaya, S., Stuijk, S., Voeten, J. P. M., Geilen, M. C. W., Schiffelers, R. R. H. & Corporaal, H., 2014, Proceedings of the design, automation and test in Europe(DATE) 24-28 March 2014, Dresden, Germany. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Scheduling
Explosions

Towards robust multi-processor scheduling for high-end servo control

Voeten, J. P. M., Adyanthaya, S., Schiffelers, R. R. H. & Theelen, B. D., 2014, Advanced School for Computing and Imaging (ASCI) Summer School, June 10, 2014, Soesterberg, The Netherlands.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Lithography
Scheduling
Data flow analysis
Degrees of freedom (mechanics)
Throughput
2013
2 Citations (Scopus)

Calibration error bound estimation in performance modeling

Parappurath, V., Voeten, J. P. M. & Kotterink, C., 2013, Proceedings 16th Euromicro conference on digital system design (DSD 2013), 4-6 September 2013, Santander, Spain. Matos, J. S. & Leporati, F. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 97-102

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Calibration
Embedded systems
2 Citations (Scopus)

Dataflow-based multi-ASIP platform approach for digital control applications

Frijns, R. M. W., Kamp, A. L. J., Stuijk, S., Voeten, J. P. M., Bontekoe, M., Gemei, K. J. A. & Corporaal, H., 2013, Proceedings 16th Euromicro Conference on Digital Systems Design (DSD 2013), 4-6 September 2013, Santandor, Spain. Silva Matos, J. & Leporati, F. (eds.). p. 811-814

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Field programmable gate arrays (FPGA)
Sampling
Controllers
Processing
11 Citations (Scopus)
4 Downloads (Pure)

Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems

Adyanthaya, S., Geilen, M. C. W., Basten, T., Schiffelers, R. R. H., Theelen, B. D. & Voeten, J. P. M., 2013, Proceedings of the Euromicro Conference on Digital System Design (DSD) 2013, 4-6 September 2013, Los Alamitos, California. Piscataway: Institute of Electrical and Electronics Engineers, p. 979-988

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Scheduling
Silicon wafers
Throughput
Cyber Physical System
2012
12 Citations (Scopus)

Model-based specification, analysis and synthesis of servo controllers for lithoscanners

Schiffelers, R. R. H., Alberts, W. & Voeten, J. P. M., 2012, Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM 2012) , October 1, 2012, Innsbruck, Austria. New York: Association for Computing Machinery, Inc, p. 55-60

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specifications
Controllers
Control systems
Lithography
Transducers
2011
9 Citations (Scopus)
2 Downloads (Pure)

Performance model checking scenario-aware dataflow

Theelen, B. D., Geilen, M. C. W. & Voeten, J. P. M., 2011, Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11), 21-23 September 2011, Aalborg, Denmark,. U. Fahrenberg, S. T. (ed.). Berlin: Springer, p. 43-59 (Lecture Notes in Computer Science; vol. 6919).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Semantics
Signal processing
Throughput
5 Citations (Scopus)
2 Downloads (Pure)

Predicting timing performance of advanced mechatronics control systems

Voeten, J. P. M., Hendriks, T., Theelen, B. D., Schuddemat, J., Tabingh Suermondt, W., Gemei, J., Kotterink, C. & Huet, van, J., 2011, Proceedings of the Computer Software and Applications Conference Workshops (COMPSACW 2011), 18-22 July 2011, Munich, Germany. Eichler, G., Kuepper, A., Schau, V., Fouchal, H. & Unger, H. (eds.). Piscataway: Institute of Electrical and Electronics Engineers, p. 206-210

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Mechatronics
Control systems
Fallout
Industrial applications
Industry
2010
2 Citations (Scopus)
68 Downloads (Pure)

Connecting technical and non-technical views of system architectures

Li, L., Hooman, J. J. M. & Voeten, J. P. M., 2010, Proceedings of Green Computing and Communications (GreenCom), 2010 IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom), 18-20 December 2010, Hangzhou, China. p. 592-

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Animation
Costs
Cyber Physical System
5 Citations (Scopus)
97 Downloads (Pure)

From POOSL to UPPAAL : transformation and quantitative analysis

Xing, J., Theelen, B. D., Langerak, R., Pol, van de, J. C., Tretmans, J. & Voeten, J. P. M., 2010, Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 21-25 June 2010, Braga, Portugal. Los Alamitos: IEEE Computer Society, p. 47-56

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specification languages
Motion control
Control systems
Chemical analysis
Model checking
2 Citations (Scopus)
82 Downloads (Pure)

UPPAAL in practice : quantitative verification of a RapidIO network.

Xing, J., Theelen, B. D., Langerak, R., Pol, van de, J. C., Tretmans, J. & Voeten, J. P. M., 2010, Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, October 18-21, 2010, Heraklion, Greece. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 160-174

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specification languages
Packet networks
Model checking
Distributed computer systems
Motion control
2009
1 Citation (Scopus)
2 Downloads (Pure)

Concurrent design of embedded control software

Groothuis, M., Frijns, R. M. W., Voeten, J. P. M. & Broenink, J., 2009, Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling (MPM 2009), 4-9 October 2009, Denver, Colorado, USA. (Electronic Communications of the EASST; vol. 21).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2008
65 Downloads (Pure)

An executable interface specification for industrial embedded system design.

Huang, J., Voeten, J. P. M., Wolfs, S. & Coopmans, M., 2008, The Eighth International Conference on Quality Software, 2008 : QSIC '08 ; 12 - 13 Aug. 2008, Oxford, UK ; proceedings ; [in conjunction with] the Third International Workshop on Integration of Software Engineering and Agent Technologies (ISEAT 2008). Piscataway: Institute of Electrical and Electronics Engineers, p. 37-44

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Embedded systems
Interfaces (computer)
Systems analysis
Specifications
Architectural design
2007
9 Citations (Scopus)
1 Downloads (Pure)

A Model Driven Approach for Mechatronic Systems

Huang, J., Voeten, J. P. M., Groothuis, M., Broenink, J. & Corporaal, H., 2007, Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD 2007) 10-13 July 2007, Bratislava, Slovak Republic. Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 127-136

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Mechatronics
Glues
Software design

Performance modelling for system-level design

Theelen, B. D. & Voeten, J. P. M., 2007, Tutorial Bits and Chips conf.: Performance modelling for system-level design.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Predictable model-driven design for real-time embedded systems

Huang, J. & Voeten, J. P. M., 2007, Proc. of Bits & Chips conference 2007.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

64 Citations (Scopus)

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

Theelen, B. D., Florescu, O., Geilen, M. C. W., Huang, J., Putten, van der, P. H. A. & Voeten, J. P. M., 2007, Proceedings of the 5th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) 30 May - 2 June 2007, Nice, France. Piscataway, New Jersey, USA: IEEE Computer Society, p. 139-148

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specification languages
Hardware
Formal methods
Unified Modeling Language
Real time control

Tutorial Memocode: Performance Modelling in Software/Hardware Engineering

Theelen, B. D., Geilen, M. C. W. & Voeten, J. P. M., 2007, Proceedings of the 5th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2007), May 30 - June 1st, Nice, France. Nice

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2006
104 Citations (Scopus)

A Scenario-Aware Data Flow Model for Combined Long-Run Average and Worst-Case Performance Analysis.

Theelen, B. D., Geilen, M. C. W., Basten, T., Voeten, J. P. M., Gheorghita, S. V. & Stuijk, S., 2006, Proceedings of the ACM-IEEE International Conference on Formal Methods and Models for Codesign.. Los Alamitos, USA: IEEE Computer Society, p. 185-194

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Branching-time property preservation between real-time systems

Huang, J., Geilen, M. C. W., Voeten, J. P. M. & Corporaal, H., 2006, Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings. Graf, S. & Zhang, W. (eds.). Berlin: Springer, p. 260-275 16 p. (Lecture Notes in Computer Science (LNCS); vol. 4218).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Real time systems
Theorem proving
Temporal logic
Model checking

Correctness-preserving Synthesis for Real-Time Control Software.

Huang, J., Voeten, J. P. M. & Corporaal, H., 2006, Proceedins of the International Conference on Quality Software.. Hong, M. (ed.). Los Alamitos, USA: IEEE Computer Society, p. 65-73

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Performance modelling and analysis using POOSL for an in-car navigation system

Florescu, O., Hoon, de, M. M. C. M., Voeten, J. P. M. & Corporaal, H., 2006, ASCI 2006 : Proceedings of the 12th Annual Conference of the Advanced School for Computing and Imaging, Lommel, Belgium, June 14-16, 2006. Lelieveldt, B. P. F., Haverkort, B., de Laat, C. T. A. M. & Heijnsdijk, J. W. J. (eds.). Delft: Advanced School for Computing and Imaging (ASCI), p. 37-45

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems.

Florescu, O., Hoon, de, M. M. C. M., Voeten, J. P. M. & Corporaal, H., 2006, Proceedings of the Embedded Computer Systems: architectures, Modeling and Simulation.. p. 206-215

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Reusing Real-Time Systems Design Eperience Through Modelling Patterns.

Florescu, O., Voeten, J. P. M., Verhoef, M. & Corporaal, H., 2006, Proceedings of the Forum on Specification & Design Languages 2006. p. 375-380

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Strengthening Property Preservation in Concurrent Real-Time Systems.

Florescu, O., Huang, J., Voeten, J. P. M. & Corporaal, H., 2006, Proceedings of the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.. Los Alamitos, USA: IEEE Computer Society, p. 106-109

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2005

Performance modelling for stem-level Design.

Voeten, J. P. M., Putten, van der, P. H. A., Theelen, B. D. & Florescu, O., 2005, Tutoral at the Euromicro conference on Digital System Design 2005.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Performance modelling for system-level design.

Voeten, J. P. M., Putten, van der, P. H. A. & Theelen, B. D., 2005, Tutorial at FDL'05.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Performance Modelling for System-Level Design. Tutorial.

Voeten, J. P. M., Putten, van der, P. H. A. & Theelen, B. D., 2005, Proceedings of the FDL 2005.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Predictability in Real-Time System Development.

Huang, J., Voeten, J. P. M., Florescu, O., Putten, van der, P. H. A. & Corporaal, H., 2005, Advances in Design and Specification Languages for SoCs, Chapter 8.. Boulet, P. (ed.). Dordrecht, the Netherlands: Kluwer Academic Publishers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Property-Preservation Synthesis for Unified Control- and Data-Oriented Models

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2005, Proceedings of the Forum on Specification & Design Languages (FDL) 2005. Lausanne: FDL, p. 531-542

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

System-Level Performance Analysis. Tutorial.

Theelen, B. D., Voeten, J. P. M., Putten, van der, P. H. A. & Florescu, O., 2005, Proceedings of the Euromicro Conference on Digital System Design 2005.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Towards predictability in real-time embedded system design. Invited presentation

Voeten, J. P. M., Huang, J., Florescu, O., Theelen, B. D. & Corporaal, H., 2005, Proceedings of the Lorentz-ARTIST (Network of Excellence on Embedded Systems Design) Workshop Embedded Systems..

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2004

A Unified Model for Analysis of Real-Time Properties.

Florescu, O., Voeten, J. P. M. & Corporaal, H., 2004, Preliminary proc. of the 1st Int. Symposium on Leveraging Applications of Formal Methods.. Paphos, Cyprus, p. 220-227

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Error Estimation in Model-Driven Development for Real-Time Software

Florescu, O., Voeten, J. P. M., Huang, J. & Corporaal, H., 2004, Proceedings of the Forum on specification and Design Languages. Lille, France: ESCI, Gieres, France, p. 228-239

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Predictability in real-time systems development : a case study

Huang, J. & Voeten, J. P. M., 2004, Proceedings of the Forum on Specification and Design Languages 2004. Gieres, France: ESCI

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Predictability in real-time systems development : semantics support for development languages

Huang, J. & Voeten, J. P. M., 2004, Proceedings of the Forum on Specification and Design Languages 2004. Lille, France: ESCI, Gieres, France

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Real-time property preservation in concurrent real-time systems

Huang, J., Voeten, J. P. M. & Geilen, M. C. W., 2004, Proceedings of the 10th Int. conference on Real-time and Embedded Computing Systems and Applications.. Gothenburg, Sweden: Springer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2003

Performance Modeling of the DECT Wireless Protocol

Huang, Z., Voeten, J. P. M., Ventevogel, A. & Niesten, R., 2003, Proceedings of PROGRESS'03. Utrecht, the Netherlands: STW Technology Foundation, p. 115-121

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review