-
16th International Conference on Formal Aspects of Component Software (FACS 2019)
Call for Papers: FACS 2019 FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods ...
Located in
Research
/
…
/
Computer Security
/
Events
-
Astefanoaei wins Best Paper Award
PhD student Lacramioara Astefanoaei (CWI) won the Best Paper Award 2008 during the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008).
Located in
News
/
2009
-
Astefanoaei wint Best Paper Award
Promovenda Lacramioara Astefanoaei (CWI) heeft de Best Paper Award 2008 gewonnen tijdens de 11th Pacific Rim International Conference on Multi-Agents (PRIMA ...
Located in
Nieuws
/
2009
-
Best Paper Award for Training DevOps engineers
Researchers from CWI's Formal Methods group won the Best Paper Award in the 6th European Conference on Service-Oriented and Cloud Computing (ESSOC) in ...
Located in
News
/
2017
-
Better internet connections possible by means of formal methods
A reliable internet connection − that is what users are looking for. Bahareh Badban, PhD student at CWI, studied methods to improve TCP, one of the most ...
Located in
News
/
2006
-
Better parallel programming with help of ABS language
Current programming languages cannot use the full potential power of manycore chips. Keyvan Azadbakht studied the formal programming language ABS and extended ...
Located in
News
/
2019
-
Better QoS for distributed software with stochastic and formal methods
Reusability of software is a hot topic nowadays. It is easier, cheaper and more efficient to reuse parts of existing software in order to adjust or ...
Located in
News
/
2011
-
Commit2Data grant for better, faster and real-time adaptable big data analysis
To improve parallel processing of big data, NWO granted the project ‘Evolutionary changes in Distributed Analysis’ (ECiDA) within their Commit2Data programme. ...
Located in
News
/
2017
-
Cum laude for new method making parallel programming easier
Due to the increase of multicore processors used in smart phones, game consoles and other computers, parallel programming has become increasingly important. To ...
Located in
News
/
2016
-
Cum laude for PhD student Jurriaan Rot
Infinite data structures can be studied with a simplified technique, thanks to research done by PhD student Jurriaan Rot. He received his PhD degree with ...
Located in
News
/
2015