Adam Walker

According to our database, Adam Walker authored at least 20 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

CoRR, 2022

2021

Novel Permanent Magnet Synchronous Motor With Integrated Filter Inductor, Using Motor's Inherent Magnetics.

Muhammad Raza Khowja, Chris Gerada, Gaurang Vakil, Chintan Patel, Shafiq Odhano, Adam Walker, Patrick Wheeler

IEEE Trans. Ind. Electron., 2021

A Multiport Power Electronics Converter for Hybrid Traction Applications.

Wei Juin Choy, Alessandro Costabeber, Giampaolo Buticchi, Andrew Trentin, Adam Walker, Michael Galea, Krzysztof Paciura, John O'Brien, Bradford Palmer

IEEE Access, 2021

2019

Improved Thermal Management and Analysis for Stator End-Windings of Electrical Machines.

Vincenzo Madonna, Adam Walker, Paolo Giangrande, Giovanni Serra, Chris Gerada, Michael Galea

IEEE Trans. Ind. Electron., 2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker

CoRR, 2019

High Power High Speed PM-Assisted SynRel Machines with Ferrite and Rare Earth Magnets for Future Electric Commercial Vehicles.

R. M. Ram Kumar, B. G. Fernandes, Tianjie Zou, Antonino la Rocca, Gaurang Vakil, David Gerada, Adam Walker, Chris Gerada, Krzysztof Paciura, Alastair McQueen

Proceedings of the IECON 2019, 2019

Enhancing the Torque Density of Conventional PM-SynRel Machine with Hybrid Flux Barrier.

R. M. Ram Kumar, B. G. Fernandes, Gaurang Vakil, David Gerada, Adam Walker, Salvatore la Rocca, Mahir Al-Ani, Chris Gerada, Krzysztof Paciura, Alastair McQueen

Proceedings of the IECON 2019, 2019

Multi-physics Design Optimisation of PM-assisted Synchronous Reluctance Motor for Traction Application.

Mahir Al-Ani, Krzysztof Paciura, Alastair McQueen, Adam Walker, Gaurang Vakil, Ramkumar Ramanathan, Tianjie Zou, Salvatore la Rocca, Antonino la Rocca, David Gerada, Chris Gerada

Proceedings of the IECON 2019, 2019

2017

Design Optimization of a Short-Term Duty Electrical Machine for Extreme Environment.

Puvan Arumugam, Emmanuel Amankwah, Adam Walker, Chris Gerada

IEEE Trans. Ind. Electron., 2017

The first reactive synthesis competition (SYNTCOMP 2014).

Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., 2017

2016

Automatic Device Driver Synthesis.

Adam Walker

PhD thesis, 2016

Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned.

Leonid Ryzhyk, Adam Walker

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

2015

The Second Reactive Synthesis Competition (SYNTCOMP 2015).

Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

2014

User-Guided Device Driver Synthesis.

Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Predicate abstraction for reactive synthesis.

Adam Walker, Leonid Ryzhyk

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Solving Games without Controllable Predecessor.

Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2010

capDL: a language for describing capability-based systems.

Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker

Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010

2009

A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution.

Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

1995

Understanding the Emergence of Conventions in Multi-Agent Systems.

Adam Walker, Michael J. Wooldridge

Proceedings of the First International Conference on Multiagent Systems, 1995