Journals and Periodicals

IEEE Transactions on Industrial Informatics
Formal Methods in System Design
Petri nets Newsletter
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Design & Test of Computers
International Journal on Software Tools for Technology Transfer
ToPNoC - Transactions on Petri Nets and Other Models of Concurrency
ACM Transactions on Embedded Computing Systems
ACM Transactions on Design Automation of Electronic Systems
Concurrency and Computation-Practice & Experience
Design Automation for Embedded Systems
Journal of Embedded Computing
IEEE Transactions on Software Engineering
IEEE Transactions on Industrial Electronics
IEEE Transactions on Circuits and Systems II-Express Briefs
IEEE Transactions on Circuits and Systems I-Regular Papers
Information and Software Technology
Software-Practice & Experience
Journal of Systems Architecture
IET Computers and Digital Techniques
IEEE Transactions on Automation Science and Engineering
Discrete Event Dynamic Systems-Theory and Applications
Journal of Parallel and Distributed Computing
Real-Time Systems
IEEE Transactions on Computers
Journal of Visual Languages and Computing
IEEE Transactions on Systems Man and Cybernetics Part A-Systems and Humans

IEEE Transactions on Education

Conferences

SIES - IEEE International Symposium on Industrial Embedded Systems
ETFA - IEEE International Conference on Emerging Technologies and Factory Automation
INDIN - IEEE International Conference on Industrial Informatics

ATPN - International Conference on Applications and Theory of Petri Nets and other models of Concurrency
ACSD - International Conference on Application of Concurrency to System Design

DAC - Design Automation Conference
DATE - Design, Automation and Test in Europe

ISIE - IEEE International Symposium on Industrial Electronics
IECON - Annual Conference of the IEEE Industrial Electronics Society

EWME - European Workshop on Microelectronics Education
MSE - International Conference on Microelectronics Systems Education
ICELIE - IEEE International on e-Learning in Industrial Electronics
ITiCSE - Annual Conference on Innovation and Technology in Computer Science Education
SIGCSE - Technical Symposium on Computer Science Education

REC - Jornadas sobre Sistemas Reconfiguráveis (Portuguese Event)